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. |
HSCC |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Weiming Xiang 0001 |
Interval observer design of dynamical systems with neural networks. |
HSCC |
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. |
HSCC |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Gabriel de Albuquerque Gleizer, Manuel Mazo Jr. |
Computing the sampling performance of event-triggered control. |
HSCC |
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. |
HSCC |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Jingkai Chen, Brian C. Williams, Chuchu Fan |
Optimal mixed discrete-continuous planning for linear hybrid systems. |
HSCC |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Aneel Tanwani |
Filtering over networks with random communication. |
HSCC |
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. |
HSCC |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Hammad Ahmad, Jean-Baptiste Jeannin |
A program logic to verify signal temporal logic specifications of hybrid systems. |
HSCC |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Guosong Yang, Daniel Liberzon, João P. Hespanha 0001 |
Topological entropy of switched nonlinear systems. |
HSCC |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Eduard Kamburjan |
From post-conditions to post-region invariants: deductive verification of hybrid objects. |
HSCC |
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. |
HSCC |
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. |
HSCC |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Mohan Dantam, Amaury Pouly |
On the decidability of reachability in continuous time linear time-invariant systems. |
HSCC |
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. |
HSCC |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Alp Aydinoglu, Mahyar Fazlyab, Manfred Morari, Michael Posa |
Stability analysis of complementarity systems with neural network controllers. |
HSCC |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Mahmoud Khaled, Majid Zamani 0001 |
OmegaThreads: symbolic controller design for ω-regular objectives. |
HSCC |
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 |
HSCC |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Kwesi J. Rutledge, Glen Chou, Necmiye Ozay |
Compositional safety rules for inter-triggering hybrid automata. |
HSCC |
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. |
HSCC |
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. |
HSCC |
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. |
HSCC |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Rupak Majumdar, Sadegh Soudjani |
The computability of LQR and LQG control. |
HSCC |
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. |
HSCC |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Gerrit Großmann, Michael Backenköhler, Verena Wolf |
Epidemic overdispersion strengthens the effectiveness of mobility restrictions. |
HSCC |
2021 |
DBLP DOI BibTeX RDF |
|
1 | John Jackson, Luca Laurenti, Eric W. Frew, Morteza Lahijanian |
Strategy synthesis for partially-known switched stochastic systems. |
HSCC |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Max H. Cohen, Calin Belta |
Model-based reinforcement learning for approximate optimal control with temporal logic specifications. |
HSCC |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Mahmoud Khaled, Majid Zamani 0001 |
OmegaThreads: symbolic controller design for ω-regular objectives. |
HSCC |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Matthew Abate, Mark Mote, Eric Feron, Samuel Coogan 0001 |
Verification and runtime assurance for dynamical systems with uncertainty. |
HSCC |
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. |
HSCC |
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. |
HSCC |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Guilherme Scabin Vicinansa, Daniel Liberzon |
Quantizer design for switched linear systems with minimal data-rate. |
HSCC |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Aakash Abhishek, Harry Sood, Jean-Baptiste Jeannin |
Formal verification of braking while swerving in automobiles. |
HSCC |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Daniel Jarne Ornia, Manuel Mazo Jr. |
Convergence of ant colony multi-agent swarms. |
HSCC |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Kasra Ghasemi, Sadra Sadraddini, Calin Belta |
Compositional synthesis via a convex parameterization of assume-guarantee contracts. |
HSCC |
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. |
HSCC |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Mohamed Maghenem, Ricardo G. Sanfelice |
Local lipschitzness of reachability maps for hybrid systems with applications to safety. |
HSCC |
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. |
HSCC |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Masaki Waga |
Falsification of cyber-physical systems with robustness-guided black-box checking. |
HSCC |
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. |
HSCC |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Maben Rabi |
Piece-wise analytic trajectory computation for polytopic switching between stable affine systems. |
HSCC |
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. |
HSCC |
2020 |
DBLP DOI BibTeX RDF |
|
1 | James Ferlez, Yasser Shoukry |
AReN: assured ReLU NN architecture for model predictive control of LTI systems. |
HSCC |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Sadra Sadraddini, Russ Tedrake |
Robust output feedback control with guaranteed constraint satisfaction. |
HSCC |
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. |
HSCC |
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. |
HSCC |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Tzanis Anevlavis, Paulo Tabuada |
A simple hierarchy for computing controlled invariant sets. |
HSCC |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Colin Shea-Blymyer, Houssam Abbas |
A deontic logic analysis of autonomous systems' safety. |
HSCC |
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. |
HSCC |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Rupak Majumdar, Kaushik Mallik, Sadegh Soudjani |
Symbolic controller synthesis for Büchi specifications on stochastic systems. |
HSCC |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Benoît Caillaud, Mathias Malandain, Joan Thibault |
Implicit structural analysis of multimode DAE systems. |
HSCC |
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 |
HSCC |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Niklas Kochdumper, Bastian Schürmann, Matthias Althoff |
Utilizing dependencies to obtain subsets of reachable sets. |
HSCC |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Necmiye Ozay |
Inter-triggering hybrid automata: a formalism for responsibility-sensitive safety. |
HSCC |
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. |
HSCC |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Pushpak Jagtap, Abdalla Swikir, Majid Zamani 0001 |
Compositional construction of control barrier functions for interconnected control systems. |
HSCC |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Anton V. Proskurnikov |
Does sample-time emulation preserve exponential stability? |
HSCC |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Niklas Kochdumper, Matthias Althoff |
Reachability analysis for hybrid systems with nonlinear guard sets. |
HSCC |
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. |
HSCC |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Hengjun Zhao, Xia Zeng, Taolue Chen, Zhiming Liu 0001 |
Synthesizing barrier certificates using neural networks. |
HSCC |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Rupak Majumdar, Necmiye Ozay, Anne-Kathrin Schmuck |
On abstraction-based controller design with output feedback. |
HSCC |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Taisa Kushner, Sriram Sankaranarayanan 0001, Marc D. Breton |
Conformance verification for neural network models of glucose-insulin dynamics. |
HSCC |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Stanly Samuel, Kaushik Mallik, Anne-Kathrin Schmuck, Daniel Neider |
Resilient abstraction-based controller design. |
HSCC |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Mojtaba Zarei, Yu Wang 0044, Miroslav Pajic |
Statistical verification of learning-based cyber-physical systems. |
HSCC |
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. |
HSCC |
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. |
HSCC |
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. |
HSCC |
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. |
HSCC |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Anand Balakrishnan 0001, Jyotirmoy V. Deshmukh |
Structured reward functions using STL: poster abstract. |
HSCC |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Pierre-Jean Meyer, Alex Devonport, Murat Arcak |
TIRA: toolbox for interval reachability analysis. |
HSCC |
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. |
HSCC |
2019 |
DBLP BibTeX RDF |
|
1 | Mohamed Maghenem, Ricardo G. Sanfelice |
Characterizations of safety in hybrid inclusions via barrier functions. |
HSCC |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Chao Huang 0015, Wenchao Li 0001, Qi Zhu 0002 |
Formal verification of weakly-hard systems. |
HSCC |
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. |
HSCC |
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. |
HSCC |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Mohamed Maghenem, Ricardo G. Sanfelice |
Poster on safety characterization in hybrid inclusions using barrier functions. |
HSCC |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Shakiba Yaghoubi, Georgios Fainekos |
Gray-box adversarial testing for control systems with machine learning components. |
HSCC |
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. |
HSCC |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Houssam Abbas, Yash Vardhan Pant, Rahul Mangharam |
Temporal logic robustness for general signal classes. |
HSCC |
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. |
HSCC |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Matthew Philippe, Raphaël M. Jungers |
A complete characterization of the ordering of path-complete methods. |
HSCC |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Ruggero Lanotte, Massimo Merro, Fabio Mogavero |
On the decidability of linear bounded periodic cyber-physical systems. |
HSCC |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Sergiy Bogomolov, Marcelo Forets, Goran Frehse, Kostiantyn Potomkin, Christian Schilling 0001 |
JuliaReach: a toolbox for set-based reachability. |
HSCC |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Xin Qin, Jyotirmoy V. Deshmukh |
Predictive monitoring for signal temporal logic with probabilistic guarantees: poster abstract. |
HSCC |
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. |
HSCC |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Xiaowu Sun, Haitham Khedr, Yasser Shoukry |
Formal verification of neural network controlled autonomous systems. |
HSCC |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Eric Goubault, Sylvie Putot |
Inner and outer reachability for the verification of control systems. |
HSCC |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Mohammad Al Khatib, Majid Zamani 0001 |
Verification and synthesis of interconnected embedded control systems under timing contracts. |
HSCC |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Hsi-Ming Ho |
Revisiting timed logics with automata modalities. |
HSCC |
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. |
HSCC |
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. |
HSCC |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Nathalie Cauchi, Alessandro Abate |
StocHy - automated verification and synthesis of stochastic processes: poster abstract. |
HSCC |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Kwesi J. Rutledge, Sze Zheng Yong, Necmiye Ozay |
Equalized recovery: Weakening invariance for control and estimation: poster abstract. |
HSCC |
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. |
HSCC |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Mahmoud Khaled, Majid Zamani 0001 |
pFaces: an acceleration ecosystem for symbolic control. |
HSCC |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Abraham P. Vinod, Joseph D. Gleason, Meeko M. K. Oishi |
SReachTools: A MATLAB stochastic reachability toolbox: demo abstract. |
HSCC |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Thomas Ferrère, Dejan Nickovic, Alexandre Donzé, Hisahiro Ito, James Kapinski |
Interface-aware signal temporal logic. |
HSCC |
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. |
HSCC |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Tzanis Anevlavis, Daniel Neider, Matthew Philippe, Paulo Tabuada |
Evrostos: the rLTL verifier. |
HSCC |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Zexiang Liu, Necmiye Ozay |
Safety control with preview automaton: poster abstract. |
HSCC |
2019 |
DBLP DOI BibTeX RDF |
|