ENGLISH

Hybrid Systems II

By Anil Nerode , Amir Pnueli (auth.) , Panos Antsaklis , Wolf Kohn , Shankar Sastry (eds.) , Eugene Asarin , Oded Maler

Book information

Publisher
Springer-Verlag Berlin Heidelberg
Year
1995
ISBN
3540604723, 9783540604723
DOI
10.1007/3-540-60472-3
LCC
QA76.38 .H93 1995
Open Library ID
OL806144M
Language
english
Format
DJVU
Filesize
6 MB (6770333 bytes)
Series
Lecture Notes in Computer Science 999
Edition
1
Pages
575\577
Topic
Computers
Library
Kolxo3
DPI
300
Time added
2011-01-06 10:13:16
Processor Architectures; Special Purpose and Appli

Description

This book documents the scientific outcome of the Third International Workshop on Hybrid Systems, held in Ithaca, NY, USA, in October 1994. It presents a selection of carefully reviewed and revised full papers chosen from the workshop contribution and is the successor to LNCS 736, the seminal "Hybrid Systems" volume edited by Grossman, Nerode, Ravn, and Rischel. Hybrid systems are models for networks of digital and continuous devices, in which digital control programs sense and supervise continuous and discrete plants governed by differential or difference equations. The investigation of hybrid systems is creating a new and fascinating discipline bridging mathematics, computer science, and control engineering.

Similar books