Abstract is missing.
- Dynamics-aware subspace identification for decomposed aggregation in the reachability analysis of hybrid automataViktorio S. el Hakim, Marco Jan Gerrit Bekooij. [doi]
- Reachability analysis for hybrid systems with nonlinear guard setsNiklas Kochdumper, Matthias Althoff. [doi]
- Robust output feedback control with guaranteed constraint satisfactionSadra Sadraddini, Russ Tedrake. [doi]
- Implicit structural analysis of multimode DAE systemsBenoît Caillaud, Mathias Malandain, Joan Thibault. [doi]
- Classic and non-prophetic model checking for hybrid Petri nets with stochastic firingsCarina Pilch, Arnd Hartmanns, Anne Remke. [doi]
- Synthesizing barrier certificates using neural networksHengjun Zhao, Xia Zeng, Taolue Chen, Zhiming Liu 0001. [doi]
- AReN: assured ReLU NN architecture for model predictive control of LTI systemsJames Ferlez, Yasser Shoukry. [doi]
- Compositional synthesis via a convex parameterization of assume-guarantee contractsKasra Ghasemi, Sadra Sadraddini, Calin Belta. [doi]
- Symbolic controller synthesis for Büchi specifications on stochastic systemsRupak Majumdar, Kaushik Mallik, Sadegh Soudjani. [doi]
- Formal verification of braking while swerving in automobilesAakash Abhishek, Harry Sood, Jean-Baptiste Jeannin. [doi]
- Piece-wise analytic trajectory computation for polytopic switching between stable affine systemsMaben Rabi. [doi]
- From LTL to rLTL monitoring: improved monitorability through robust semanticsCorto Mascle, Daniel Neider, Maximilian Schwenger, Paulo Tabuada, Alexander Weinert, Martin Zimmermann 0002. [doi]
- dtControl: decision tree learning algorithms for controller representationPranav Ashok, Mathias Jackermeier, Pushpak Jagtap, Jan Kretínský, Maximilian Weininger, Majid Zamani. [doi]
- Sufficient conditions for satisfaction of formulas with until operators in hybrid systemsHyejin Han, Mohamed Maghenem, Ricardo G. Sanfelice. [doi]
- Falsification of cyber-physical systems with robustness-guided black-box checkingMasaki Waga. [doi]
- Inter-triggering hybrid automata: a formalism for responsibility-sensitive safetyNecmiye Ozay. [doi]
- Statistical verification of learning-based cyber-physical systemsMojtaba Zarei, Yu Wang 0044, Miroslav Pajic. [doi]
- Does sample-time emulation preserve exponential stability?Anton V. Proskurnikov. [doi]
- AMYTISS: a parallelized tool on automated controller synthesis for large-scale stochastic systemsAbolfazl Lavaei, Mahmoud Khaled, Sadegh Soudjani, Majid Zamani. [doi]
- Utilizing dependencies to obtain subsets of reachable setsNiklas Kochdumper, Bastian Schürmann, Matthias Althoff. [doi]
- Interpretable classification of time-series data using efficient enumerative techniquesSara Mohammadinejad, Jyotirmoy V. Deshmukh, Aniruddh G. Puranic, Marcell Vazquez-Chanlatte, Alexandre Donzé. [doi]
- Resilient abstraction-based controller designStanly Samuel, Kaushik Mallik, Anne-Kathrin Schmuck, Daniel Neider. [doi]
- Local lipschitzness of reachability maps for hybrid systems with applications to safetyMohamed Maghenem, Ricardo G. Sanfelice. [doi]
- Compositional construction of control barrier functions for interconnected control systemsPushpak Jagtap, Abdalla Swikir, Majid Zamani. [doi]
- Convergence of ant colony multi-agent swarmsDaniel Jarne Ornia, Manuel Mazo. [doi]
- On abstraction-based controller design with output feedbackRupak Majumdar, Necmiye Ozay, Anne-Kathrin Schmuck. [doi]
- Conformance verification for neural network models of glucose-insulin dynamicsTaisa Kushner, Sriram Sankaranarayanan 0001, Marc Breton. [doi]
- A computable and compositional semantics for hybrid automataDavide Bresolin, Pieter Collins, Luca Geretti, Roberto Segala, Tiziano Villa, Sanja Zivanovic Gonzalez. [doi]
- Case study: verifying the safety of an autonomous racing car with a neural network controllerRadoslav Ivanov, Taylor J. Carpenter, James Weimer, Rajeev Alur, George J. Pappas, Insup Lee. [doi]
- Worst-case topological entropy and minimal data rate for state observation of switched linear systemsGuillaume O. Berger, Raphaël M. Jungers. [doi]
- A simple hierarchy for computing controlled invariant setsTzanis Anevlavis, Paulo Tabuada. [doi]
- A deontic logic analysis of autonomous systems' safetyColin Shea-Blymyer, Houssam Abbas. [doi]
- dtControl: decision tree learning algorithms for controller representationPranav Ashok, Mathias Jackermeier, Pushpak Jagtap, Jan Kretínský, Maximilian Weininger, Majid Zamani. [doi]