HSCC 2020 Accepted Papers
Regular/Tool Papers
-
Niklas Kochdumper, Bastian Schürmann and Matthias Althoff. Utilizing Dependencies to Obtain Subsets of Reachable
Sets
- Masaki Waga. Falsification of Cyber-Physical Systems with
Robustness-Guided Black-Box Checking
- Niklas Kochdumper
and Matthias Althoff. Reachability Analysis for Hybrid Systems with Nonlinear
Guard Sets
- Guillaume O Berger
and Raphaël M Jungers. Worst-case
topological entropy and minimal data rate for state observation of
switched linear systems
- Pushpak Jagtap,
Abdalla
Swikir and Majid
Zamani. Compositional
Construction of Control Barrier Functions for Interconnected
Control Systems
- Corto Mascle,
Daniel Neider,
Maximilian
Schwenger, Paulo
Tabuada, Alexander Weinert and Martin
Zimmermann. From LTL to rLTL
Monitoring: Improved Monitorability through Robust
Semantics
-
Carina Pilch, Arnd
Hartmanns and
Anne Remke. Classic and
Non-Prophetic Model Checking for Hybrid Petri Nets with Stochastic
Firings
- Daniel Jarne Ornia
and Manuel
Mazo. Convergence of Ant
Colony Multi-Agent Swarms
- Viktorio Hakim and
Marco Bekooij. Dynamics-Aware
Subspace Identification for Decomposed Aggregation in the
Reachability Analysis of Hybrid Automata
- Davide Bresolin,
Pieter Collins, Luca Geretti, Roberto Segala, Tiziano Villa and
Sanja Zivanovic Gonzalez. A
computable and compositional semantics for hybrid
automata
- Colin Shea-Blymyer
and Houssam Abbas. A Deontic
Logic Analysis of Autonomous Systems' Safety
- Maben Rabi.
Piece-wise analytic trajectory computation for
polyhedral switching between stable affine systems
- Tzanis Anevlavis
and Paulo
Tabuada. A simple hierarchy
for computing controlled invariant sets
- Mojtaba Zarei, Yu
Wang and Miroslav
Pajic. Statistical
Verification of Learning-Based Cyber-Physical Systems
- Taisa Kushner,
Sriram
Sankaranarayanan and Marc Breton. Conformance Verification for Neural Network Models of
Glucose-Insulin Dynamics
- Sadra Sadraddini and Russ Tedrake.
Robust Output Feedback Control with Guaranteed
Constraint Satisfaction
- Kasra Ghasemi,
Sadra Sadraddini and Calin
Belta. Compositional Synthesis
via a Convex Parameterization of Assume-Guarantee
Contracts
- James Ferlez and
Yasser Shoukry. AReN: Assured
ReLU NN Architecture for Model Predictive Control of LTI
Systems
- Rupak Majumdar, Kaushik Mallik and Sadegh
Soudjani. Symbolic Controller
Synthesis for Buchi Specifications on Stochastic
Systems
-
Mohamed Adlene Maghenem and Ricardo Sanfelice
. Local
Lipschitzness of Reachability Maps for Hybrid Systems with
Applications to Safety
- Radoslav Ivanov,
Taylor Carpenter, James Weimer, Rajeev Alur, George Pappas and Insup
Lee. Case Study: Verifying the
Safety of an Autonomous Racing Car with a Neural Network
Controller
- Aakash Abhishek,
Harry Sood and Jean-Baptiste Jeannin. Formal Verification of Braking while Swerving in
Automobiles
- Sara Mohammadinejad,
Jyotirmoy V. Deshmukh, Aniruddh G. Puranic, Marcell
Vazquez-Chanlatte and Alexandre Donze. Interpretable Classification of Time-Series Data using
Efficient Enumerative Techniques
- Rupak Majumdar,
Necmiye Ozay and Anne-Kathrin Schmuck. On Abstraction-Based Controller Design With Output
Feedback
- Pranav Ashok,
Mathias Jackermeier, Pushpak Jagtap, Jan Kretinsky, Maximilian
Weininger and Majid Zamani. dtControl: Decision Tree Learning Algorithms for Controller
Representation
- Anton Proskurnikov.
Does sample-time emulation preserve exponential
stability?
- Hengjun Zhao, Xia
Zeng, Taolue Chen and Zhiming Liu. Synthesizing Barrier Certificates Using Neural
Networks
- Hyejin Han, Mohamed
Maghenem and Ricardo Sanfelice.
Sufficient Conditions for Satisfaction of Formulas with
Until Operators in Hybrid Systems
- Benoît Caillaud,
Mathias Malandain and Joan Thibault. Implicit Structural Analysis of Multi-Mode DAE
Systems
Poster/Demo papers
-
Benoît Caillaud,
Mathias Malandain and Joan Thibault.
Demo: IsamDAE, an Implicit Structural Analysis Tool for Multimode DAE Systems
-
Pranav Ashok,
Mathias Jackermeier, Pushpak Jagtap,
Jan Kretinsky, Maximilian Weininger and
Majid Zamani.
Demo: dtControl: Decision Tree
Learning Algorithms for Controller Representation
-
Abolfazl Lavaei,
Mahmoud Khaled,
Sadegh Soudjani and
Majid Zamani.
Poster: AMYTISS: A parallelized
Tool on Automated Controller Synthesis for Large-Scale
Stochastic Systems
- Necmiye
Ozay. Poster:
Inter-Triggering Hybrid Automata: A Formalism for
Responsibility-Sensitive Safety
-
Kaushik Mallik, Daniel Neider, Stanly Samuel and Anne-Kathrin Schmuck.
Poster: Resilient Abstraction-Based Controller Design
Presentation-only