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 updated on Fri May 24 04:54:54 2013 by the dblp team
data released under the ODC-BY 1.0 license
see also our legal information page