13. HSCC 2010: Stockholm, Sweden

Karl Henrik Johansson, Wang Yi (Eds.): Proceedings of the 13th ACM International Conference on Hybrid Systems: Computation and Control, HSCC 2010, Stockholm, Sweden, April 12-15, 2010. ACM/ACM 2010, ISBN 978-1-60558-955-8

Compositionality and abstraction

P. S. Thiagarajan, Shaofa Yang:
Succinct discrete time approximations of distributed hybrid automata. 1-10
Thao Dang, Oded Maler, Romain Testylier:
Accurate hybridization of nonlinear systems. 11-20
Florian Kerber, Arjan van der Schaft:
Compositional analysis for linear control systems. 21-30

Hybrid control systems

Joris Sijs, Mircea Lazar, W. P. M. H. Heemels:
On integration of event-based estimation and robust MPC in a feedback loop. 31-40
Kerstin Bauer, Klaus Schneider:
From synchronous programs to symbolic representations of hybrid systems. 41-50
Humberto González, Ramanarayan Vasudevan, Maryam Kamgarpour, Shankar S. Sastry, Ruzena Bajcsy, Claire J. Tomlin:
A descent algorithm for the optimal control of constrained nonlinear switched dynamical systems. 51-60

Resource and scheduling

Patricia Bouyer, Uli Fahrenberg, Kim G. Larsen, Nicolas Markey:
Timed automata with observers under energy constraints. 61-70
Prapaporn Rattanatamrong, José A. B. Fortes:
Real-time scheduling of mixture-of-experts systems with limited resources. 71-80
Vijay Gupta:
On a control algorithm for time-varying processor availability. 81-90

Specification and control

Alexandre David, Kim G. Larsen, Axel Legay, Ulrik Nyman, Andrzej Wasowski:
Timed I/O automata: a complete specification theory for real-time systems. 91-100
Tichakorn Wongpiromsarn, Ufuk Topcu, Richard M. Murray:
Receding horizon control for temporal logic specifications. 101-110
Antoine Girard:
Synthesis using approximately bisimilar abstractions: state-feedback controllers for safety specifications. 111-120

Identification and control

Kenji Kashima, Yasuyuki Kawamura, Jun-ichi Imura:
Oscillation analysis of linearly coupled piecewise affine systems. 121-130
Mircea Lazar, Andrej Jokic:
On infinity norms as Lyapunov functions for piecewise affine systems. 131-140
Mihály Petreczky, Laurent Bako, Jan H. van Schuppen:
Identifiability of discrete-time linear switched systems. 141-150

Applications

Eric D. B. Wendel, Aaron D. Ames:
Rank properties of poincare maps for hybrid systems with applications to bipedal walking. 151-160
Saurabh Amin, Xavier Litrico, Shankar Sastry, Alexandre M. Bayen:
Stealthy deception attacks on water SCADA systems. 161-170
Branko Kerkez, Steven D. Glaser, John A. Dracup, Roger C. Bales:
A hybrid system model of seasonal snowpack water balance. 171-180

Network and control

W. P. M. H. Heemels, Nathan van de Wouw, Rob H. Gielen, M. C. F. Donkers, Laurentiu Hetel, Sorin Olaru, Mircea Lazar, Jamal Daafouz, Silviu-Iulian Niculescu:
Comparison of overapproximation methods for stability analysis of networked control systems. 181-190
Anne-Kathrin Hess, Anders Rantzer:
Distributed Kalman Filter algorithms for self-localization of mobile devices. 191-200
Punyaslok Purkayastha, John S. Baras:
Convergence results for ant routing algorithms viastochastic approximation. 201-210

Modelling and analysis

Truong Nghiem, Sriram Sankaranarayanan, Georgios E. Fainekos, Franjo Ivancic, Aarti Gupta, George J. Pappas:
Monte-carlo techniques for falsification of temporal properties of non-linear hybrid systems. 211-220
Sriram Sankaranarayanan:
Automatic invariant generation for hybrid systems using ideal fixed points. 221-230
Azer Bestavros, Assaf J. Kfoury, Andrei Lapets, Michael J. Ocean:
Safe compositional network sketches: formal framework. 231-241

Verification of stochastic systems

Paolo Zuliani, André Platzer, Edmund M. Clarke:
Bayesian statistical model checking with application to Simulink/Stateflow verification. 243-252
Federico Ramponi, Debasish Chatterjee, Sean Summers, John Lygeros:
On the connections between PCTL and dynamic programming. 253-262
Konstantinos Koutroumpas, John Lygeros:
Modeling and verification of stochastic hybrid systems using HIOA: a case study on DNA replication. 263-272

Switched linear systems

Jianghai Hu, Jinglai Shen, Wei Zhang:
A generating function approach to the stability of discrete-time switched linear systems. 273-282
Andrew B. Godbehere, Shankar S. Sastry:
Stabilization of planar switched linear systems using polar coordinates. 283-292
Oded Maler:
Amir Pnueli and the dawn of hybrid systems. 293-295

Last update Fri May 25 08:16:08 2012 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page