default search action
23rd HSCC 2020: Sydney, NSW, Australia
- Aaron D. Ames, Sanjit A. Seshia, Jyotirmoy Deshmukh:
HSCC '20: 23rd ACM International Conference on Hybrid Systems: Computation and Control, Sydney, New South Wales, Australia, April 21-24, 2020. ACM 2020, ISBN 978-1-4503-7018-9
Reachability
- Niklas Kochdumper, Bastian Schürmann, Matthias Althoff:
Utilizing dependencies to obtain subsets of reachable sets. 1:1-1:10 - Niklas Kochdumper, Matthias Althoff:
Reachability analysis for hybrid systems with nonlinear guard sets. 2:1-2:10 - Viktorio S. el Hakim, Marco Jan Gerrit Bekooij:
Dynamics-aware subspace identification for decomposed aggregation in the reachability analysis of hybrid automata. 3:1-3:11
Linear system analysis
- Guillaume O. Berger, Raphaël M. Jungers:
Worst-case topological entropy and minimal data rate for state observation of switched linear systems. 4:1-4:11 - Maben Rabi:
Piece-wise analytic trajectory computation for polytopic switching between stable affine systems. 5:1-5:11 - James Ferlez
, Yasser Shoukry
AReN: assured ReLU NN architecture for model predictive control of LTI systems. 6:1-6:11
Temporal logic
- Corto Mascle, Daniel Neider
From LTL to rLTL monitoring: improved monitorability through robust semantics. 7:1-7:12 - Hyejin Han, Mohamed Maghenem, Ricardo G. Sanfelice
Sufficient conditions for satisfaction of formulas with until operators in hybrid systems. 8:1-8:10 - Sara Mohammadinejad, Jyotirmoy V. Deshmukh, Aniruddh Gopinath Puranic
Interpretable classification of time-series data using efficient enumerative techniques. 9:1-9:10
Formal verification
- Carina Pilch, Arnd Hartmanns, Anne Remke:
Classic and non-prophetic model checking for hybrid Petri nets with stochastic firings. 10:1-10:11 - Masaki Waga
Falsification of cyber-physical systems with robustness-guided black-box checking. 11:1-11:13 - Mojtaba Zarei, Yu Wang
Statistical verification of learning-based cyber-physical systems. 12:1-12:7 - Taisa Kushner, Sriram Sankaranarayanan, Marc D. Breton:
Conformance verification for neural network models of glucose-insulin dynamics. 13:1-13:12
Formal synthesis
- Rupak Majumdar, Kaushik Mallik, Sadegh Soudjani:
Symbolic controller synthesis for Büchi specifications on stochastic systems. 14:1-14:11 - Rupak Majumdar, Necmiye Ozay
On abstraction-based controller design with output feedback. 15:1-15:11 - Kasra Ghasemi, Sadra Sadraddini, Calin Belta:
Compositional synthesis via a convex parameterization of assume-guarantee contracts. 16:1-16:10 - Pranav Ashok
dtControl: decision tree learning algorithms for controller representation. 17:1-17:7
Hybrid systems theory
- Davide Bresolin
A computable and compositional semantics for hybrid automata. 18:1-18:11 - Anton V. Proskurnikov
Does sample-time emulation preserve exponential stability? 19:1-19:8 - Benoît Caillaud
Implicit structural analysis of multimode DAE systems. 20:1-20:11 - Mohamed Maghenem, Ricardo G. Sanfelice
Local lipschitzness of reachability maps for hybrid systems with applications to safety. 21:1-21:11
Safety-critical control
- Pushpak Jagtap
Compositional construction of control barrier functions for interconnected control systems. 22:1-22:11 - Tzanis Anevlavis, Paulo Tabuada
A simple hierarchy for computing controlled invariant sets. 23:1-23:11 - Sadra Sadraddini, Russ Tedrake:
Robust output feedback control with guaranteed constraint satisfaction. 24:1-24:10 - Hengjun Zhao, Xia Zeng
Synthesizing barrier certificates using neural networks. 25:1-25:11
Autonomous and multi-agent systems
- Colin Shea-Blymyer, Houssam Abbas:
A deontic logic analysis of autonomous systems' safety. 26:1-26:11 - Aakash Abhishek, Harry Sood, Jean-Baptiste Jeannin:
Formal verification of braking while swerving in automobiles. 27:1-27:11 - Radoslav Ivanov
Case study: verifying the safety of an autonomous racing car with a neural network controller. 28:1-28:7 - Daniel Jarne Ornia, Manuel Mazo Jr.
Convergence of ant colony multi-agent swarms. 29:1-29:11
POSTER SESSION: Poster/demo papers
- Pranav Ashok, Mathias Jackermeier
dtControl: decision tree learning algorithms for controller representation. 30:1-30:2 - Abolfazl Lavaei, Mahmoud Khaled, Sadegh Soudjani, Majid Zamani:
AMYTISS: a parallelized tool on automated controller synthesis for large-scale stochastic systems. 31:1-31:2 - Necmiye Ozay
Inter-triggering hybrid automata: a formalism for responsibility-sensitive safety. 32:1-32:2 - Stanly Samuel, Kaushik Mallik, Anne-Kathrin Schmuck, Daniel Neider
Resilient abstraction-based controller design. 33:1-33:2
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-12-26 01:00 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: