{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,11]],"date-time":"2026-06-11T15:01:32Z","timestamp":1781190092445,"version":"3.54.1"},"reference-count":62,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2007]]},"DOI":"10.1109\/cdc.2007.4435053","type":"proceedings-article","created":{"date-parts":[[2008,1,28]],"date-time":"2008-01-28T16:06:38Z","timestamp":1201536398000},"page":"156-170","source":"Crossref","is-referenced-by-count":1,"title":["Partial order techniques for the analysis and synthesis of hybrid and embedded systems"],"prefix":"10.1109","author":[{"given":"Domitilla","family":"Del Vecchio","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"35","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2007.895849"},{"key":"36","first-page":"171","article-title":"temporal logic verification using simulation","volume":"4202","author":"fainekos","year":"2006","journal-title":"ser LNCS"},{"key":"33","doi-asserted-by":"publisher","DOI":"10.1145\/990010.990011"},{"key":"34","doi-asserted-by":"publisher","DOI":"10.1007\/11940197_12"},{"key":"39","article-title":"operational semantics of hybrid systems","volume":"lncs 3414","author":"lee","year":"0","journal-title":"Hybrid Systems Computation and Control (HSCC)"},{"key":"37","article-title":"formal verification of hybrid systems using model order reduction and decomposition","author":"han","year":"2005"},{"key":"38","first-page":"4","article-title":"verifying hybrid systems","author":"manna","year":"1992","journal-title":"Hybrid Systems"},{"key":"43","author":"davey","year":"1990","journal-title":"Introduction to Lattices and Order"},{"key":"42","year":"0"},{"key":"41","author":"taylor","year":"1999","journal-title":"Practical Foundations of Mathematics"},{"key":"40","first-page":"9","article-title":"evolving algebras 1993: lipari guide","author":"gurevich","year":"1994","journal-title":"Specification and Validation Methods"},{"key":"22","doi-asserted-by":"publisher","DOI":"10.1137\/S0363012992226636"},{"key":"23","first-page":"3353","article-title":"observation of guarded command programs","author":"del vecchio","year":"2003","journal-title":"IEEE Conf Decision and Control"},{"key":"24","doi-asserted-by":"crossref","first-page":"271","DOI":"10.1016\/j.automatica.2005.10.006","article-title":"discrete state estimators for systems on a lattice","volume":"42","author":"del vecchio","year":"2006","journal-title":"Automatica"},{"key":"25","first-page":"3215","article-title":"discrete state estimation for nondeterministic hybrid systems on a partial order","author":"del vecchio","year":"2004","journal-title":"IEEE Conf Decision and Control"},{"key":"26","first-page":"1","article-title":"existence of discrete state estimators for hybrid systems on a lattice","author":"del vecchio","year":"2004","journal-title":"IEEE Conf Decision and Control"},{"key":"27","doi-asserted-by":"publisher","DOI":"10.1016\/0168-0072(91)90065-T"},{"key":"28","first-page":"661","article-title":"the roboflag game","author":"d'andrea","year":"2003","journal-title":"American Control Conference"},{"key":"29","doi-asserted-by":"crossref","first-page":"159","DOI":"10.1007\/978-3-540-71493-4_15","article-title":"a partial order approach to discrete dynamic feedback in a class of hybrid systems","volume":"4416","author":"del vecchio","year":"2007","journal-title":"Lecture Notes in Computer Science"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1145\/585265.585270"},{"key":"2","article-title":"formal modeling and analysis of timed systems, 4th international conference, formats 2006, paris, france, september 25-27, 2006, proceedings","volume":"4202","year":"2006","journal-title":"ser Lecture Notes in Computer Science"},{"key":"1","article-title":"hybrid systems: computation and control, 9th international workshop, hscc 2006, santa barbara, ca, usa, march 29-31, 2006, proceedings","volume":"3927","year":"2006","journal-title":"ser Lecture Notes in Computer Science"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1007\/11730637_14"},{"key":"30","doi-asserted-by":"publisher","DOI":"10.1109\/SFCS.1977.32"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1007\/11874683_19"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.2000.855763"},{"key":"32","author":"clarke","year":"1999","journal-title":"Model checking"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.2001.932504"},{"key":"31","author":"fainekos","year":"2005","journal-title":"An introduction to multi-valued model checking"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45873-5_9"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2000.880987"},{"key":"59","doi-asserted-by":"publisher","DOI":"10.1109\/5.871303"},{"key":"58","article-title":"the status of vehicle-to-vehicle communication as a means of improvement crash prevention performance","author":"carter","year":"2005","journal-title":"NHTSA Tech Rep"},{"key":"57","article-title":"development of precise gps\/ins\/wheel speed sensor\/yaw rate sensor integrated vehicular positioning system","author":"gao","year":"2006","journal-title":"Proc ION Nat Tech Meeting"},{"key":"56","article-title":"integration of dgps with a low cost mems-based inertial measurement unit (imu) for land vehicle navigation application","author":"godha","year":"2005","journal-title":"Proc ION GNSS"},{"key":"19","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2003.1273026"},{"key":"55","article-title":"2006 traffic safety annual assessment - a preview","year":"2007","journal-title":"DOT HS 810 791 National Center for Statistics and Analysis (NCSA) of NHTSA"},{"key":"17","year":"0"},{"key":"18","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.1986.267551"},{"key":"15","first-page":"5777","article-title":"on observability and detectability of continuous-time linear switching systems","author":"santis","year":"2003","journal-title":"IEEE Conf Decision and Control"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2004.1428968"},{"key":"13","doi-asserted-by":"crossref","first-page":"3614","DOI":"10.1109\/CDC.2002.1184923","article-title":"observability and identifiability of jump linear systems","author":"vidal","year":"2002","journal-title":"IEEE Conf Decision and Control"},{"key":"14","doi-asserted-by":"crossref","first-page":"526","DOI":"10.1007\/3-540-36580-X_38","article-title":"observability of linear hybrid systems","volume":"2623","author":"vidal","year":"2003","journal-title":"Lecture Notes in Computer Science"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45351-2_5"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1109\/ACC.2003.1243744"},{"key":"21","doi-asserted-by":"publisher","DOI":"10.1093\/imamci\/8.1.45"},{"key":"20","doi-asserted-by":"publisher","DOI":"10.1109\/9.57018"},{"key":"62","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2007.4435034"},{"key":"60","doi-asserted-by":"publisher","DOI":"10.1016\/S0304-3975(99)00038-9"},{"key":"61","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.1996.561342"},{"key":"49","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(88)90030-8"},{"key":"48","doi-asserted-by":"crossref","first-page":"331","DOI":"10.1007\/3-540-19020-1_17","article-title":"metric spaces as models for real-time concurrency","author":"reed","year":"1988","journal-title":"3rd Workshop on Mathematical Foundations of Programming Language Semantics"},{"key":"45","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/3054.001.0001","author":"winskel","year":"1993","journal-title":"The Formal Semantics of Programming Languages"},{"key":"44","article-title":"the semantics of a simple language for parallel programming","author":"kahn","year":"1974","journal-title":"Proc of the IFIP Congress 74"},{"key":"47","doi-asserted-by":"publisher","DOI":"10.1109\/43.736561"},{"key":"46","author":"stoy","year":"1977","journal-title":"Denotational Semantics"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2003.1272764"},{"key":"51","doi-asserted-by":"publisher","DOI":"10.1023\/A:1018998524196"},{"key":"52","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(80)90045-6"},{"key":"53","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(94)00046-8"},{"key":"54","doi-asserted-by":"publisher","DOI":"10.1016\/S0166-8641(97)00140-5"},{"key":"50","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-57208-2_27"}],"event":{"name":"2007 46th IEEE Conference on Decision and Control","location":"New Orleans, LA, USA","start":{"date-parts":[[2007,12,12]]},"end":{"date-parts":[[2007,12,14]]}},"container-title":["2007 46th IEEE Conference on Decision and Control"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/4433999\/4434000\/04435053.pdf?arnumber=4435053","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,6,11]],"date-time":"2026-06-11T14:19:32Z","timestamp":1781187572000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/4435053\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007]]},"references-count":62,"URL":"https:\/\/doi.org\/10.1109\/cdc.2007.4435053","relation":{},"subject":[],"published":{"date-parts":[[2007]]}}}