Hybrid Systems: Computation and Control

Minimalilty of Finite Automata Representation in Hybrid Systems Control.- Hybrid Control and Verification of a Pulsed Welding Process.- On Self-triggered Full-Information H-Infinity Controllers.- Impulse Differential Inclusions Driven by Discrete Measures.- CEGAR Based Bounded Model Checking of Discrete Time Hybrid Systems.- Solving Coverage Problems with Embedded Graph Grammars.- Comparing Forward and Backward Reachability as Tools for Safety Analysis.- Approximation of the Joint Spectral Radius of a Set of Matrices Using Sum of Squares.- Metrics and Topology for Nonlinear and Hybrid Systems.- The Image Computation Problem in Hybrid Systems Model Checking.- A New Hybrid State Estimator for Systems with Limited Mode Changes.- Ant Colony and Genetic Algorithm for Constrained Predictive Control of Power Systems.- Stabilization of Limit Cycles of Discretely Controlled Continuous Systems by Controlling Switching Surfaces.- Approximate Simulation Relations and Finite Abstractions of Quantized Control Systems.- Finite State Controllers for Stabilizing Switched Systems with Binary Sensors.- Safety Verification of an Aircraft Landing Protocol: A Refinement Approach.- Rate Admission Control for Hard Real-Time Task Scheduling.- Foundations of a Compositional Interchange Format for Hybrid Systems.- Automata Based Interfaces for Control and Scheduling.- Modeling and Optimal Control of Hybrid Rigidbody Mechanical Systems.- Short Papers.- The Concept of Deadlock and Livelock in Hybrid Control Systems.- Reachability Algorithm for Biological Piecewise-Affine Hybrid Systems.- Necessary Optimality Conditions for a Class of Hybrid Optimal Control Problems.- Optimal Switches in Multi-inventory Systems.- Viability-Based Computations of Solutions to the Hamilton-Jacobi-Bellman Equation.- A Method for the Design of Optimal Switching Surfaces for Autonomous Hybrid Systems.- A Hybrid Bellman Equation for Bimodal Systems.- Networks of Hybrid Systems: Connections Faults Modelling and Detection.- Switching-Based Lyapunov Function and the Stabilization of a Class of Non-holonomic Systems.- Composing Semi-algebraic O-Minimal Automata.- A Hybrid Model for Subliminal Air Traffic Control.- On Bicontinuous Bisimulation and the Preservation of Stability.- Efficient Simulation of Component-Based Hybrid Models Represented as Hybrid Bond Graphs.- Diagnosability Verification for Hybrid Automata.- Piecewise Constant Feedback Control of Piecewise Affine Gene Network Models.- Hybrid Models for Gene Regulatory Networks: The Case of lac Operon in E. Coli.- Reachability Analysis of a Switched Buffer Network.- Composition of Dynamical Systems for Estimation of Human Body Dynamics.- Computation in One-Dimensional Piecewise Maps.- Toward Flexible Scheduling of Real-Time Control Tasks: Reviewing Basic Control Models.- Invertibility and Flatness of Switched Linear Discrete-Time Systems.- Trace-Based Semantics for Probabilistic Timed I/O Automata.- Asymptotic Stability of Switched Higher Order Laplacians.- Qualitative Analysis of Nonlinear Biochemical Networks with Piecewise-Affine Functions.- Guided Randomized Simulation.- Controller Parameters Selection Through Bifurcation Analysis in a Piecewise-Smooth System.- Fully Automated Stability Verification for Piecewise Affine Systems.- Differential Logic for Reasoning About Hybrid Systems.- A Sound and Complete Proof Rule for Region Stability of Hybrid Systems.- Switch Detection in Genetic Regulatory Networks.- Safety Analysis of Sugar Cataract Development Using Stochastic Hybrid Systems.- Case Studies in Event-Driven Control.- Hybrid Estimation for Stochastic Piecewise Linear Systems.- On-Line Optimization of Switched-Mode Hybrid Dynamical Systems.- State Nullification of Switched Systems by Linear Output Feedback.- Fault Accommodation for Hybrid Systems with Continuous and Discrete Faults.- A Heuristic Predictive Logic Controller Applied to Hybrid Solar Air Conditioning Plant.- Distributed Hybrid Control for Multiple-Pursuer Multiple-Evader Games.- A Controller Design Method Under Infrequent, Asynchronous Sensing.