Hybrid Systems III : Verification and Control. 1st ed. 1996
- 種類:
- 電子ブック
- 責任表示:
- edited by Rajeev Alur, Thomas A. Henzinger, Eduardo D. Sontag
- 出版情報:
- Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996
- 著者名:
- シリーズ名:
- Lecture Notes in Computer Science ; 1066
- ISBN:
- 9783540683346 [3540683348]
- 注記:
- 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 p
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. - ローカル注記:
- 学内専用E-BOOKS (local access only)
類似資料:
|
Springer-Verlag |
Springer Berlin Heidelberg : Imprint: Springer |
|
Springer Berlin Heidelberg : Imprint: Springer | |
|
Springer Berlin Heidelberg : Imprint: Springer |
Springer Berlin Heidelberg : Imprint: Springer |
|
Springer Berlin Heidelberg : Imprint: Springer |
Springer Berlin Heidelberg : Imprint: Springer |
|
Springer Berlin Heidelberg : Imprint: Springer |
Springer Berlin Heidelberg : Imprint: Springer |
|
Springer Berlin Heidelberg : Imprint: Springer |
Springer-Verlag |
