Hybrid Systems: Computation And Control: 9th International Workshop, Hscc 2006, Santa Barbara, Ca, Usa, March 29-31, 2006, Proceedings (lecture Notes In Computer Science)

This book constitutes the refereed proceedings of the 9th International Workshop on Hybrid Systems: Computation and Control, HSCC 2006, held in Santa Barbara, CA, USA in March 2006. The 39 revised papers presented together with the abstracts of 3 invited talks were carefully reviewed and selected from 79 submissions. Among the topics addressed are tools for analysis and verification, control and optimization, modeling, engineering applications, and emerging directions in programming language support and implementation. The papers focus on modeling, analysis, and implementation of dynamic and reactive systems involving both discrete and continuous behaviors. Front Matter....Pages - Motion Coordination for Multi-agent Networks....Pages 1-1 Towards a Third Generation of Control Systems....Pages 2-2 Hybrid Systems—And Everything Else....Pages 3-3 Behavioural Approximations for Restricted Linear Differential Hybrid Automata....Pages 4-18 Bounded Model Checking for GSMP Models of Stochastic Real-Time Systems....Pages 19-33 On the Stability of Zeno Equilibria....Pages 34-48 Reachability Analysis for Controlled Discrete Time Stochastic Hybrid Systems....Pages 49-63 Output-Based Optimal Timing Control of Switched Systems....Pages 64-78 Hybrid Modelling and Control of the Common Rail Injection System....Pages 79-92 Event-Based Model Predictive Control and Verification of Integral Continuous-Time Hybrid Automata....Pages 93-107 Improving Efficiency of Finite Plans by Optimal Choice of Input Sets....Pages 108-122 Optimality Zone Algorithms for Hybrid Systems: Efficient Algorithms for Optimal Location and Control Computation....Pages 123-137 Approximate Reachability Computation for Polynomial Systems....Pages 138-152 A Lattice Theory for Solving Games of Imperfect Information....Pages 153-168 Observability of Hybrid Automata by Abstraction....Pages 169-183 Reconstruction of Switching Thresholds in Piecewise-Affine Models of Genetic Regulatory Networks....Pages 184-199 Decision Problems for the Verification of Real-Time Software....Pages 200-211 Laplacian Sheep: A Hybrid, Stop-Go Policy for Leader-Based Containment Control....Pages 212-226 Optimal Control of Piece-Wise Polynomial Hybrid Systems Using Cylindrical Algebraic Decomposition....Pages 227-241 The Reachability Problem for Uncertain Hybrid Systems Revisited: A Viability Theory Perspective....Pages 242-256 Efficient Computation of Reachable Sets of Linear Time-Invariant Systems with Inputs....Pages 257-271 Verification Using Simulation....Pages 272-286 Reachability Analysis of Large-Scale Affine Systems Using Low-Dimensional Polytopes....Pages 287-301 Simultaneous Optimization of Continuous Control Inputs and Discrete State Waypoints....Pages 302-317 Approximate Abstraction of Stochastic Hybrid Automata....Pages 318-332 A Fully Automated Framework for Control of Linear Systems from LTL Specifications....Pages 333-347 Reachability Analysis of Multi-affine Systems....Pages 348-362 Approximation, Sampling and Voting in Hybrid Computing Systems....Pages 363-376 Computational Methods for Reachability Analysis of Stochastic Hybrid Systems....Pages 377-391 R-Charon, a Modeling Language for Reconfigurable Hybrid Systems....Pages 392-406 Estimation and Conflict Detection in Human Controlled Systems....Pages 407-420 Stability Analysis of Hybrid Systems Via Small-Gain Theorems....Pages 421-435 Stochastic Hybrid Delay Population Dynamics....Pages 436-450 Finite Gain l p Stabilization Is Impossible by Bit-Rate Constrained Feedback....Pages 451-459 Specification and Analysis of Distributed Object-Based Stochastic Hybrid Systems....Pages 460-475 Verifying Average Dwell Time by Solving Optimization Problems....Pages 476-490 Interchange Format for Hybrid Systems: Abstract Semantics....Pages 491-506 Model Checking of Hybrid Systems: From Reachability Towards Stability....Pages 507-521 A Feedback Control Motivation for Generalized Solutions to Hybrid Systems....Pages 522-536 Fixed Point Iteration for Computing the Time Elapse Operator....Pages 537-551 Mixed Initial-Boundary Value Problems for Scalar Conservation Laws: Application to the Modeling of Transportation Networks....Pages 552-567 Beyond Zeno: Get on with It!....Pages 568-582 Back Matter....Pages -

These are the proceedings of the 9th International Workshop on Hybrid Systems: Computation and Control, HSCC 2006, March 2006. 39 revised papers are presented together with the abstracts of 3 invited talks. The focus is on modeling, analysis, and implementation of dynamic and reactive systems involving both discrete and continuous behaviors. Topics addressed include tools for analysis and verification, control and optimization, modeling, engineering applications, and new directions in language support and implementation.