Hybrid Systems III: Verification and Control / Edition 1

Hybrid Systems III: Verification and Control / Edition 1

by Rajeev Alur
     
 

ISBN-10: 354061155X

ISBN-13: 9783540611554

Pub. Date: 04/30/1996

Publisher: Springer Berlin Heidelberg

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

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:
6.10(w) x 9.25(h) x 0.05(d)

Customer Reviews

Average Review:

Write a Review

and post it to your social network

     

Most Helpful Customer Reviews

See all customer reviews >