Hybrid Systems: Computation and Control: 9th International Workshop, HSCC 2006, Santa Barbara, CA, USA, March 29-31, 2006. Proceedings

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 -