ENGLISH

Hybrid Systems III: Verification and Control

By Thomas A. Henzinger , John Lygeros , Rajeev Alur , Shankar Sastry (auth.) , Datta N. Godbole , Eduardo D. Sontag (eds.)

Book information

Publisher
Springer-Verlag Berlin Heidelberg
Year
1996
ISBN
354061155X, 9783540611554
DOI
10.1007/BFb0020931
LCC
QA76.38 .H94 1996
Open Library ID
OL9061828M
Language
english
Format
DJVU
Filesize
6 MB (6125542 bytes)
Series
Lecture Notes in Computer Science 1066
Edition
1
Pages
619\627
Library
Kolxo3
DPI
300
Time added
2011-01-06 10:13:16
Processor Architectures; Special Purpose and Appli

Description

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.

Similar books