15. HSCC 2012: Beijing, China

Keynote

• Anil Aswani, Jerry Ding, Haomiao Huang, Michael P. Vitus, Jeremy H. Gillula, Patrick Bouffard, Claire 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 Maidens, Meeko Oishi, Ian M. Mitchell, Guy A. 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 E. 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 ℒ₂-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
  

Last update Fri May 17 18:54:55 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page