[Lecture Notes in Computer Science] Hybr
โ
Alur, Rajeev; Henzinger, Thomas A.; Sontag, Eduardo D.
๐
Article
๐
1996
๐
Springer Berlin Heidelberg
๐
German
โ 648 KB
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 co