Übersicht			Auf mobile öffnen

Lieferstatus:	i.d.R. innert 5-10 Tagen versandfertig
Veröffentlichung:	April 1996
Genre:	Naturwissensch., Medizin, Technik
	Automata / Computer / Datenverarbeitung / Anwendungen / Wissenschaften / DigitalControlTechnology / DigitaleSteuerungstechnologie / Dynamisches System / FormaleMethoden / formalmethods / formalspecification / formalverification / HybrideSysteme / hybridsystems / Modeling / Real-time / Rechnerarchitektur und Logik-Entwurf / Software Engineering / Steuerung (elektronisch) / System / Systemanalyse und -design / systemscontrol / Theoretische Informatik / Verification mehr...
ISBN:	9783540611554
EAN-Code:	9783540611554
Verlag:	Springer
Einband:	Kartoniert
Sprache:	English
Dimensionen:	H 235 mm / B 155 mm / D 34 mm
Gewicht:	949 gr
Seiten:	636
Bewertung:	Titel bewerten / Meinung schreiben

Inhalt:

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.