{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,19]],"date-time":"2025-03-19T16:46:47Z","timestamp":1742402807516,"version":"3.28.0"},"reference-count":13,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/cdc.2003.1271662","type":"proceedings-article","created":{"date-parts":[[2004,4,23]],"date-time":"2004-04-23T14:38:15Z","timestamp":1082731095000},"page":"3353-3359","source":"Crossref","is-referenced-by-count":5,"title":["Observation of guarded command programs"],"prefix":"10.1109","author":[{"given":"D.","family":"Del Vecchio","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"E.","family":"Klavins","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"13","doi-asserted-by":"crossref","DOI":"10.1109\/CDC.2002.1184923","article-title":"Observability and identifiability of jump linear systems","author":"vidal","year":"2002","journal-title":"IEEE Conference on Decision and Control"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4612-0931-7"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1109\/JSAC.2002.806121"},{"key":"3","doi-asserted-by":"crossref","first-page":"407","DOI":"10.1016\/S0005-1098(98)00178-2","article-title":"Control of systems integrating logic, dynamics and constraints","volume":"35","author":"bemporad","year":"1999","journal-title":"Automatica"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2000.880987"},{"key":"1","doi-asserted-by":"crossref","first-page":"76","DOI":"10.1007\/3-540-45873-5_9","article-title":"Design of observers for hybrid systems","volume":"2289","author":"balluchi","year":"2002","journal-title":"Lecture Notes in Computer Science"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1016\/S0890-5401(03)00067-1"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1145\/360933.360975"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1109\/ACC.2003.1239094"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1093\/imamci\/8.1.45"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1109\/9.654885"},{"key":"9","article-title":"A formal model of a multi-robot control and communication task","author":"klavins","year":"2003","journal-title":"Conference on Decision and Control"},{"key":"8","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-57318-6","article-title":"Hybrid Systems","volume":"736","author":"grossmann","year":"1993","journal-title":"Lecture Notes in Computer Science"}],"event":{"name":"42nd IEEE International Conference on Decision and Control","acronym":"CDC-03","location":"Maui, HI, USA"},"container-title":["42nd IEEE International Conference on Decision and Control (IEEE Cat. No.03CH37475)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/8969\/28456\/01271662.pdf?arnumber=1271662","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,16]],"date-time":"2017-06-16T02:22:56Z","timestamp":1497579776000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1271662\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":13,"URL":"https:\/\/doi.org\/10.1109\/cdc.2003.1271662","relation":{},"subject":[]}}