Abstract is missing.
- Verification and control of hybrid systems using reachability analysis with machine learningAnil Aswani, Jerry Ding, Haomiao Huang, Michael P. Vitus, Jeremy H. Gillula, Patrick Bouffard, Claire Tomlin. 1-2 [doi]
- Formal methods for dynamical systemsCalin Belta. 3-4 [doi]
- Low complexity resilient consensus in networked multi-agent systems with adversariesHeath LeBlanc, Xenofon D. Koutsoukos. 5-14 [doi]
- Compositional safety analysis using barrier certificatesChristoffer Sloth, George J. Pappas, Rafael Wisniewski. 15-24 [doi]
- Transcendental inductive invariants generation for non-linear differential and hybrid systemsRachid Rebiha, Nadir Matringe, Arnaldo Vieira Moura. 25-34 [doi]
- Heterogeneous verification of cyber-physical systems using behavior relationsAkshay Rajhans, Bruce H. Krogh. 35-44 [doi]
- Avoiding geometric intersection operations in reachability analysis of hybrid systemsMatthias Althoff, Bruce H. Krogh. 45-54 [doi]
- Computing the viability kernel using maximal reachable setsShahab Kaynama, John N. Maidens, Meeko Oishi, Ian M. Mitchell, Guy A. Dumont. 55-64 [doi]
- Reachability games for linear hybrid systemsMassimo Benerecetti, Marco Faella, Stefano Minopoli. 65-74 [doi]
- Optimal scheduling for constant-rate multi-mode systemsRajeev Alur, Ashutosh Trivedi, Dominik Wojtczak. 75-84 [doi]
- On synthesizing robust discrete controllers under modeling uncertaintyUfuk Topcu, Necmiye Ozay, Jun Liu, Richard M. Murray. 85-94 [doi]
- Language-guided controller synthesis for discrete-time linear systemsEbru Aydin Gol, Mircea Lazar, Calin Belta. 95-104 [doi]
- A generic ellipsoid abstract domain for linear time invariant systemsPierre Roux, Romain Jobredeaux, Pierre-Loïc Garoche, Eric Feron. 105-114 [doi]
- Lyapunov abstractions for inevitability of hybrid systemsParasara Sridhar Duggirala, Sayan Mitra. 115-124 [doi]
- Falsification of temporal properties of hybrid systems using the cross-entropy methodSriram Sankaranarayanan, Georgios E. Fainekos. 125-134 [doi]
- Dynamically stable bipedal robotic walking with NAO via human-inspired hybrid zero dynamicsAaron D. Ames, Eric A. Cousineau, Matthew J. Powell. 135-144 [doi]
- Efficient algorithms for collision avoidance at intersectionsAlessandro Colombo, Domitilla Del Vecchio. 145-154 [doi]
- Parameter estimation for stochastic hybrid models of biochemical reaction networksLinar Mikeev, Verena Wolf. 155-166 [doi]
- From hybrid data-flow languages to hybrid automata: a complete translationPeter Schrammel, Bertrand Jeannet. 167-176 [doi]
- 2-gains of discrete-time switched linear systemsVamsi Kalyan Putta, Guangwei Zhu, Jianghai Hu, Jinglai Shen. 177-186 [doi]
- Algebraic analysis on asymptotic stability of switched hybrid systemsZhikun She, Bai Xue. 187-196 [doi]
- Pre-orders for reasoning about stabilityPavithra Prabhakar, Geir E. Dullerud, Mahesh Viswanathan. 197-206 [doi]
- Probabilistic invariance of mixed deterministic-stochastic dynamical systemsSadegh Esmaeil Zadeh Soudjani, Alessandro Abate. 207-216 [doi]
- Rare-event verification for stochastic hybrid systemsPaolo Zuliani, Christel Baier, Edmund M. Clarke. 217-226 [doi]
- Regularization of bellman equations for infinite-horizon probabilistic propertiesIlya Tkachev, Alessandro Abate. 227-236 [doi]
- Passivity and stability of switched systems under quantizationFeng Zhu, Han Yu, Michael J. McCourt, Panos J. Antsaklis. 237-244 [doi]
- Stabilizing bit-rates in quantized event triggered control systemsLichun Li, Xiaofeng Wang, Michael D. Lemmon. 245-254 [doi]
- A symbolic approach to the design of nonlinear networked control systemsAlessandro Borri, Giordano Pola, Maria Domenica Di Benedetto. 255-264 [doi]
- Verification of linear duration properties over continuous-time markov chainsTaolue Chen, Marco Diciolla, Marta Z. Kwiatkowska, Alexandru Mereacre. 265-274 [doi]
- Robust PCTL model checkingAlessandro D'Innocenzo, Alessandro Abate, Joost-Pieter Katoen. 275-286 [doi]
- NCSWT: an integrated modeling and simulation tool for networked control systemsEmeka Eyisi, Jia Bai, Derek Riley, Jiannian Weng, Yan Wei, Yuan Xue, Xenofon D. Koutsoukos, Janos Sztipanovits. 287-290 [doi]
- Computing bounded reach sets from sampled simulation tracesZhenqi Huang, Sayan Mitra. 291-294 [doi]