Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Shaoru Chen, Mahyar Fazlyab, Manfred Morari, George J. Pappas, Victor M. Preciado |
Learning lyapunov functions for hybrid systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: HSCC '21: 24th ACM International Conference on Hybrid Systems: Computation and Control, Nashville, Tennessee, May 19-21, 2021, pp. 13:1-13:11, 2021, ACM, 978-1-4503-8339-4. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Weiming Xiang 0001 |
Interval observer design of dynamical systems with neural networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: HSCC '21: 24th ACM International Conference on Hybrid Systems: Computation and Control, Nashville, Tennessee, May 19-21, 2021, pp. 30:1-30:2, 2021, ACM, 978-1-4503-8339-4. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Rongxuan Gao, Aolong Zha, Shusuke Shigenaka, Masaki Onishi |
Hybrid modeling and predictive control of large-scale crowd movement in road network. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: HSCC '21: 24th ACM International Conference on Hybrid Systems: Computation and Control, Nashville, Tennessee, May 19-21, 2021, pp. 26:1-26:7, 2021, ACM, 978-1-4503-8339-4. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Gabriel de Albuquerque Gleizer, Manuel Mazo Jr. |
Computing the sampling performance of event-triggered control. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: HSCC '21: 24th ACM International Conference on Hybrid Systems: Computation and Control, Nashville, Tennessee, May 19-21, 2021, pp. 20:1-20:7, 2021, ACM, 978-1-4503-8339-4. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Nathan Hunt, Nathan Fulton, Sara Magliacane, Trong Nghia Hoang, Subhro Das, Armando Solar-Lezama |
Verifiably safe exploration for end-to-end reinforcement learning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: HSCC '21: 24th ACM International Conference on Hybrid Systems: Computation and Control, Nashville, Tennessee, May 19-21, 2021, pp. 14:1-14:11, 2021, ACM, 978-1-4503-8339-4. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Jingkai Chen, Brian C. Williams, Chuchu Fan |
Optimal mixed discrete-continuous planning for linear hybrid systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: HSCC '21: 24th ACM International Conference on Hybrid Systems: Computation and Control, Nashville, Tennessee, May 19-21, 2021, pp. 8:1-8:12, 2021, ACM, 978-1-4503-8339-4. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Aneel Tanwani |
Filtering over networks with random communication. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: HSCC '21: 24th ACM International Conference on Hybrid Systems: Computation and Control, Nashville, Tennessee, May 19-21, 2021, pp. 34:1-34:2, 2021, ACM, 978-1-4503-8339-4. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Xiaodong Yang, Taylor T. Johnson, Hoang-Dung Tran, Tomoya Yamaguchi 0001, Bardh Hoxha, Danil V. Prokhorov |
Reachability analysis of deep ReLU neural networks using facet-vertex incidence. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: HSCC '21: 24th ACM International Conference on Hybrid Systems: Computation and Control, Nashville, Tennessee, May 19-21, 2021, pp. 18:1-18:7, 2021, ACM, 978-1-4503-8339-4. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Hammad Ahmad, Jean-Baptiste Jeannin |
A program logic to verify signal temporal logic specifications of hybrid systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: HSCC '21: 24th ACM International Conference on Hybrid Systems: Computation and Control, Nashville, Tennessee, May 19-21, 2021, pp. 10:1-10:11, 2021, ACM, 978-1-4503-8339-4. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Guosong Yang, Daniel Liberzon, João P. Hespanha 0001 |
Topological entropy of switched nonlinear systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: HSCC '21: 24th ACM International Conference on Hybrid Systems: Computation and Control, Nashville, Tennessee, May 19-21, 2021, pp. 1:1-1:11, 2021, ACM, 978-1-4503-8339-4. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Eduard Kamburjan |
From post-conditions to post-region invariants: deductive verification of hybrid objects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: HSCC '21: 24th ACM International Conference on Hybrid Systems: Computation and Control, Nashville, Tennessee, May 19-21, 2021, pp. 9:1-9:11, 2021, ACM, 978-1-4503-8339-4. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Alessandro Abate, Daniele Ahmed, Alec Edwards, Mirco Giacobbe, Andrea Peruffo |
FOSSIL: a software tool for the formal synthesis of lyapunov functions and barrier certificates using neural networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: HSCC '21: 24th ACM International Conference on Hybrid Systems: Computation and Control, Nashville, Tennessee, May 19-21, 2021, pp. 24:1-24:11, 2021, ACM, 978-1-4503-8339-4. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Shaopeng Xing, Jiawan Wang, Lei Bu, Xin Chen 0027, Xuandong Li |
Approximate optimal hybrid control synthesis by classification-based derivative-free optimization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: HSCC '21: 24th ACM International Conference on Hybrid Systems: Computation and Control, Nashville, Tennessee, May 19-21, 2021, pp. 7:1-7:11, 2021, ACM, 978-1-4503-8339-4. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Mohan Dantam, Amaury Pouly |
On the decidability of reachability in continuous time linear time-invariant systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: HSCC '21: 24th ACM International Conference on Hybrid Systems: Computation and Control, Nashville, Tennessee, May 19-21, 2021, pp. 15:1-15:12, 2021, ACM, 978-1-4503-8339-4. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Franck Djeumou, Aditya Zutshi 0001, Ufuk Topcu |
On-the-fly, data-driven reachability analysis and control of unknown systems: an F-16 aircraft case study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: HSCC '21: 24th ACM International Conference on Hybrid Systems: Computation and Control, Nashville, Tennessee, May 19-21, 2021, pp. 35:1-35:2, 2021, ACM, 978-1-4503-8339-4. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Alp Aydinoglu, Mahyar Fazlyab, Manfred Morari, Michael Posa |
Stability analysis of complementarity systems with neural network controllers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: HSCC '21: 24th ACM International Conference on Hybrid Systems: Computation and Control, Nashville, Tennessee, May 19-21, 2021, pp. 19:1-19:10, 2021, ACM, 978-1-4503-8339-4. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Mahmoud Khaled, Majid Zamani 0001 |
OmegaThreads: symbolic controller design for ω-regular objectives. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: HSCC '21: 24th ACM International Conference on Hybrid Systems: Computation and Control, Nashville, Tennessee, May 19-21, 2021, pp. 25:1-25:7, 2021, ACM, 978-1-4503-8339-4. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Sergiy Bogomolov, Raphaël M. Jungers (eds.) |
HSCC '21: 24th ACM International Conference on Hybrid Systems: Computation and Control, Nashville, Tennessee, May 19-21, 2021 ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![ACM, 978-1-4503-8339-4 The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Kwesi J. Rutledge, Glen Chou, Necmiye Ozay |
Compositional safety rules for inter-triggering hybrid automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: HSCC '21: 24th ACM International Conference on Hybrid Systems: Computation and Control, Nashville, Tennessee, May 19-21, 2021, pp. 4:1-4:11, 2021, ACM, 978-1-4503-8339-4. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Niklas Kochdumper, Felix Gruber, Bastian Schürmann, Victor Gaßmann, Moritz Klischat, Matthias Althoff |
AROC: a toolbox for automated reachset optimal controller synthesis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: HSCC '21: 24th ACM International Conference on Hybrid Systems: Computation and Control, Nashville, Tennessee, May 19-21, 2021, pp. 23:1-23:6, 2021, ACM, 978-1-4503-8339-4. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Abolfazl Lavaei, Ameneh Nejati, Pushpak Jagtap, Majid Zamani 0001 |
Formal safety verification of unknown continuous-time systems: a data-driven approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: HSCC '21: 24th ACM International Conference on Hybrid Systems: Computation and Control, Nashville, Tennessee, May 19-21, 2021, pp. 29:1-29:2, 2021, ACM, 978-1-4503-8339-4. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Syed M. Hassaan, Qiang Shen 0003, Sze Zheng Yong |
Path-dependent controller and estimator synthesis with robustness to delayed and missing data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: HSCC '21: 24th ACM International Conference on Hybrid Systems: Computation and Control, Nashville, Tennessee, May 19-21, 2021, pp. 22:1-22:11, 2021, ACM, 978-1-4503-8339-4. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Rupak Majumdar, Sadegh Soudjani |
The computability of LQR and LQG control. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: HSCC '21: 24th ACM International Conference on Hybrid Systems: Computation and Control, Nashville, Tennessee, May 19-21, 2021, pp. 5:1-5:7, 2021, ACM, 978-1-4503-8339-4. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Miriam García Soto, Thomas A. Henzinger, Christian Schilling 0001 |
Synthesis of hybrid automata with affine dynamics from time-series data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: HSCC '21: 24th ACM International Conference on Hybrid Systems: Computation and Control, Nashville, Tennessee, May 19-21, 2021, pp. 2:1-2:11, 2021, ACM, 978-1-4503-8339-4. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Gerrit Großmann, Michael Backenköhler, Verena Wolf |
Epidemic overdispersion strengthens the effectiveness of mobility restrictions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: HSCC '21: 24th ACM International Conference on Hybrid Systems: Computation and Control, Nashville, Tennessee, May 19-21, 2021, pp. 31:1-31:2, 2021, ACM, 978-1-4503-8339-4. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | John Jackson, Luca Laurenti, Eric W. Frew, Morteza Lahijanian |
Strategy synthesis for partially-known switched stochastic systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: HSCC '21: 24th ACM International Conference on Hybrid Systems: Computation and Control, Nashville, Tennessee, May 19-21, 2021, pp. 6:1-6:11, 2021, ACM, 978-1-4503-8339-4. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Max H. Cohen, Calin Belta |
Model-based reinforcement learning for approximate optimal control with temporal logic specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: HSCC '21: 24th ACM International Conference on Hybrid Systems: Computation and Control, Nashville, Tennessee, May 19-21, 2021, pp. 12:1-12:11, 2021, ACM, 978-1-4503-8339-4. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Mahmoud Khaled, Majid Zamani 0001 |
OmegaThreads: symbolic controller design for ω-regular objectives. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: HSCC '21: 24th ACM International Conference on Hybrid Systems: Computation and Control, Nashville, Tennessee, May 19-21, 2021, pp. 33:1-33:2, 2021, ACM, 978-1-4503-8339-4. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Matthew Abate, Mark Mote, Eric Feron, Samuel Coogan 0001 |
Verification and runtime assurance for dynamical systems with uncertainty. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: HSCC '21: 24th ACM International Conference on Hybrid Systems: Computation and Control, Nashville, Tennessee, May 19-21, 2021, pp. 11:1-11:10, 2021, ACM, 978-1-4503-8339-4. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Yunjun Bai, Ting Gan, Li Jiao, Bican Xia, Bai Xue 0001, Naijun Zhan |
Switching controller synthesis for delay hybrid systems under perturbations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: HSCC '21: 24th ACM International Conference on Hybrid Systems: Computation and Control, Nashville, Tennessee, May 19-21, 2021, pp. 3:1-3:11, 2021, ACM, 978-1-4503-8339-4. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Nicola Bernini, Mikhail Bessa, Rémi Delmas, Arthur Gold, Eric Goubault, Romain Pennec, Sylvie Putot, François X. Sillion |
A few lessons learned in reinforcement learning for quadcopter attitude control. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: HSCC '21: 24th ACM International Conference on Hybrid Systems: Computation and Control, Nashville, Tennessee, May 19-21, 2021, pp. 27:1-27:11, 2021, ACM, 978-1-4503-8339-4. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Guilherme Scabin Vicinansa, Daniel Liberzon |
Quantizer design for switched linear systems with minimal data-rate. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: HSCC '21: 24th ACM International Conference on Hybrid Systems: Computation and Control, Nashville, Tennessee, May 19-21, 2021, pp. 21:1-21:11, 2021, ACM, 978-1-4503-8339-4. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Aakash Abhishek, Harry Sood, Jean-Baptiste Jeannin |
Formal verification of braking while swerving in automobiles. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: HSCC '20: 23rd ACM International Conference on Hybrid Systems: Computation and Control, Sydney, New South Wales, Australia, April 21-24, 2020, pp. 27:1-27:11, 2020, ACM, 978-1-4503-7018-9. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Daniel Jarne Ornia, Manuel Mazo Jr. |
Convergence of ant colony multi-agent swarms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: HSCC '20: 23rd ACM International Conference on Hybrid Systems: Computation and Control, Sydney, New South Wales, Australia, April 21-24, 2020, pp. 29:1-29:11, 2020, ACM, 978-1-4503-7018-9. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Kasra Ghasemi, Sadra Sadraddini, Calin Belta |
Compositional synthesis via a convex parameterization of assume-guarantee contracts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: HSCC '20: 23rd ACM International Conference on Hybrid Systems: Computation and Control, Sydney, New South Wales, Australia, April 21-24, 2020, pp. 16:1-16:10, 2020, ACM, 978-1-4503-7018-9. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Hyejin Han, Mohamed Maghenem, Ricardo G. Sanfelice |
Sufficient conditions for satisfaction of formulas with until operators in hybrid systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: HSCC '20: 23rd ACM International Conference on Hybrid Systems: Computation and Control, Sydney, New South Wales, Australia, April 21-24, 2020, pp. 8:1-8:10, 2020, ACM, 978-1-4503-7018-9. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Mohamed Maghenem, Ricardo G. Sanfelice |
Local lipschitzness of reachability maps for hybrid systems with applications to safety. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: HSCC '20: 23rd ACM International Conference on Hybrid Systems: Computation and Control, Sydney, New South Wales, Australia, April 21-24, 2020, pp. 21:1-21:11, 2020, ACM, 978-1-4503-7018-9. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Davide Bresolin, Pieter Collins, Luca Geretti, Roberto Segala, Tiziano Villa, Sanja Zivanovic Gonzalez |
A computable and compositional semantics for hybrid automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: HSCC '20: 23rd ACM International Conference on Hybrid Systems: Computation and Control, Sydney, New South Wales, Australia, April 21-24, 2020, pp. 18:1-18:11, 2020, ACM, 978-1-4503-7018-9. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Masaki Waga |
Falsification of cyber-physical systems with robustness-guided black-box checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: HSCC '20: 23rd ACM International Conference on Hybrid Systems: Computation and Control, Sydney, New South Wales, Australia, April 21-24, 2020, pp. 11:1-11:13, 2020, ACM, 978-1-4503-7018-9. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Pranav Ashok, Mathias Jackermeier, Pushpak Jagtap, Jan Kretínský, Maximilian Weininger, Majid Zamani 0001 |
dtControl: decision tree learning algorithms for controller representation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: HSCC '20: 23rd ACM International Conference on Hybrid Systems: Computation and Control, Sydney, New South Wales, Australia, April 21-24, 2020, pp. 17:1-17:7, 2020, ACM, 978-1-4503-7018-9. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Maben Rabi |
Piece-wise analytic trajectory computation for polytopic switching between stable affine systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: HSCC '20: 23rd ACM International Conference on Hybrid Systems: Computation and Control, Sydney, New South Wales, Australia, April 21-24, 2020, pp. 5:1-5:11, 2020, ACM, 978-1-4503-7018-9. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Viktorio S. el Hakim, Marco Jan Gerrit Bekooij |
Dynamics-aware subspace identification for decomposed aggregation in the reachability analysis of hybrid automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: HSCC '20: 23rd ACM International Conference on Hybrid Systems: Computation and Control, Sydney, New South Wales, Australia, April 21-24, 2020, pp. 3:1-3:11, 2020, ACM, 978-1-4503-7018-9. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | James Ferlez, Yasser Shoukry |
AReN: assured ReLU NN architecture for model predictive control of LTI systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: HSCC '20: 23rd ACM International Conference on Hybrid Systems: Computation and Control, Sydney, New South Wales, Australia, April 21-24, 2020, pp. 6:1-6:11, 2020, ACM, 978-1-4503-7018-9. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Sadra Sadraddini, Russ Tedrake |
Robust output feedback control with guaranteed constraint satisfaction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: HSCC '20: 23rd ACM International Conference on Hybrid Systems: Computation and Control, Sydney, New South Wales, Australia, April 21-24, 2020, pp. 24:1-24:10, 2020, ACM, 978-1-4503-7018-9. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Pranav Ashok, Mathias Jackermeier, Pushpak Jagtap, Jan Kretínský, Maximilian Weininger, Majid Zamani 0001 |
dtControl: decision tree learning algorithms for controller representation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: HSCC '20: 23rd ACM International Conference on Hybrid Systems: Computation and Control, Sydney, New South Wales, Australia, April 21-24, 2020, pp. 30:1-30:2, 2020, ACM, 978-1-4503-7018-9. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Corto Mascle, Daniel Neider, Maximilian Schwenger, Paulo Tabuada, Alexander Weinert, Martin Zimmermann 0002 |
From LTL to rLTL monitoring: improved monitorability through robust semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: HSCC '20: 23rd ACM International Conference on Hybrid Systems: Computation and Control, Sydney, New South Wales, Australia, April 21-24, 2020, pp. 7:1-7:12, 2020, ACM, 978-1-4503-7018-9. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Tzanis Anevlavis, Paulo Tabuada |
A simple hierarchy for computing controlled invariant sets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: HSCC '20: 23rd ACM International Conference on Hybrid Systems: Computation and Control, Sydney, New South Wales, Australia, April 21-24, 2020, pp. 23:1-23:11, 2020, ACM, 978-1-4503-7018-9. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Colin Shea-Blymyer, Houssam Abbas |
A deontic logic analysis of autonomous systems' safety. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: HSCC '20: 23rd ACM International Conference on Hybrid Systems: Computation and Control, Sydney, New South Wales, Australia, April 21-24, 2020, pp. 26:1-26:11, 2020, ACM, 978-1-4503-7018-9. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Sara Mohammadinejad, Jyotirmoy V. Deshmukh, Aniruddh Gopinath Puranic, Marcell Vazquez-Chanlatte, Alexandre Donzé |
Interpretable classification of time-series data using efficient enumerative techniques. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: HSCC '20: 23rd ACM International Conference on Hybrid Systems: Computation and Control, Sydney, New South Wales, Australia, April 21-24, 2020, pp. 9:1-9:10, 2020, ACM, 978-1-4503-7018-9. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Rupak Majumdar, Kaushik Mallik, Sadegh Soudjani |
Symbolic controller synthesis for Büchi specifications on stochastic systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: HSCC '20: 23rd ACM International Conference on Hybrid Systems: Computation and Control, Sydney, New South Wales, Australia, April 21-24, 2020, pp. 14:1-14:11, 2020, ACM, 978-1-4503-7018-9. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Benoît Caillaud, Mathias Malandain, Joan Thibault |
Implicit structural analysis of multimode DAE systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: HSCC '20: 23rd ACM International Conference on Hybrid Systems: Computation and Control, Sydney, New South Wales, Australia, April 21-24, 2020, pp. 20:1-20:11, 2020, ACM, 978-1-4503-7018-9. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Aaron D. Ames, Sanjit A. Seshia, Jyotirmoy Deshmukh (eds.) |
HSCC '20: 23rd ACM International Conference on Hybrid Systems: Computation and Control, Sydney, New South Wales, Australia, April 21-24, 2020 ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![ACM, 978-1-4503-7018-9 The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Niklas Kochdumper, Bastian Schürmann, Matthias Althoff |
Utilizing dependencies to obtain subsets of reachable sets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: HSCC '20: 23rd ACM International Conference on Hybrid Systems: Computation and Control, Sydney, New South Wales, Australia, April 21-24, 2020, pp. 1:1-1:10, 2020, ACM, 978-1-4503-7018-9. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Necmiye Ozay |
Inter-triggering hybrid automata: a formalism for responsibility-sensitive safety. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: HSCC '20: 23rd ACM International Conference on Hybrid Systems: Computation and Control, Sydney, New South Wales, Australia, April 21-24, 2020, pp. 32:1-32:2, 2020, ACM, 978-1-4503-7018-9. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Abolfazl Lavaei, Mahmoud Khaled, Sadegh Soudjani, Majid Zamani 0001 |
AMYTISS: a parallelized tool on automated controller synthesis for large-scale stochastic systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: HSCC '20: 23rd ACM International Conference on Hybrid Systems: Computation and Control, Sydney, New South Wales, Australia, April 21-24, 2020, pp. 31:1-31:2, 2020, ACM, 978-1-4503-7018-9. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Pushpak Jagtap, Abdalla Swikir, Majid Zamani 0001 |
Compositional construction of control barrier functions for interconnected control systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: HSCC '20: 23rd ACM International Conference on Hybrid Systems: Computation and Control, Sydney, New South Wales, Australia, April 21-24, 2020, pp. 22:1-22:11, 2020, ACM, 978-1-4503-7018-9. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Anton V. Proskurnikov |
Does sample-time emulation preserve exponential stability? ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: HSCC '20: 23rd ACM International Conference on Hybrid Systems: Computation and Control, Sydney, New South Wales, Australia, April 21-24, 2020, pp. 19:1-19:8, 2020, ACM, 978-1-4503-7018-9. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Niklas Kochdumper, Matthias Althoff |
Reachability analysis for hybrid systems with nonlinear guard sets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: HSCC '20: 23rd ACM International Conference on Hybrid Systems: Computation and Control, Sydney, New South Wales, Australia, April 21-24, 2020, pp. 2:1-2:10, 2020, ACM, 978-1-4503-7018-9. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Carina Pilch, Arnd Hartmanns, Anne Remke |
Classic and non-prophetic model checking for hybrid Petri nets with stochastic firings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: HSCC '20: 23rd ACM International Conference on Hybrid Systems: Computation and Control, Sydney, New South Wales, Australia, April 21-24, 2020, pp. 10:1-10:11, 2020, ACM, 978-1-4503-7018-9. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Hengjun Zhao, Xia Zeng, Taolue Chen, Zhiming Liu 0001 |
Synthesizing barrier certificates using neural networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: HSCC '20: 23rd ACM International Conference on Hybrid Systems: Computation and Control, Sydney, New South Wales, Australia, April 21-24, 2020, pp. 25:1-25:11, 2020, ACM, 978-1-4503-7018-9. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Rupak Majumdar, Necmiye Ozay, Anne-Kathrin Schmuck |
On abstraction-based controller design with output feedback. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: HSCC '20: 23rd ACM International Conference on Hybrid Systems: Computation and Control, Sydney, New South Wales, Australia, April 21-24, 2020, pp. 15:1-15:11, 2020, ACM, 978-1-4503-7018-9. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Taisa Kushner, Sriram Sankaranarayanan 0001, Marc D. Breton |
Conformance verification for neural network models of glucose-insulin dynamics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: HSCC '20: 23rd ACM International Conference on Hybrid Systems: Computation and Control, Sydney, New South Wales, Australia, April 21-24, 2020, pp. 13:1-13:12, 2020, ACM, 978-1-4503-7018-9. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Stanly Samuel, Kaushik Mallik, Anne-Kathrin Schmuck, Daniel Neider |
Resilient abstraction-based controller design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: HSCC '20: 23rd ACM International Conference on Hybrid Systems: Computation and Control, Sydney, New South Wales, Australia, April 21-24, 2020, pp. 33:1-33:2, 2020, ACM, 978-1-4503-7018-9. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Mojtaba Zarei, Yu Wang 0044, Miroslav Pajic |
Statistical verification of learning-based cyber-physical systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: HSCC '20: 23rd ACM International Conference on Hybrid Systems: Computation and Control, Sydney, New South Wales, Australia, April 21-24, 2020, pp. 12:1-12:7, 2020, ACM, 978-1-4503-7018-9. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Radoslav Ivanov, Taylor J. Carpenter, James Weimer, Rajeev Alur, George J. Pappas, Insup Lee 0001 |
Case study: verifying the safety of an autonomous racing car with a neural network controller. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: HSCC '20: 23rd ACM International Conference on Hybrid Systems: Computation and Control, Sydney, New South Wales, Australia, April 21-24, 2020, pp. 28:1-28:7, 2020, ACM, 978-1-4503-7018-9. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Guillaume O. Berger, Raphaël M. Jungers |
Worst-case topological entropy and minimal data rate for state observation of switched linear systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: HSCC '20: 23rd ACM International Conference on Hybrid Systems: Computation and Control, Sydney, New South Wales, Australia, April 21-24, 2020, pp. 4:1-4:11, 2020, ACM, 978-1-4503-7018-9. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Juraj Kolcák, Ichiro Hasuo, Jérémy Dubut, Shin-ya Katsumata, David Sprunger, Akihisa Yamada 0002 |
Relational differential dynamic logic: poster abstract. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: Proceedings of the 22nd ACM International Conference on Hybrid Systems: Computation and Control, HSCC 2019, Montreal, QC, Canada, April 16-18, 2019., pp. 284-285, 2019, ACM, 978-1-4503-6282-5. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Nathalie Cauchi, Luca Laurenti, Morteza Lahijanian, Alessandro Abate, Marta Kwiatkowska, Luca Cardelli |
Efficiency through uncertainty: scalable formal synthesis for stochastic hybrid systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: Proceedings of the 22nd ACM International Conference on Hybrid Systems: Computation and Control, HSCC 2019, Montreal, QC, Canada, April 16-18, 2019., pp. 240-251, 2019, ACM, 978-1-4503-6282-5. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Anand Balakrishnan 0001, Jyotirmoy V. Deshmukh |
Structured reward functions using STL: poster abstract. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: Proceedings of the 22nd ACM International Conference on Hybrid Systems: Computation and Control, HSCC 2019, Montreal, QC, Canada, April 16-18, 2019., pp. 270-271, 2019, ACM, 978-1-4503-6282-5. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Pierre-Jean Meyer, Alex Devonport, Murat Arcak |
TIRA: toolbox for interval reachability analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: Proceedings of the 22nd ACM International Conference on Hybrid Systems: Computation and Control, HSCC 2019, Montreal, QC, Canada, April 16-18, 2019., pp. 224-229, 2019, ACM, 978-1-4503-6282-5. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Necmiye Ozay, Pavithra Prabhakar (eds.) |
Proceedings of the 22nd ACM International Conference on Hybrid Systems: Computation and Control, HSCC 2019, Montreal, QC, Canada, April 16-18, 2019. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![ACM, 978-1-4503-6282-5 The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
1 | Mohamed Maghenem, Ricardo G. Sanfelice |
Characterizations of safety in hybrid inclusions via barrier functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: Proceedings of the 22nd ACM International Conference on Hybrid Systems: Computation and Control, HSCC 2019, Montreal, QC, Canada, April 16-18, 2019., pp. 109-118, 2019, ACM, 978-1-4503-6282-5. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Chao Huang 0015, Wenchao Li 0001, Qi Zhu 0002 |
Formal verification of weakly-hard systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: Proceedings of the 22nd ACM International Conference on Hybrid Systems: Computation and Control, HSCC 2019, Montreal, QC, Canada, April 16-18, 2019., pp. 197-207, 2019, ACM, 978-1-4503-6282-5. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Souradeep Dutta, Xin Chen 0002, Sriram Sankaranarayanan 0001 |
Reachability analysis for neural feedback systems using regressive polynomial rule inference. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: Proceedings of the 22nd ACM International Conference on Hybrid Systems: Computation and Control, HSCC 2019, Montreal, QC, Canada, April 16-18, 2019., pp. 157-168, 2019, ACM, 978-1-4503-6282-5. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Shromona Ghosh, Somil Bansal, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia, Claire J. Tomlin |
A new simulation metric to determine safe environments and controllers for systems with unknown dynamics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: Proceedings of the 22nd ACM International Conference on Hybrid Systems: Computation and Control, HSCC 2019, Montreal, QC, Canada, April 16-18, 2019., pp. 185-196, 2019, ACM, 978-1-4503-6282-5. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Mohamed Maghenem, Ricardo G. Sanfelice |
Poster on safety characterization in hybrid inclusions using barrier functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: Proceedings of the 22nd ACM International Conference on Hybrid Systems: Computation and Control, HSCC 2019, Montreal, QC, Canada, April 16-18, 2019., pp. 282-283, 2019, ACM, 978-1-4503-6282-5. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Shakiba Yaghoubi, Georgios Fainekos |
Gray-box adversarial testing for control systems with machine learning components. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: Proceedings of the 22nd ACM International Conference on Hybrid Systems: Computation and Control, HSCC 2019, Montreal, QC, Canada, April 16-18, 2019., pp. 179-184, 2019, ACM, 978-1-4503-6282-5. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Stanley Bak, Hoang-Dung Tran, Taylor T. Johnson |
Numerical verification of affine systems with up to a billion dimensions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: Proceedings of the 22nd ACM International Conference on Hybrid Systems: Computation and Control, HSCC 2019, Montreal, QC, Canada, April 16-18, 2019., pp. 23-32, 2019, ACM, 978-1-4503-6282-5. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Houssam Abbas, Yash Vardhan Pant, Rahul Mangharam |
Temporal logic robustness for general signal classes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: Proceedings of the 22nd ACM International Conference on Hybrid Systems: Computation and Control, HSCC 2019, Montreal, QC, Canada, April 16-18, 2019., pp. 45-56, 2019, ACM, 978-1-4503-6282-5. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Nathanaël Fijalkow, Joël Ouaknine, Amaury Pouly, João Sousa Pinto, James Worrell 0001 |
On the decidability of reachability in linear time-invariant systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: Proceedings of the 22nd ACM International Conference on Hybrid Systems: Computation and Control, HSCC 2019, Montreal, QC, Canada, April 16-18, 2019., pp. 77-86, 2019, ACM, 978-1-4503-6282-5. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Matthew Philippe, Raphaël M. Jungers |
A complete characterization of the ordering of path-complete methods. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: Proceedings of the 22nd ACM International Conference on Hybrid Systems: Computation and Control, HSCC 2019, Montreal, QC, Canada, April 16-18, 2019., pp. 138-146, 2019, ACM, 978-1-4503-6282-5. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Ruggero Lanotte, Massimo Merro, Fabio Mogavero |
On the decidability of linear bounded periodic cyber-physical systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: Proceedings of the 22nd ACM International Conference on Hybrid Systems: Computation and Control, HSCC 2019, Montreal, QC, Canada, April 16-18, 2019., pp. 87-98, 2019, ACM, 978-1-4503-6282-5. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Sergiy Bogomolov, Marcelo Forets, Goran Frehse, Kostiantyn Potomkin, Christian Schilling 0001 |
JuliaReach: a toolbox for set-based reachability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: Proceedings of the 22nd ACM International Conference on Hybrid Systems: Computation and Control, HSCC 2019, Montreal, QC, Canada, April 16-18, 2019., pp. 39-44, 2019, ACM, 978-1-4503-6282-5. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Xin Qin, Jyotirmoy V. Deshmukh |
Predictive monitoring for signal temporal logic with probabilistic guarantees: poster abstract. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: Proceedings of the 22nd ACM International Conference on Hybrid Systems: Computation and Control, HSCC 2019, Montreal, QC, Canada, April 16-18, 2019., pp. 266-267, 2019, ACM, 978-1-4503-6282-5. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Liren Yang, Necmiye Ozay |
Combining LTL monitoring with model invalidation for improved fault detectability analysis for hybrid systems: poster abstract. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: Proceedings of the 22nd ACM International Conference on Hybrid Systems: Computation and Control, HSCC 2019, Montreal, QC, Canada, April 16-18, 2019., pp. 278-279, 2019, ACM, 978-1-4503-6282-5. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Xiaowu Sun, Haitham Khedr, Yasser Shoukry |
Formal verification of neural network controlled autonomous systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: Proceedings of the 22nd ACM International Conference on Hybrid Systems: Computation and Control, HSCC 2019, Montreal, QC, Canada, April 16-18, 2019., pp. 147-156, 2019, ACM, 978-1-4503-6282-5. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Eric Goubault, Sylvie Putot |
Inner and outer reachability for the verification of control systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: Proceedings of the 22nd ACM International Conference on Hybrid Systems: Computation and Control, HSCC 2019, Montreal, QC, Canada, April 16-18, 2019., pp. 11-22, 2019, ACM, 978-1-4503-6282-5. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Mohammad Al Khatib, Majid Zamani 0001 |
Verification and synthesis of interconnected embedded control systems under timing contracts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: Proceedings of the 22nd ACM International Conference on Hybrid Systems: Computation and Control, HSCC 2019, Montreal, QC, Canada, April 16-18, 2019., pp. 208-217, 2019, ACM, 978-1-4503-6282-5. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Hsi-Ming Ho |
Revisiting timed logics with automata modalities. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: Proceedings of the 22nd ACM International Conference on Hybrid Systems: Computation and Control, HSCC 2019, Montreal, QC, Canada, April 16-18, 2019., pp. 67-76, 2019, ACM, 978-1-4503-6282-5. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Nikola Benes, Lubos Brim, Jana Drazanová, Samuel Pastva, David Safránek |
Facetal abstraction for non-linear dynamical systems based on δ-decidable SMT. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: Proceedings of the 22nd ACM International Conference on Hybrid Systems: Computation and Control, HSCC 2019, Montreal, QC, Canada, April 16-18, 2019., pp. 99-108, 2019, ACM, 978-1-4503-6282-5. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Ian M. Mitchell, Jacob Budzis, Andriy Bolyachevets |
Invariant, viability and discriminating kernel under-approximation via zonotope scaling: poster abstract. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: Proceedings of the 22nd ACM International Conference on Hybrid Systems: Computation and Control, HSCC 2019, Montreal, QC, Canada, April 16-18, 2019., pp. 268-269, 2019, ACM, 978-1-4503-6282-5. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Nathalie Cauchi, Alessandro Abate |
StocHy - automated verification and synthesis of stochastic processes: poster abstract. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: Proceedings of the 22nd ACM International Conference on Hybrid Systems: Computation and Control, HSCC 2019, Montreal, QC, Canada, April 16-18, 2019., pp. 258-259, 2019, ACM, 978-1-4503-6282-5. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Kwesi J. Rutledge, Sze Zheng Yong, Necmiye Ozay |
Equalized recovery: Weakening invariance for control and estimation: poster abstract. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: Proceedings of the 22nd ACM International Conference on Hybrid Systems: Computation and Control, HSCC 2019, Montreal, QC, Canada, April 16-18, 2019., pp. 276-277, 2019, ACM, 978-1-4503-6282-5. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Bai Xue 0001, Qiuye Wang, Naijun Zhan, Martin Fränzle |
Robust invariant sets generation for state-constrained perturbed polynomial systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: Proceedings of the 22nd ACM International Conference on Hybrid Systems: Computation and Control, HSCC 2019, Montreal, QC, Canada, April 16-18, 2019., pp. 128-137, 2019, ACM, 978-1-4503-6282-5. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Mahmoud Khaled, Majid Zamani 0001 |
pFaces: an acceleration ecosystem for symbolic control. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: Proceedings of the 22nd ACM International Conference on Hybrid Systems: Computation and Control, HSCC 2019, Montreal, QC, Canada, April 16-18, 2019., pp. 252-257, 2019, ACM, 978-1-4503-6282-5. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Abraham P. Vinod, Joseph D. Gleason, Meeko M. K. Oishi |
SReachTools: A MATLAB stochastic reachability toolbox: demo abstract. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: Proceedings of the 22nd ACM International Conference on Hybrid Systems: Computation and Control, HSCC 2019, Montreal, QC, Canada, April 16-18, 2019., pp. 264-265, 2019, ACM, 978-1-4503-6282-5. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Thomas Ferrère, Dejan Nickovic, Alexandre Donzé, Hisahiro Ito, James Kapinski |
Interface-aware signal temporal logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: Proceedings of the 22nd ACM International Conference on Hybrid Systems: Computation and Control, HSCC 2019, Montreal, QC, Canada, April 16-18, 2019., pp. 57-66, 2019, ACM, 978-1-4503-6282-5. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Radoslav Ivanov, James Weimer, Rajeev Alur, George J. Pappas, Insup Lee 0001 |
Verisig: verifying safety properties of hybrid systems with neural network controllers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: Proceedings of the 22nd ACM International Conference on Hybrid Systems: Computation and Control, HSCC 2019, Montreal, QC, Canada, April 16-18, 2019., pp. 169-178, 2019, ACM, 978-1-4503-6282-5. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Tzanis Anevlavis, Daniel Neider, Matthew Philippe, Paulo Tabuada |
Evrostos: the rLTL verifier. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: Proceedings of the 22nd ACM International Conference on Hybrid Systems: Computation and Control, HSCC 2019, Montreal, QC, Canada, April 16-18, 2019., pp. 218-223, 2019, ACM, 978-1-4503-6282-5. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Zexiang Liu, Necmiye Ozay |
Safety control with preview automaton: poster abstract. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: Proceedings of the 22nd ACM International Conference on Hybrid Systems: Computation and Control, HSCC 2019, Montreal, QC, Canada, April 16-18, 2019., pp. 280-281, 2019, ACM, 978-1-4503-6282-5. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|