Hybrid systems III : verification and control /

"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 scienc...

Full description

Bibliographic Details
Corporate Authors:	SpringerLink (Online service), DIMACS/SYCON Workshop on Verification and Control of Hybrid Systems
Other Authors:	Alur, Rajeev, 1966-, Henzinger, T. A. (Thomas A.), Sontag, Eduardo D.
Format:	Conference Proceeding eBook
Language:	English
Published:	Berlin ; New York : Springer, [1996]
Series:	Lecture notes in computer science ; 1066.
Subjects:	Hybrid computers > Congresses. Digital control systems > Congresses. stabilité. commande hybride. contrôle processus. automate. spécification système. système linéaire. système temps réel. vérification. système dynamique hybride. système hybride. Digital control systems. Hybrid computers. Hybride computers. Calculateurs hybrides. Commande numérique. Electronic books. Conference proceedings. Electronic resources (Books)
Online Access:	Connect to the full text of this electronic book

Internet

Connect to the full text of this electronic book

Remote Storage

Holdings details from Remote Storage
Call Number	Status	Get It
Call Number:		QA76.38 .H93 1996

QA76.38 .H93 1996	Available