Hybrid Systems: Computation and Control: 8th International Workshop, HSCC 2005, Zurich, Switzerland, March 9-11, 2005, Proceedings (Lecture Notes in Computer Science, 3414)

This book constitutes the refereed proceedings of the 8th International Workshop on Hybrid Systems: Computation and Control, HSCC 2005, held in Zurich, Switzerland in March 2005. The 40 revised full papers presented together with 2 invited papers and the abstract of an invited talk were carefully reviewed and selected from 91 submissions. The papers focus on modeling, analysis, and implementation of dynamic and reactive systems involving both discrete and continuous behaviors. 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. Front Matter....Pages - Coordinated Control for Highly Reconfigurable Systems....Pages 1-24 Operational Semantics of Hybrid Systems....Pages 25-53 SOS Methods for Semi-algebraic Games and Optimization....Pages 54-54 The Discrete Time Behavior of Lazy Linear Hybrid Automata....Pages 55-69 Perturbed Timed Automata....Pages 70-85 A Homology Theory for Hybrid Systems: Hybrid Homology....Pages 86-102 Observability of Switched Linear Systems in Continuous Time....Pages 103-117 Controller Synthesis on Non-uniform and Uncertain Discrete–Time Domains....Pages 118-133 Qualitative Analysis and Verification of Hybrid Models of Genetic Regulatory Networks: Nutritional Stress Response in Escherichia coli ....Pages 134-150 Optimal Control of Discrete Hybrid Stochastic Automata....Pages 151-167 Hybrid Decentralized Control of Large Scale Systems....Pages 168-183 On the Stabilisation of Switching Electrical Power Converters....Pages 184-197 Bisimulation for General Stochastic Hybrid Systems....Pages 198-214 Position and Force Control of Nonsmooth Lagrangian Dynamical Systems Without Friction....Pages 215-225 Existence of Cascade Discrete-Continuous State Estimators for Systems on a Partial Order....Pages 226-241 Refining Abstractions of Hybrid Systems Using Counterexample Fragments....Pages 242-257 PHAVer: Algorithmic Verification of Hybrid Systems Past HyTech....Pages 258-273 Direct Torque Control for Induction Motor Drives: A Model Predictive Control Approach Based on Feasibility....Pages 274-290 Reachability of Uncertain Linear Systems Using Zonotopes....Pages 291-305 Safety Verification of Controlled Advanced Life Support System Using Barrier Certificates....Pages 306-321 Polynomial Stochastic Hybrid Systems....Pages 322-338 Non-uniqueness in Reverse Time of Hybrid System Trajectories....Pages 339-353 Comparison of Four Procedures for the Identification of Hybrid Systems....Pages 354-369 An Ontology-Based Approach to Heterogeneous Verification of Embedded Control Systems....Pages 370-385 Mode-Automata Based Methodology for Scade....Pages 386-401 Taylor Approximation for Hybrid Systems....Pages 402-416 Infinity Norms as Lyapunov Functions for Model Predictive Control of Constrained PWA Systems....Pages 417-432 Air-Traffic Control in Approach Sectors: Simulation Examples and Optimisation....Pages 433-448 Identification of Deterministic Switched ARX Systems via Identification of Algebraic Varieties....Pages 449-465 Learning Multi-modal Control Programs....Pages 466-479 A Toolbox of Hamilton-Jacobi Solvers for Analysis of Nondeterministic Continuous and Hybrid Systems....Pages 480-494 On Transfinite Hybrid Automata....Pages 495-510 Design of Optimal Autonomous Switching Circuits to Suppress Mechanical Vibration....Pages 511-525 Interchange Formats for Hybrid Systems: Review and Proposal....Pages 526-541 Primal–Dual Tests for Safety and Reachability....Pages 542-556 Adjoint-Based Optimal Control of the Expected Exit Time for Stochastic Hybrid Systems....Pages 557-572 Safety Verification of Hybrid Systems by Constraint Propagation Based Abstraction Refinement....Pages 573-589 Generating Polynomial Invariants for Hybrid Systems....Pages 590-605 Modeling, Optimization and Computation for Software Verification....Pages 606-622 Bisimulation for Communicating Piecewise Deterministic Markov Processes (CPDPs)....Pages 623-639 Sensor/Actuator Abstractions for Symbolic Embedded Control Design....Pages 640-654 Modeling and Control of Networked Control Systems with Random Delays....Pages 655-666 Controllability Implies Stabilizability for Discrete-Time Switched Linear Systems....Pages 667-682 Back Matter....Pages -

This book constitutes the refereed proceedings of the 8th International Workshop on Hybrid Systems: Computation and Control, HSCC 2005, held in Zurich, Switzerland in March 2005.

The 40 revised full papers presented together with 2 invited papers and the abstract of an invited talk were carefully reviewed and selected from 91 submissions. The papers focus on modeling, analysis, and implementation of dynamic and reactive systems involving both discrete and continuous behaviors. 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 remarkable drop in the cost of embedded computing as well as sensing and actuation hardware is creating an explosion in applications for embedded software.