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

DC Element	Wert	Sprache
dc.contributor.author	Damm, Werner	-
dc.contributor.author	Dierks, Henning	-
dc.contributor.author	Oehlerking, Jens	-
dc.contributor.author	Pnueli, Amir	-
dc.date.accessioned	2020-08-26T12:09:09Z	-
dc.date.available	2020-08-26T12:09:09Z	-
dc.date.issued	2010	-
dc.identifier.isbn	978-3-642-13754-9	en_US
dc.identifier.isbn	978-3-642-13753-2	en_US
dc.identifier.isbn	3-642-13753-9	en_US
dc.identifier.issn	0302-9743	en_US
dc.identifier.uri	http://hdl.handle.net/20.500.12738/2791	-
dc.language.iso	en	en_US
dc.publisher	Springer	en_US
dc.relation.ispartof	Lecture notes in computer science	en_US
dc.relation.ispartofseries	Lecture notes in computer science
dc.subject	Hybrid System	en_US
dc.subject	Lyapunov Function	en_US
dc.subject	Basic Component	en_US
dc.subject	Parallel Composition	en_US
dc.subject	Transition Composition	en_US
dc.subject.ddc	600: Technik	en_US
dc.title	Towards Component Based Design of Hybrid Systems: Safety and Stability	en
dc.type	inBook	en_US
local.contributorPerson.editor	Manna, Zohar	-
local.contributorPerson.editor	Peled, Doron A.	-
tuhh.container.endpage	143	en_US
tuhh.container.startpage	96	en_US
tuhh.container.volume	6200	en_US
tuhh.oai.show	true	en_US
tuhh.publication.institute	Department Informations- und Elektrotechnik	en_US
tuhh.publication.institute	Fakultät Technik und Informatik	en_US
tuhh.publisher.doi	10.1007/978-3-642-13754-9_6	-
tuhh.type.opus	InBuch (Kapitel / Teil einer Monographie)	-
dc.type.casrai	Book Chapter	-
dc.type.dini	bookPart	-
dc.type.driver	bookPart	-
dc.type.status	info:eu-repo/semantics/publishedVersion	en_US
dcterms.DCMIType	Text	-
tuhh.book.title	Time for verification : essays in memory of Amir Pnueli	en_US
item.creatorGND	Damm, Werner	-
item.creatorGND	Dierks, Henning	-
item.creatorGND	Oehlerking, Jens	-
item.creatorGND	Pnueli, Amir	-
item.fulltext	No Fulltext	-
item.creatorOrcid	Damm, Werner	-
item.creatorOrcid	Dierks, Henning	-
item.creatorOrcid	Oehlerking, Jens	-
item.creatorOrcid	Pnueli, Amir	-
item.grantfulltext	none	-
item.cerifentitytype	Publications	-
item.languageiso639-1	en	-
item.openairecristype	http://purl.org/coar/resource_type/c_3248	-
item.openairetype	inBook	-
crisitem.author.dept	Department Informations- und Elektrotechnik	-
crisitem.author.parentorg	Fakultät Technik und Informatik	-
Enthalten in den Sammlungen:	Publications without full text