Hybrid Systems III: Verification and Control (Paperback, 1996)

A game-theoretic approach to hybrid system design.- Verifying clocked transition systems.- Compositional and uniform modelling of hybrid systems.- Hybrid cc, hybrid automata and program verification.- Controlled switching diffusions as hybrid processes.- Hybrid systems: Chattering approximation to relaxed controls.- Verification of automated vehicle protection systems.- Extended RTL in the specification and verification of an industrial press.- Abstract verification of structured dynamical systems.- Design and evaluation tools for Automated Highway Systems.- Hybrid control in Sea Traffic Management Systems.- Verification of hybrid systems: Monotonicity in the AHS control system.- Examples of stabilization with hybrid feedback.- General hybrid dynamical systems: Modeling, analysis, and control.- The residue of model reduction.- The tool Kronos.- Timing analysis in COSPAN.- UPPAAL - a tool suite for automatic verification of real-time systems.- Optimal design of hybrid controllers for hybrid process systems.- On-line fault monitoring of a class of hybrid systems using templates with dynamic time scaling.- Hierarchical design of a chemical concentration control system.- Switched bond graphs as front-end to formal verification of hybrid systems.- Formal specification of stability in hybrid control systems.- Requirements specifications for hybrid systems.- Validation of hybrid systems by co-simulation.- Proofs from temporal hypotheses by symbolic simulation.- On controlling timed discrete event systems.- Supervisory control of real-time systems using prioritized synchronization.- ?-Approximation of differential inclusions.- Linear phase-portrait approximations for nonlinear hybrid systems.- Deciding reachability for planar multi-polynomial systems.- Modeling hybrid dynamical systems.- Stability of hybrid systems.- Model and stability of hybrid linear system.- Interconnected automata and linear systems: A theoretical framework in discrete-time.- Modelling and verification of automated transit systems, using timed automata, invariants and simulations.- An invariant based approach to the design of hybrid control systems containing clocks.- Refinements of approximating automata for synthesis of supervisory controllers for hybrid systems.- A data intensive computing approach to path planning and mode management for hybrid systems.- Hybrid I/O automata.- A formal description of hybrid systems.- Logics vs. automata: The hybrid case.- H? gain schedule synthesis of supervisory hybrid control systems.- A new approach to robust control of hybrid systems.- A DES approach to control of hybrid dynamical systems.- Diagnostic model-checking for real-time systems.- Specification and verification of hybrid dynamic systems with Timed ?-automata.- Fischer's protocol revisited: A simple proof using modal constraints.