default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID22nd HSCC 2019: Montreal, QC, Canada
- Necmiye Ozay, Pavithra Prabhakar:
Proceedings of the 22nd ACM International Conference on Hybrid Systems: Computation and Control, HSCC 2019, Montreal, QC, Canada, April 16-18, 2019. ACM 2019, ISBN 978-1-4503-6282-5 - Sergiy Bogomolov
, Goran Frehse, Amit Gurung, Dongxu Li, Georg Martius, Rajarshi Ray:
Falsification of hybrid systems using symbolic reachability and trajectory splicing. 1-10 - Eric Goubault, Sylvie Putot:
Inner and outer reachability for the verification of control systems. 11-22 - Stanley Bak, Hoang-Dung Tran, Taylor T. Johnson:
Numerical verification of affine systems with up to a billion dimensions. 23-32 - Abraham P. Vinod, Joseph D. Gleason, Meeko M. K. Oishi:
SReachTools: a MATLAB stochastic reachability toolbox. 33-38 - Sergiy Bogomolov, Marcelo Forets, Goran Frehse, Kostiantyn Potomkin, Christian Schilling:
JuliaReach: a toolbox for set-based reachability. 39-44 - Houssam Abbas, Yash Vardhan Pant, Rahul Mangharam:
Temporal logic robustness for general signal classes. 45-56 - Thomas Ferrère, Dejan Nickovic, Alexandre Donzé, Hisahiro Ito, James Kapinski:
Interface-aware signal temporal logic. 57-66 - Hsi-Ming Ho:
Revisiting timed logics with automata modalities. 67-76 - Nathanaël Fijalkow, Joël Ouaknine, Amaury Pouly, João Sousa Pinto, James Worrell:
On the decidability of reachability in linear time-invariant systems. 77-86 - Ruggero Lanotte, Massimo Merro, Fabio Mogavero:
On the decidability of linear bounded periodic cyber-physical systems. 87-98 - Nikola Benes, Lubos Brim, Jana Drazanová, Samuel Pastva, David Safránek:
Facetal abstraction for non-linear dynamical systems based on δ-decidable SMT. 99-108 - Mohamed Maghenem, Ricardo G. Sanfelice:
Characterizations of safety in hybrid inclusions via barrier functions. 109-118 - Guosong Yang, João P. Hespanha, Daniel Liberzon:
On topological entropy and stability of switched linear systems. 119-127 - Bai Xue, Qiuye Wang, Naijun Zhan, Martin Fränzle:
Robust invariant sets generation for state-constrained perturbed polynomial systems. 128-137 - Matthew Philippe, Raphaël M. Jungers:
A complete characterization of the ordering of path-complete methods. 138-146 - Xiaowu Sun, Haitham Khedr, Yasser Shoukry:
Formal verification of neural network controlled autonomous systems. 147-156 - Souradeep Dutta, Xin Chen, Sriram Sankaranarayanan:
Reachability analysis for neural feedback systems using regressive polynomial rule inference. 157-168 - Radoslav Ivanov, James Weimer, Rajeev Alur, George J. Pappas, Insup Lee:
Verisig: verifying safety properties of hybrid systems with neural network controllers. 169-178 - Shakiba Yaghoubi, Georgios Fainekos:
Gray-box adversarial testing for control systems with machine learning components. 179-184 - 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. 185-196 - Chao Huang, Wenchao Li, Qi Zhu:
Formal verification of weakly-hard systems. 197-207 - Mohammad Al Khatib, Majid Zamani:
Verification and synthesis of interconnected embedded control systems under timing contracts. 208-217 - Tzanis Anevlavis, Daniel Neider, Matthew Philippe, Paulo Tabuada:
Evrostos: the rLTL verifier. 218-223 - Pierre-Jean Meyer, Alex Devonport, Murat Arcak:
TIRA: toolbox for interval reachability analysis. 224-229 - Tobia Marcucci, Russ Tedrake:
Mixed-integer formulations for optimal control of piecewise-affine systems. 230-239 - Nathalie Cauchi, Luca Laurenti, Morteza Lahijanian, Alessandro Abate, Marta Kwiatkowska, Luca Cardelli:
Efficiency through uncertainty: scalable formal synthesis for stochastic hybrid systems. 240-251 - Mahmoud Khaled, Majid Zamani:
pFaces: an acceleration ecosystem for symbolic control. 252-257 - Nathalie Cauchi, Alessandro Abate:
StocHy - automated verification and synthesis of stochastic processes: poster abstract. 258-259 - Guillaume O. Berger, Raphaël M. Jungers:
Formal methods for computing hyperbolic invariant sets for nonlinear systems: poster abstract. 260-261 - Souradeep Dutta, Xin Chen, Susmit Jha, Sriram Sankaranarayanan, Ashish Tiwari:
Sherlock - A tool for verification of neural network feedback systems: demo abstract. 262-263 - Abraham P. Vinod, Joseph D. Gleason, Meeko M. K. Oishi:
SReachTools: A MATLAB stochastic reachability toolbox: demo abstract. 264-265 - Xin Qin, Jyotirmoy V. Deshmukh:
Predictive monitoring for signal temporal logic with probabilistic guarantees: poster abstract. 266-267 - Ian M. Mitchell, Jacob Budzis, Andriy Bolyachevets:
Invariant, viability and discriminating kernel under-approximation via zonotope scaling: poster abstract. 268-269 - Anand Balakrishnan, Jyotirmoy V. Deshmukh:
Structured reward functions using STL: poster abstract. 270-271 - Masaki Waga, Ichiro Hasuo:
Moore-machine filtering for timed and untimed pattern matching: poster abstract. 272-273 - Masako Kishida:
Encrypted control system with quantizer: poster abstract. 274-275 - Kwesi J. Rutledge, Sze Zheng Yong, Necmiye Ozay:
Equalized recovery: Weakening invariance for control and estimation: poster abstract. 276-277 - Liren Yang, Necmiye Ozay:
Combining LTL monitoring with model invalidation for improved fault detectability analysis for hybrid systems: poster abstract. 278-279 - Zexiang Liu, Necmiye Ozay:
Safety control with preview automaton: poster abstract. 280-281 - Mohamed Maghenem, Ricardo G. Sanfelice:
Poster on safety characterization in hybrid inclusions using barrier functions. 282-283 - Juraj Kolcák, Ichiro Hasuo, Jérémy Dubut, Shin-ya Katsumata, David Sprunger, Akihisa Yamada:
Relational differential dynamic logic: poster abstract. 284-285
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 2025-12-05 22:22 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:
