default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID15. HSCC 2012: Beijing, China
- Thao Dang, Ian M. Mitchell:
Hybrid Systems: Computation and Control (part of CPS Week 2012), HSCC'12, Beijing, China, April 17-19, 2012. ACM 2012, ISBN 978-1-4503-1220-2
Keynote
- Anil Aswani, Jerry Ding, Haomiao Huang, Michael P. Vitus, Jeremy H. Gillula, Patrick Bouffard, Claire J. Tomlin:
Verification and control of hybrid systems using reachability analysis with machine learning. 1-2
Invited talk & networked control
- Calin Belta:
Formal methods for dynamical systems. 3-4 - Heath LeBlanc, Xenofon D. Koutsoukos:
Low complexity resilient consensus in networked multi-agent systems with adversaries. 5-14
Verification (1) -- invariant generation & abstraction
- Christoffer Sloth
, George J. Pappas, Rafael Wisniewski:
Compositional safety analysis using barrier certificates. 15-24 - Rachid Rebiha, Nadir Matringe, Arnaldo Vieira Moura:
Transcendental inductive invariants generation for non-linear differential and hybrid systems. 25-34 - Akshay Rajhans, Bruce H. Krogh:
Heterogeneous verification of cyber-physical systems using behavior relations. 35-44
Verification (2) -- reachability computation and games
- Matthias Althoff, Bruce H. Krogh:
Avoiding geometric intersection operations in reachability analysis of hybrid systems. 45-54 - Shahab Kaynama, John N. Maidens, Meeko Oishi, Ian M. Mitchell, Guy Albert Dumont:
Computing the viability kernel using maximal reachable sets. 55-64 - Massimo Benerecetti, Marco Faella, Stefano Minopoli:
Reachability games for linear hybrid systems. 65-74
Controller synthesis and scheduling
- Rajeev Alur, Ashutosh Trivedi, Dominik Wojtczak:
Optimal scheduling for constant-rate multi-mode systems. 75-84 - Ufuk Topcu, Necmiye Ozay, Jun Liu, Richard M. Murray:
On synthesizing robust discrete controllers under modeling uncertainty. 85-94 - Ebru Aydin Gol, Mircea Lazar, Calin Belta:
Language-guided controller synthesis for discrete-time linear systems. 95-104
Verification 3 -- abstraction & randomized search
- Pierre Roux, Romain Jobredeaux, Pierre-Loïc Garoche, Eric Feron:
A generic ellipsoid abstract domain for linear time invariant systems. 105-114 - Parasara Sridhar Duggirala, Sayan Mitra:
Lyapunov abstractions for inevitability of hybrid systems. 115-124 - Sriram Sankaranarayanan, Georgios Fainekos:
Falsification of temporal properties of hybrid systems using the cross-entropy method. 125-134
Applications and modelling
- Aaron D. Ames, Eric A. Cousineau, Matthew J. Powell:
Dynamically stable bipedal robotic walking with NAO via human-inspired hybrid zero dynamics. 135-144 - Alessandro Colombo, Domitilla Del Vecchio:
Efficient algorithms for collision avoidance at intersections. 145-154 - Linar Mikeev, Verena Wolf:
Parameter estimation for stochastic hybrid models of biochemical reaction networks. 155-166 - Peter Schrammel, Bertrand Jeannet:
From hybrid data-flow languages to hybrid automata: a complete translation. 167-176
Stability and switched systems
- Vamsi Kalyan Putta, Guangwei Zhu, Jianghai Hu, Jinglai Shen:
Efficient computation of generalized input-to-state ℒ2-gains of discrete-time switched linear systems. 177-186 - Zhikun She, Bai Xue:
Algebraic analysis on asymptotic stability of switched hybrid systems. 187-196 - Pavithra Prabhakar, Geir E. Dullerud, Mahesh Viswanathan:
Pre-orders for reasoning about stability. 197-206
Stochastic systems (1)
- Sadegh Esmaeil Zadeh Soudjani, Alessandro Abate:
Probabilistic invariance of mixed deterministic-stochastic dynamical systems. 207-216 - Paolo Zuliani, Christel Baier, Edmund M. Clarke:
Rare-event verification for stochastic hybrid systems. 217-226 - Ilya Tkachev, Alessandro Abate:
Regularization of bellman equations for infinite-horizon probabilistic properties. 227-236
Quantized and symbolic control systems
- Feng Zhu, Han Yu, Michael J. McCourt, Panos J. Antsaklis:
Passivity and stability of switched systems under quantization. 237-244 - Lichun Li, Xiaofeng Wang, Michael D. Lemmon:
Stabilizing bit-rates in quantized event triggered control systems. 245-254 - Alessandro Borri, Giordano Pola, Maria Domenica Di Benedetto:
A symbolic approach to the design of nonlinear networked control systems. 255-264
Stochastic systems (2)
- Taolue Chen, Marco Diciolla, Marta Z. Kwiatkowska, Alexandru Mereacre:
Verification of linear duration properties over continuous-time markov chains. 265-274 - Alessandro D'Innocenzo, Alessandro Abate, Joost-Pieter Katoen:
Robust PCTL model checking. 275-286
Tool papers
- Emeka Eyisi, Jia Bai, Derek Riley, Jiannian Weng, Yan Wei, Yuan Xue, Xenofon D. Koutsoukos, Janos Sztipanovits:
NCSWT: an integrated modeling and simulation tool for networked control systems. 287-290 - Zhenqi Huang, Sayan Mitra:
Computing bounded reach sets from sampled simulation traces. 291-294
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 2026-05-10 00:28 CEST 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:
