HSCC'10: proceedings of the 13th International Conference on hybrid systems : computation and control : April 12-15, 2010, Stockholm, Sweden

Cover\r......Page 1
Title Page\r......Page 2
Publication details\r......Page 3
Preface......Page 4
Contents\r......Page 5
HSCC 2010 Organization......Page 8
Succinct Discrete Time Approximations of Distributed Hybrid Automata......Page 11
Accurate Hybridization of Nonlinear Systems......Page 21
Compositional Analysis for Linear Control Systems......Page 30
On Integration of Event-based Estimation and Robust MPC in a Feedback Loop......Page 40
From Synchronous Programs to Symbolic Representations of Hybrid Systems......Page 50
A Descent Algorithm for the Optimal Control of Constrained Nonlinear Switched Dynamical Systems......Page 60
Timed Automata with Observers under Energy Constraints......Page 70
Real-Time Scheduling of Mixture-of-Experts Systems with Limited Resources......Page 80
On a Control Algorithm for Time-varying Processor Availability......Page 90
Timed I/O Automata: A Complete Specification Theory for Real-time Systems......Page 99
Receding Horizon Control for Temporal Logic Specifications......Page 109
Synthesis using Approximately Bisimilar Abstractions: State-Feedback Controllers for Safety Specifications......Page 119
Oscillation Analysis of Linearly Coupled Piecewise Affine Systems......Page 129
On Infinity Norms as Lyapunov Functions for Piecewise Affine Systems......Page 139
Identifiability of Discrete-Time Linear Switched Systems......Page 148
Rank Properties of Poincaré Maps for Hybrid Systems with Applications to Bipedal Walking......Page 158
Stealthy Deception Attacks on Water SCADA Systems......Page 168
A Hybrid System Model of Seasonal Snowpack Water Balance......Page 178
Comparison of Overapproximation Methods for Stability Analysis of Networked Control Systems......Page 188
Distributed Kalman Filter Algorithms for Self-localization of Mobile Devices......Page 198
Convergence Results for Ant Routing Algorithms via Stochastic Approximation......Page 207
Monte-Carlo Techniques for Falsification of Temporal Properties of Non-Linear Hybrid Systems......Page 217
Automatic Invariant Generation For Hybrid Systems Using Ideal Fixed Points......Page 227
Safe Compositional Network Sketches: Formal Framework......Page 237
Bayesian Statistical Model Checking with Application to Stateflow/Simulink Verification......Page 248
On the Connections Between PCTL and Dynamic Programming......Page 258
Modeling and Verification of Stochastic Hybrid Systems Using HIOA: A Case Study on DNA Replication......Page 268
A Generating Function Approach to the Stability of Discrete-Time Switched Linear Systems......Page 278
Stabilization of Planar Switched Linear Systems Using Polar Coordinates......Page 288
Amir Pnueli and the Dawn of Hybrid Systems......Page 297
Author Index......Page 300