{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,30]],"date-time":"2025-07-30T14:06:02Z","timestamp":1753884362997},"publisher-location":"Berlin, Heidelberg","reference-count":8,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540611554"},{"type":"electronic","value":"9783540683346"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1996]]},"DOI":"10.1007\/bfb0020968","type":"book-chapter","created":{"date-parts":[[2005,11,23]],"date-time":"2005-11-23T08:16:01Z","timestamp":1132733761000},"page":"464-474","source":"Crossref","is-referenced-by-count":4,"title":["An invariant based approach to the design of hybrid control systems containing clocks"],"prefix":"10.1007","author":[{"given":"James A.","family":"Stiver","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Panos J.","family":"Antsaklis","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Michael D.","family":"Lemmon","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,10]]},"reference":[{"key":"37_CR1","unstructured":"P. J. Antsaklis, M. D. Lemmon, and J. A. Stiver, \u201cLearning to be autonomous: Intelligent supervisory control\u201d, In Intelligent Control: Theory and Applications, M. Gupta and N. Sinha, Eds., chapter 2, pp. 28\u201362. IEEE Press, 1996."},{"key":"37_CR2","doi-asserted-by":"crossref","unstructured":"S. Di Gennaro, C. Horn, S. Kulkarni, and P. Ramadge, \u201cReduction of timed hybrid systems\u201d, In Proceedings of the 33rd IEEE Conference on Decision and Control, pp. 4215\u20134220, Lake Buena Vista, FL, December 1994.","DOI":"10.1109\/CDC.1994.411613"},{"key":"37_CR3","doi-asserted-by":"crossref","unstructured":"A. Gollu, A. Puri, and P. Varaiya, \u201cDiscretization of timed automata\u201d, In Proceedings of the 33rd Conference on Decision and Control, pp. 957\u2013960, Lake Buena Vista, FL, December 1994.","DOI":"10.1109\/CDC.1994.410933"},{"key":"37_CR4","doi-asserted-by":"crossref","unstructured":"J. A. Stiver, P. J. Antsaklis, and M. D. Lemmon, \u201cDigital control from a hybrid perspective\u201d, In Proceedings of the 33rd Conference on Decision and Control, pp. 4241\u20134246, Lake Buena Vista, FL, December 1994.","DOI":"10.1109\/CDC.1994.411617"},{"key":"37_CR5","unstructured":"J. A. Stiver, P. J. Antsaklis, and M. D. Lemmon, \u201cA Logical DES Approach to the Design of Hybrid Systems\u201d, Mathematical and Computer Modeling, 1995, To appear."},{"key":"37_CR6","doi-asserted-by":"crossref","unstructured":"J. A. Stiver, P. J. Antsaklis, and M. D. Lemmon, \u201cInterface and controller design for hybrid control systems\u201d, In Hybrid Systems II, P. Antsaklis, W. Kohn, A. Nerode and S. Sastry, Eds., Lecture Notes in Computer Science. Springer-Verlag, 1995, To appear.","DOI":"10.1007\/3-540-60472-3_24"},{"key":"37_CR7","doi-asserted-by":"crossref","unstructured":"J. A. Stiver, P. J. Antsaklis, and M. D. Lemmon, \u201cInterface Design for Hybrid Control Systems\u201d, Technical Report of the ISIS Group (Interdisciplinary Studies of Intelligent Systems) ISIS-95-001, University of Notre Dame, January 1995.","DOI":"10.1007\/3-540-60472-3_24"},{"key":"37_CR8","doi-asserted-by":"crossref","unstructured":"M. Tittus and B. Egardt, \u201cControl-law synthesis for linear hybrid systems\u201d, In Proceedings of the 33rd IEEE Conference on Decision and Control, pp. 961\u2013966, Lake Buena Vista, FL, December 1994.","DOI":"10.1109\/CDC.1994.410931"}],"container-title":["Lecture Notes in Computer Science","Hybrid Systems III"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0020968","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,11]],"date-time":"2020-04-11T04:40:12Z","timestamp":1586580012000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0020968"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996]]},"ISBN":["9783540611554","9783540683346"],"references-count":8,"URL":"https:\/\/doi.org\/10.1007\/bfb0020968","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1996]]}}}