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

Cover ......Page 1 Title Page ......Page 2 Publication details ......Page 3 Preface......Page 4 Contents ......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