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.
Author(s): Francesco Bullo (auth.), João P. Hespanha, Ashish Tiwari (eds.)
Series: Lecture Notes in Computer Science 3927 : Theoretical Computer Science and General Issues
Edition: 1
Publisher: Springer-Verlag Berlin Heidelberg
Year: 2006
Language: English
Pages: 584
Tags: Special Purpose and Application-Based Systems; Processor Architectures; Logics and Meanings of Programs; Software Engineering; Computation by Abstract Devices; Simulation and Modeling
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 -
