Hybrid Systems III: Verification and Control

A game-theoretic approach to hybrid system design....Pages 1-12
Verifying clocked transition systems....Pages 13-40
Compositional and uniform modelling of hybrid systems....Pages 41-51
Hybrid cc, hybrid automata and program verification....Pages 52-63
Controlled switching diffusions as hybrid processes....Pages 64-75
Hybrid systems: Chattering approximation to relaxed controls....Pages 76-100
Verification of automated vehicle protection systems....Pages 101-113
Extended RTL in the specification and verification of an industrial press....Pages 114-125
Abstract verification of structured dynamical systems....Pages 126-137
Design and evaluation tools for Automated Highway Systems....Pages 138-148
Hybrid control in Sea Traffic Management Systems....Pages 149-160
Verification of hybrid systems: Monotonicity in the AHS control system....Pages 161-172
Examples of stabilization with hybrid feedback....Pages 173-185
General hybrid dynamical systems: Modeling, analysis, and control....Pages 186-200
The residue of model reduction....Pages 201-207
The tool Kronos ....Pages 208-219
Timing analysis in COSPAN....Pages 220-231
UPPAAL — a tool suite for automatic verification of real-time systems....Pages 232-243
Optimal design of hybrid controllers for hybrid process systems....Pages 244-257
On-line fault monitoring of a class of hybrid systems using templates with dynamic time scaling....Pages 258-269
Hierarchical design of a chemical concentration control system....Pages 270-281
Switched bond graphs as front-end to formal verification of hybrid systems....Pages 282-293
Formal specification of stability in hybrid control systems....Pages 294-303
Requirements specifications for hybrid systems....Pages 304-314
Validation of hybrid systems by co-simulation....Pages 315-326
Proofs from temporal hypotheses by symbolic simulation....Pages 327-339
On controlling timed discrete event systems....Pages 340-349
Supervisory control of real-time systems using prioritized synchronization....Pages 350-361
ε-Approximation of differential inclusions....Pages 362-376
Linear phase-portrait approximations for nonlinear hybrid systems....Pages 377-388
Deciding reachability for planar multi-polynomial systems....Pages 389-400
Modeling hybrid dynamical systems....Pages 401-412
Stability of hybrid systems....Pages 413-423
Model and stability of hybrid linear system....Pages 424-435
Interconnected automata and linear systems: A theoretical framework in discrete-time....Pages 436-448
Modelling and verification of automated transit systems, using timed automata, invariants and simulations....Pages 449-463
An invariant based approach to the design of hybrid control systems containing clocks....Pages 464-474
Refinements of approximating automata for synthesis of supervisory controllers for hybrid systems....Pages 475-484
A data intensive computing approach to path planning and mode management for hybrid systems....Pages 485-495
Hybrid I/O automata....Pages 496-510
A formal description of hybrid systems....Pages 511-530
Logics vs. automata: The hybrid case....Pages 531-542
H ∞ gain schedule synthesis of supervisory hybrid control systems....Pages 543-552
A new approach to robust control of hybrid systems....Pages 553-562
A DES approach to control of hybrid dynamical systems....Pages 563-574
Diagnostic model-checking for real-time systems....Pages 575-586
Specification and verification of hybrid dynamic systems with Timed ∀-automata....Pages 587-603
Fischer's protocol revisited: A simple proof using modal constraints....Pages 604-615