Towards Component Based Design of Hybrid Systems: Safety and Stability

Damm, Werner; Dierks, Henning; Oehlerking, Jens; Pnueli, Amir

doi:10.1007/978-3-642-13754-9_6

Verlagslink DOI:	10.1007/978-3-642-13754-9_6
Titel:	Towards Component Based Design of Hybrid Systems: Safety and Stability
Sprache:	Englisch
Autorenschaft:	Damm, Werner Dierks, Henning Oehlerking, Jens Pnueli, Amir
Herausgeber*In:	Manna, Zohar Peled, Doron A.
Schlagwörter:	Hybrid System; Lyapunov Function; Basic Component; Parallel Composition; Transition Composition
Erscheinungsdatum:	2010
Verlag:	Springer
Buchtitel:	Time for verification : essays in memory of Amir Pnueli
Zeitschrift oder Schriftenreihe:	Lecture notes in computer science
Zeitschriftenband:	6200
Anfangsseite:	96
Endseite:	143
URI:	http://hdl.handle.net/20.500.12738/2791
ISBN:	978-3-642-13754-9 978-3-642-13753-2 3-642-13753-9
ISSN:	0302-9743
Einrichtung:	Department Informations- und Elektrotechnik Fakultät Technik und Informatik
Dokumenttyp:	Kapitel (Buch)
Enthalten in den Sammlungen:	Publications without full text