Hybrid Systems: Computation and Control, 2005 8th International Workshop, HSCC 2005, Zurich, Switzerland, March 9-11, 2005, Proceedings Theoretical Computer Science and General Issues Series

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.

Invited Papers.- Coordinated Control for Highly Reconfigurable Systems.- Operational Semantics of Hybrid Systems.- SOS Methods for Semi-algebraic Games and Optimization.- Regular Papers.- The Discrete Time Behavior of Lazy Linear Hybrid Automata.- Perturbed Timed Automata.- A Homology Theory for Hybrid Systems: Hybrid Homology.- Observability of Switched Linear Systems in Continuous Time.- Controller Synthesis on Non-uniform and Uncertain Discrete–Time Domains.- Qualitative Analysis and Verification of Hybrid Models of Genetic Regulatory Networks: Nutritional Stress Response in Escherichia coli.- Optimal Control of Discrete Hybrid Stochastic Automata.- Hybrid Decentralized Control of Large Scale Systems.- On the Stabilisation of Switching Electrical Power Converters.- Bisimulation for General Stochastic Hybrid Systems.- Position and Force Control of Nonsmooth Lagrangian Dynamical Systems Without Friction.- Existence of Cascade Discrete-Continuous State Estimators for Systems on a Partial Order.- Refining Abstractions of Hybrid Systems Using Counterexample Fragments.- PHAVer: Algorithmic Verification of Hybrid Systems Past HyTech.- Direct Torque Control for Induction Motor Drives: A Model Predictive Control Approach Based on Feasibility.- Reachability of Uncertain Linear Systems Using Zonotopes.- Safety Verification of Controlled Advanced Life Support System Using Barrier Certificates.- Polynomial Stochastic Hybrid Systems.- Non-uniqueness in Reverse Time of Hybrid System Trajectories.- Comparison of Four Procedures for the Identification of Hybrid Systems.- An Ontology-Based Approach to Heterogeneous Verification of Embedded Control Systems.- Mode-Automata Based Methodology for Scade.- Taylor Approximation for Hybrid Systems.- Infinity Norms as Lyapunov Functions forModel Predictive Control of Constrained PWA Systems.- Air-Traffic Control in Approach Sectors: Simulation Examples and Optimisation.- Identification of Deterministic Switched ARX Systems via Identification of Algebraic Varieties.- Learning Multi-modal Control Programs.- A Toolbox of Hamilton-Jacobi Solvers for Analysis of Nondeterministic Continuous and Hybrid Systems.- On Transfinite Hybrid Automata.- Design of Optimal Autonomous Switching Circuits to Suppress Mechanical Vibration.- Interchange Formats for Hybrid Systems: Review and Proposal.- Primal–Dual Tests for Safety and Reachability.- Adjoint-Based Optimal Control of the Expected Exit Time for Stochastic Hybrid Systems.- Safety Verification of Hybrid Systems by Constraint Propagation Based Abstraction Refinement.- Generating Polynomial Invariants for Hybrid Systems.- Modeling, Optimization and Computation for Software Verification.- Bisimulation for Communicating Piecewise Deterministic Markov Processes (CPDPs).- Sensor/Actuator Abstractions for Symbolic Embedded Control Design.- Modeling and Control of Networked Control Systems with Random Delays.- Controllability Implies Stabilizability for Discrete-Time Switched Linear Systems.