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

Publisher DOI:	10.1007/978-3-642-13754-9_6
Title:	Towards Component Based Design of Hybrid Systems: Safety and Stability
Language:	English
Authors:	Damm, Werner Dierks, Henning Oehlerking, Jens Pnueli, Amir
Editor:	Manna, Zohar Peled, Doron A.
Keywords:	Hybrid System; Lyapunov Function; Basic Component; Parallel Composition; Transition Composition
Issue Date:	2010
Publisher:	Springer
Book title:	Time for verification : essays in memory of Amir Pnueli
Journal or Series Name:	Lecture notes in computer science
Volume:	6200
Startpage:	96
Endpage:	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
Institute:	Department Informations- und Elektrotechnik Fakultät Technik und Informatik
Type:	Chapter (Book)
Appears in Collections:	Publications without full text