{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,26]],"date-time":"2025-10-26T14:12:25Z","timestamp":1761487945019},"publisher-location":"Berlin, Heidelberg","reference-count":9,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540418665"},{"type":"electronic","value":"9783540453512"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2001]]},"DOI":"10.1007\/3-540-45351-2_22","type":"book-chapter","created":{"date-parts":[[2007,11,13]],"date-time":"2007-11-13T23:27:49Z","timestamp":1194996469000},"page":"247-260","source":"Crossref","is-referenced-by-count":1,"title":["Supervision of Event-Driven Hybrid Systems: Modeling and Synthesis"],"prefix":"10.1007","author":[{"given":"Jos\u00e9 M. E.","family":"Gonz\u00e1lez","sequence":"first","affiliation":[]},{"given":"Antonio E. C.","family":"da Cunha","sequence":"additional","affiliation":[]},{"given":"Jos\u00e9 E. R.","family":"Cury","sequence":"additional","affiliation":[]},{"given":"Bruce H.","family":"Krogh","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2001,3,21]]},"reference":[{"issue":"4","key":"22_CR1","doi-asserted-by":"publisher","first-page":"564","DOI":"10.1109\/9.664159","volume":"43","author":"J.E.R. Cury","year":"1998","unstructured":"Jos\u00e9 E. R. Cury, Bruce H. Krogh, and Toshihiko Niinomi. Synthesis of supervisory controllers for hybrid systems based on approximating automata. IEEE Transactions on Automatic Control, 43(4):564\u2013568, April 1998.","journal-title":"IEEE Transactions on Automatic Control"},{"key":"22_CR2","unstructured":"T. Moor, J. Raisch, and S. D. O\u2019Young. Supervisory control of hybrid systems via l-complete approximations. In WODES\u201998-International Workshop on Discrete Event Systems, pages 426\u2013431, 1998."},{"issue":"4","key":"22_CR3","doi-asserted-by":"publisher","first-page":"569","DOI":"10.1109\/9.664160","volume":"43","author":"J. Raisch","year":"1998","unstructured":"J. Raisch and S. D. O\u2019Young. Discrete approximation and supervisory control of continuous systems. IEEE Trans. on Automatic Control, 43(4):569\u2013573, April 1998.","journal-title":"IEEE Trans. on Automatic Control"},{"issue":"7","key":"22_CR4","doi-asserted-by":"publisher","first-page":"1026","DOI":"10.1109\/5.871307","volume":"88","author":"X.D. Koutsoukos","year":"2000","unstructured":"X.D. Koutsoukos, P.J. Antsaklis, J.A. Stiver, and M.D. Lemmon. Supervisory control of hybrid systems. Proceedings of the IEEE, 88(7):1026\u20131049, July 2000.","journal-title":"Proceedings of the IEEE"},{"key":"22_CR5","doi-asserted-by":"publisher","first-page":"209","DOI":"10.1007\/BF01805563","volume":"1","author":"R.S. Sreenivas","year":"1991","unstructured":"R. S. Sreenivas and B. H. K rogh. On condition\/event systems with discrete state realizations. Discrete Event Dynamic Systems: Theory and Applications, 1:209\u2013236, 1991.","journal-title":"Discrete Event Dynamic Systems: Theory and Applications"},{"key":"22_CR6","volume-title":"Aspectos de S-ie-260-1ntese de Supervisores para Sistemas a Eventos Discretos e Sistemas H-ie-260-2bridos","author":"J. M. Eyzell Gonz\u00e1lez","year":"2000","unstructured":"Jose Miguel Eyzell Gonz\u00e1lez. Aspectos de S-ie-260-1ntese de Supervisores para Sistemas a Eventos Discretos e Sistemas H-ie-260-2bridos. Tese (doutorado), Programa de P\u00f3s Gradua\u00e7 \u00e3o em Engenharia El\u00e9trica, Universidade Federal de Santa Catarina, Florian\u00f3polis, Brasil, Abril 2000."},{"key":"22_CR7","doi-asserted-by":"crossref","unstructured":"A. Chutinan and B.H. Krogh. Infinite-state transition system verification using approximate quotient transition systems. To appear IEEE Transactions on Automatic Control., 2000.","DOI":"10.1109\/ACC.2000.879489"},{"issue":"3","key":"22_CR8","first-page":"161","volume":"38","author":"J.E.R. Cury","year":"1999","unstructured":"J. E. R. Cury and B. H. Krogh. Synthesizing supervisory controllers for hybrid systems. Journal of the Society of Instrument and Control Engineers, 38(3):161\u2013168, March 1999.","journal-title":"Journal of the Society of Instrument and Control Engineers"},{"key":"22_CR9","unstructured":"D. Raymond and W. Derick. Grail: A c++ library for automata and expressions. Journal of Symbolic Computation, 11, 1995."}],"container-title":["Lecture Notes in Computer Science","Hybrid Systems: Computation and Control"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45351-2_22","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,14]],"date-time":"2023-05-14T18:24:03Z","timestamp":1684088643000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45351-2_22"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783540418665","9783540453512"],"references-count":9,"URL":"https:\/\/doi.org\/10.1007\/3-540-45351-2_22","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2001]]}}}