Hybrid Systems III: Verification and Control / Edition 1

Hybrid Systems III: Verification and Control / Edition 1

by Rajeev Alur
     
 

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

See more details below

Overview

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.

Product Details

ISBN-13:
9783540611554
Publisher:
Springer Berlin Heidelberg
Publication date:
04/30/1996
Series:
Lecture Notes in Computer Science Series, #1066
Edition description:
1996
Pages:
619
Product dimensions:
9.21(w) x 6.14(h) x 1.34(d)

Table of Contents

A game-theoretic approach to hybrid system design1
Verifying clocked transition systems13
Compositional and uniform modeling of hybrid systems41
Hybrid cc, hybrid automata, and program verification52
Controlled switching diffusions as hybrid processes64
Hybrid systems: chattering approximation to relaxed controls76
Verification of automated vehicle protection systems101
Extended RTL in the specification and verification of an industrial press114
Abstract verification of structured dynamical systems126
Design and evaluation tools for automated highway systems138
Hybrid control in sea traffic management systems149
Verification of hybrid systems: monotonicity in the AHS control system161
Examples of stabilization with hybrid feedback173
General hybrid dynamical systems: modeling, analysis, and control186
The residue of model reduction201
The tool KRONOS208
Timing analysis in COSPAN220
UPPAAL: a tool suite for automatic verification of real-time systems232
Optimal design of hybrid controllers for hybrid process systems244
On-line fault monitoring of a class of hybrid systems using templates with dynamic time scaling258
Hierarchical design of a chemical concentration control system270
Switched bond graphs as front-end to formal verification of hybrid systems282
Formal specification of stability in hybrid control systems294
Requirements specifications for hybrid systems304
Validation of hybrid systems by co-simulation315
Proofs from temporal hypotheses by symbolic simulation327
On controlling timed discrete event systems340
Supervisory control of real-time systems using prioritized synchronization350
[epsilon]-approximation of differential inclusions362
Linear phase-portrait approximations for nonlinear hybrid systems377
Deciding reachability for planar multi-polynomial systems389
Modeling hybrid dynamical systems401
Stability of hybrid systems413
Model and stability of hybrid linear systems424
Interconnected automata and linear systems: a theoretical framework in discrete time436
Modeling and verification of automated transit systems, using timed automata, invariants, and simulations449
An invariant-based approach to the design of hybrid control systems containing clocks464
Refinements of approximating automata for synthesis of supervisory controllers for hybrid systems475
A data-intensive computing approach to path planning and mode management for hybrid systems485
Hybrid I/O automata496
A formal description of hybrid systems511
Logics vs. automata: the hybrid case531
H[actual symbol not reproducible] gain schedule synthesis of supervisory hybrid control systems543
A new approach to robust control of hybrid systems553
A DES approach to control of hybrid dynamical systems563
Diagnostic model-checking for real-time systems575
Specification and verification of hybrid dynamic systems with timed [actual symbol not reproducible]-automata587
Fischer's protocol revisited: a simple proof using modal constraints604

Read More

Customer Reviews

Average Review:

Write a Review

and post it to your social network

     

Most Helpful Customer Reviews

See all customer reviews >