{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T21:58:33Z","timestamp":1725487113893},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540433217"},{"type":"electronic","value":"9783540458739"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-45873-5_14","type":"book-chapter","created":{"date-parts":[[2007,6,27]],"date-time":"2007-06-27T14:15:58Z","timestamp":1182953758000},"page":"149-163","source":"Crossref","is-referenced-by-count":3,"title":["Hybrid Control Loops, A\/D Maps, and Dynamic Specifications"],"prefix":"10.1007","author":[{"given":"J. M.","family":"Davoren","sequence":"first","affiliation":[]},{"given":"T.","family":"Moor","sequence":"additional","affiliation":[]},{"given":"A.","family":"Nerode","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2002,3,14]]},"reference":[{"key":"14_CR1","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/0304-3975(94)00202-T","volume":"138","author":"R. Alur","year":"1995","unstructured":"R. Alur, C. Courcoubetis, N. Halbwachs, T.A. Henzinger, P.-H. Ho, X. Nicollin, A. Olivero, J. Sifakis, and S. Yovine. The algorithmic analysis of hybrid systems. Theoretical Computer Science, 138:3\u201334, 1995.","journal-title":"Theoretical Computer Science"},{"key":"14_CR2","doi-asserted-by":"crossref","unstructured":"R. Alur, T.A. Henzinger, G. Lafferriere, and G. Pappas. Discrete abstractions of hybrid systems. Proceedings of the IEEE, 88:971\u2013984, July 2000.","DOI":"10.1109\/5.871304"},{"key":"14_CR3","unstructured":"J-P. Aubin and H. Frankowska. Set-Valued Analysis. Birkh\u00e4user, Boston, 1990."},{"key":"14_CR4","unstructured":"J. M. Davoren and T. Moor. Logic-based design and synthesis of controllers for hybrid systems. Technical report, RSISE, Australian National University, July 2000. Submitted for publication."},{"key":"14_CR5","doi-asserted-by":"crossref","unstructured":"J.M. Davoren and A. Nerode. Logics for hybrid systems. Proceedings of the IEEE, 88:985\u20131010, July 2000.","DOI":"10.1109\/5.871305"},{"key":"14_CR6","doi-asserted-by":"crossref","first-page":"564","DOI":"10.1109\/9.664159","volume":"43","author":"B. A. Krogh","year":"1998","unstructured":"B. A. Krogh J. E. R. Cury and T. Niinomi. Synthesis of supervisory controllers for hybrid systems based on approximating automata. IEEE Transactions on Automatic Control, Special issue on hybrid systems, 43:564\u2013568, 1998.","journal-title":"IEEE Transactions on Automatic Control, Special issue on hybrid systems"},{"key":"14_CR7","doi-asserted-by":"crossref","unstructured":"X. Koutsoukos, P. J. Antsaklis, J. A. Stiver, and M. D. Lemmon. Supervisory control of hybrid systems. Proceedings of the IEEE, 88:1026\u20131049, July 2000.","DOI":"10.1109\/5.871307"},{"key":"14_CR8","volume-title":"Topology","author":"K. Kuratowski","year":"1966","unstructured":"K. Kuratowski. Topology, volume 1. Academic Press, New York, 1966."},{"key":"14_CR9","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"433","DOI":"10.1007\/3-540-45351-2_35","volume-title":"Hybrid Systems: Computation and Control (HSCC\u201901)","author":"T. Moor","year":"2001","unstructured":"T. Moor and J. M. Davoren. Robust controller synthesis for hybrid systems using modal logic. In M. D. Di Benedetto and A. Sangiovanni-Vincentelli, editors, Hybrid Systems: Computation and Control (HSCC\u201901), volume 2034 of LNCS, pages 433\u2013446. Springer-Verlag, 2001."},{"key":"14_CR10","doi-asserted-by":"publisher","first-page":"157","DOI":"10.1016\/S0167-6911(99)00061-4","volume":"38","author":"T. Moor","year":"1999","unstructured":"T. Moor and J. Raisch. Supervisory control of hybrid systems within a behavioural framework. Systems and Control Letters, 38:157\u2013166, 1999.","journal-title":"Systems and Control Letters"},{"key":"14_CR11","unstructured":"T. Moor, J. Raisch, and S. D. O\u2019Young. Discrete supervisory control of hybrid systems based on l-complete approximations. in print, scheduled2002."},{"key":"14_CR12","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"297","DOI":"10.1007\/3-540-57318-6_34","volume-title":"Models for hybrid systems: Automata, topologies, controllability, observability","author":"A. Nerode","year":"1993","unstructured":"A. Nerode and W. Kohn. Models for hybrid systems: Automata, topologies, controllability, observability. In R. Grossman et al., editor, Hybrid Systems, LNCS 736, pages 297\u2013316. Springer-Verlag, 1993."},{"key":"14_CR13","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 Transactions on Automatic Control, Special issue on hybrid systems, 43:569\u2013573, 1998.","journal-title":"IEEE Transactions on Automatic Control, Special issue on hybrid systems"},{"key":"14_CR14","doi-asserted-by":"publisher","first-page":"206","DOI":"10.1137\/0325013","volume":"25","author":"P. J. Ramadge","year":"1987","unstructured":"P. J. Ramadge and W. M. Wonham. Supervisory control of a class of discrete event systems.SIAM J. Control and Optimization, 25:206\u2013230, 1987.","journal-title":"SIAM J. Control and Optimization"},{"key":"14_CR15","doi-asserted-by":"crossref","first-page":"81","DOI":"10.1109\/5.21072","volume":"77","author":"P. J. Ramadge","year":"1989","unstructured":"P. J. Ramadge and W. M. Wonham. The control of discrete event systems. Proceedings of the IEEE, 77:81\u201398, 1989.","journal-title":"Proceedings of the IEEE"},{"key":"14_CR16","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"462","DOI":"10.1007\/3-540-60472-3_24","volume-title":"Hybrid Systems II","author":"J. A. Stiver","year":"1995","unstructured":"J. A. Stiver, P. J. Antsaklis, and M. D. Lemmon. Interface and controller design for hybrid systems. In P.J. Antsaklis, W. Kohn, A. Nerode, and S. Sastry, editors, Hybrid Systems II, LNCS 999, pages 462\u2013492. Springer-Verlag, 1995."},{"key":"14_CR17","first-page":"258","volume":"36","author":"J. C. Willems","year":"1991","unstructured":"J. C. Willems. Paradigms and puzzles in the theory of dynamic systems. IEEE Transactions on Automatic Control, 36:258\u2013294, 1991.","journal-title":"IEEE Transactions on Automatic Control"}],"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-45873-5_14","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,1,19]],"date-time":"2019-01-19T01:18:25Z","timestamp":1547860705000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45873-5_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540433217","9783540458739"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/3-540-45873-5_14","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2002]]}}}