14. HSCC 2011: Chicago, IL, USA

Keynote

• George J. Pappas:
  Wireless control networks: modeling, synthesis, robustness, security. 1-2
  

Hybrid systems theory

• Aneel Tanwani, Hyungbo Shim, Daniel Liberzon:
  Observability implies observer design for switched linear systems. 3-12
  
• Amir Ali Ahmadi, Raphaël M. Jungers, Pablo A. Parrilo, Mardavij Roozbehani:
  Analysis of the joint spectral radius via Lyapunov functions on path-complete graphs. 13-22
  
• Marc Geilen, Stavros Tripakis, Maarten Wiggers:
  The earlier the better: a theory of timed actor interfaces. 23-32
  

Stochastic systems

• Tomás Brázdil, Jan Krcál, Jan Kretínský, Antonín Kucera, Vojtech Rehák:
  Measuring performance of continuous-time stochastic processes using timed automata. 33-42
  
• Martin Fränzle, Ernst Moritz Hahn, Holger Hermanns, Nicolás Wolovick, Lijun Zhang:
  Measurability and safety verification for stochastic hybrid systems. 43-52
  
• Manuela L. Bujorianu, Marius C. Bujorianu:
  Stochastic non sequitur behavior analysis of fault tolerant hybrid systems. 53-62
  

Verification

• André Platzer:
  Quantified differential invariants. 63-72
  
• Werner Damm, Carsten Ihlemann, Viorica Sofronie-Stokkermans:
  Decidability and complexity for the verification of safety properties of reasonable linear hybrid automata. 73-82
  
• Alessandro Abate, Joost-Pieter Katoen, Alexandru Mereacre:
  Quantitative automata model checking of autonomous stochastic hybrid systems. 83-92
  

Reachable set computation

• Matthias Althoff, Colas Le Guernic, Bruce H. Krogh:
  Reachable set computation for uncertain time-varying linear systems. 93-102
  
• Ian M. Mitchell:
  Scalable calculation of reach sets and tubes for nonlinear systems with terminal integrators: a mixed implicit explicit formulation. 103-112
  
• Kyoung-Dae Kim, Sayan Mitra, P. R. Kumar:
  Computing bounded ε-reach set with finite precision computations for a class of linear hybrid automata. 113-122
  

Approximation and abstraction

• Thao Dang, Romain Testylier:
  Hybridization domain construction using curvature estimation. 123-132
  
• Pavithra Prabhakar, Mahesh Viswanathan:
  A dynamic algorithm for approximate flow computations. 133-142
  
• Sriram Sankaranarayanan:
  Automatic abstraction of non-linear systems using change of bases transformations. 143-152
  

Applications I

• Aaron D. Ames, Ramanarayan Vasudevan, Ruzena Bajcsy:
  Human-data based cost of bipedal robotic walking. 153-162
  
• Aaron D. Ames:
  Characterizing knee-bounce in bipedal robotic walking: a zeno behavior approach. 163-172
  
• Tomas Tuma, Aggeliki Pantazi, John Lygeros, Abu Sebastian:
  Impulsive control for nanopositioning: stability and performance. 173-180
  
• Constantin Florin Caruntu, Andreea Elena Balau, Mircea Lazar, Paul van den Bosch, Stefano Di Cairano:
  A predictive control solution for driveline oscillations damping. 181-190
  

Synthesis I

• Javier Cámara, Antoine Girard, Gregor Gößler:
  Synthesis of switching controllers using approximately bisimilar multiscale abstractions. 191-200
  
• Ji-Woong Lee, Geir E. Dullerud:
  Joint synthesis of switching and feedback for linear systems in discrete time. 201-210
  
• Rupak Majumdar, Elaine Render, Paulo Tabuada:
  Robust discrete synthesis against unspecified disturbances. 211-220
  

Synthesis II

• Krishnendu Chatterjee, Vinayak S. Prabhu:
  Synthesis of memory-efficient "real-time" controllers for safety objectives. 221-230
  
• Manuel Robles, Ricardo G. Sanfelice:
  Hybrid controllers for tracking of impulsive reference state trajectories: a hybrid exosystem approach. 231-240
  
• Kathrin Flaßkamp, Sina Ober-Blöbaum:
  Variational formulation and optimal control of hybrid lagrangian systems. 241-250
  

Applications II

• Sean Summers, Maryam Kamgarpour, John Lygeros, Claire Tomlin:
  A stochastic reach-avoid problem with random obstacles. 251-260
  
• Matthew Travers, Todd D. Murphey, Lucy Y. Pao:
  Impulsive data association with an unknown number of targets. 261-270
  
• Jerome Le Ny, Eric Feron, George J. Pappas:
  Resource constrained LQR control under fast sampling. 271-280
  

Network systems

• Heath LeBlanc, Xenofon D. Koutsoukos:
  Consensus in networked multi-agent systems with adversaries. 281-290
  
• Shreyas Sundaram, Jian Chang, Krishna K. Venkatasubramanian, Chinwendu Enyioha, Insup Lee, George J. Pappas:
  Reputation-based networked control with data-corrupting channels. 291-300
  
• Michael D. Lemmon, Xiaobo Sharon Hu:
  Almost sure stability of networked control systems under exponentially bounded bursts of dropouts. 301-310
  

Tool presentation papers

• Maksim Lapin, Linar Mikeev, Verena Wolf:
  SHAVE: stochastic hybrid analysis of markov population models. 311-312
  
• Tichakorn Wongpiromsarn, Ufuk Topcu, Necmiye Ozay, Huan Xu, Richard M. Murray:
  TuLiP: a software toolbox for receding horizon temporal logic planning. 313-314
  
• Pritam Roy, Paulo Tabuada, Rupak Majumdar:
  Pessoa 2.0: a controller synthesis tool for cyber-physical systems. 315-316
  
• Karthik Manamcheri, Sayan Mitra, Stanley Bak, Marco Caccamo:
  A step towards verification and synthesis from simulink/stateflow models. 317-318
  

Last update Thu May 23 16:55:55 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page