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.
General
Is the information for this product incomplete, wrong or inappropriate?
Let us know about it.
Does this product have an incorrect or missing image?
Send us a new image.
Is this product missing categories?
Add more categories.
Review This Product
No reviews yet - be the first to create one!