Ebook: Hybrid Systems III: Verification and Control

This reference book documents the scientific outcome of the DIMACS/SYCON Workshop on Verification and Control of Hybrid Systems, held at Rutgers University in New Brunswick, NJ, in October 1995.
A hybrid system consists of digital devices that interact with analog environments. Computer science contributes expertise on the analog aspects of this emerging field of interdisciplinary research and design. The 48 revised full papers included were strictly refereed; they present the state of the art in this dynamic field with contributions by leading experts. Also available are the predecessor volumes published in the same series as LNCS 999 and LNCS 736.

---

This reference book documents the scientific outcome of the DIMACS/SYCON Workshop on Verification and Control of Hybrid Systems, held at Rutgers University in New Brunswick, NJ, in October 1995.
A hybrid system consists of digital devices that interact with analog environments. Computer science contributes expertise on the analog aspects of this emerging field of interdisciplinary research and design. The 48 revised full papers included were strictly refereed; they present the state of the art in this dynamic field with contributions by leading experts. Also available are the predecessor volumes published in the same series as LNCS 999 and LNCS 736.

---

This reference book documents the scientific outcome of the DIMACS/SYCON Workshop on Verification and Control of Hybrid Systems, held at Rutgers University in New Brunswick, NJ, in October 1995.
A hybrid system consists of digital devices that interact with analog environments. Computer science contributes expertise on the analog aspects of this emerging field of interdisciplinary research and design. The 48 revised full papers included were strictly refereed; they present the state of the art in this dynamic field with contributions by leading experts. Also available are the predecessor volumes published in the same series as LNCS 999 and LNCS 736.
Content:
Front Matter....Pages -
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
Timing analysis in COSPAN....Pages 208-219
UPPAAL — a tool suite for automatic verification of real-time systems....Pages 220-231
Optimal design of hybrid controllers for hybrid process systems....Pages 232-243
On-line fault monitoring of a class of hybrid systems using templates with dynamic time scaling....Pages 244-257
Hierarchical design of a chemical concentration control system....Pages 258-269
Switched bond graphs as front-end to formal verification of hybrid systems....Pages 270-281
Formal specification of stability in hybrid control systems....Pages 282-293
Requirements specifications for hybrid systems....Pages 294-303
Validation of hybrid systems by co-simulation....Pages 304-314
Proofs from temporal hypotheses by symbolic simulation....Pages 315-326
On controlling timed discrete event systems....Pages 327-339
Supervisory control of real-time systems using prioritized synchronization....Pages 340-349
?-Approximation of differential inclusions....Pages 350-361
Linear phase-portrait approximations for nonlinear hybrid systems....Pages 362-376
Deciding reachability for planar multi-polynomial systems....Pages 377-388
Modeling hybrid dynamical systems....Pages 389-400
Stability of hybrid systems....Pages 401-412
Model and stability of hybrid linear system....Pages 413-423
Interconnected automata and linear systems: A theoretical framework in discrete-time....Pages 424-435
Modelling and verification of automated transit systems, using timed automata, invariants and simulations....Pages 436-448
An invariant based approach to the design of hybrid control systems containing clocks....Pages 449-463
Refinements of approximating automata for synthesis of supervisory controllers for hybrid systems....Pages 464-474
A data intensive computing approach to path planning and mode management for hybrid systems....Pages 475-484
Hybrid I/O automata....Pages 485-495
A formal description of hybrid systems....Pages 496-510
Logics vs. automata: The hybrid case....Pages 511-530
H? gain schedule synthesis of supervisory hybrid control systems....Pages 531-542
A new approach to robust control of hybrid systems....Pages 543-552
A DES approach to control of hybrid dynamical systems....Pages 553-562
Diagnostic model-checking for real-time systems....Pages 563-574
Specification and verification of hybrid dynamic systems with Timed ?-automata....Pages 575-586
Fischer's protocol revisited: A simple proof using modal constraints....Pages 587-603
Back Matter....Pages 604-615
....Pages -