{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,11]],"date-time":"2026-04-11T02:16:18Z","timestamp":1775873778253,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540418665","type":"print"},{"value":"9783540453512","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2001]]},"DOI":"10.1007\/3-540-45351-2_35","type":"book-chapter","created":{"date-parts":[[2007,11,13]],"date-time":"2007-11-13T18:27:49Z","timestamp":1194978469000},"page":"433-446","source":"Crossref","is-referenced-by-count":17,"title":["Robust Controller Synthesis for Hybrid Systems Using Modal Logic"],"prefix":"10.1007","author":[{"given":"Thomas","family":"Moor","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"J. M.","family":"Davoren","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2001,3,21]]},"reference":[{"key":"35_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":"35_CR2","doi-asserted-by":"publisher","first-page":"971","DOI":"10.1109\/5.871304","volume":"88","author":"R. Alur","year":"2000","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.","journal-title":"Proceedings of the IEEE"},{"key":"35_CR3","unstructured":"B.D.O. Anderson, F. de Bruyne, S. Dey, and K. Wong. Ensuring robustness in hybrid control systems. Technical report, Dept. Systems Engineering, RSISE, Australian National University, April 1999."},{"key":"35_CR4","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"20","DOI":"10.1007\/3-540-46430-1_6","volume-title":"Hybrid Systems: Computation and Control (HSCC\u201900)","author":"E. Asarin","year":"2000","unstructured":"E. Asarin, O. Bournez, T. Dang, and O. Maler. Approximate reachability analysis of piecewise-linear dynamical systems. In N. Lynch and B. Krogh, editors, Hybrid Systems: Computation and Control (HSCC\u201900), LNCS 1790, pages 20\u201331. Springer-Verlag, 2000."},{"key":"35_CR5","doi-asserted-by":"publisher","first-page":"564","DOI":"10.1109\/9.664159","volume":"43","author":"J.E.R. Cury","year":"1998","unstructured":"J.E.R. Cury, B.A. Krogh, and T. Niinomi. Synthesis of supervisory controllers for hybrid systems based on approximating automata. IEEE Transactions on Automatic Control, 43:564\u2013568, 1998.","journal-title":"IEEE Transactions on Automatic Control"},{"key":"35_CR6","unstructured":"J.M. Davoren and T. Moor. Logic-based design and synthesis of controllers for hybrid systems. Technical report, Dept. Systems Engineering, RSISE, Australian National University, July 2000. http:\/\/arp.anu.edu.au\/~davoren\/hybrid-control\/hybrid-control.html , submitted for publication."},{"key":"35_CR7","doi-asserted-by":"publisher","first-page":"985","DOI":"10.1109\/5.871305","volume":"88","author":"J.M. Davoren","year":"2000","unstructured":"J.M. Davoren and A. Nerode. Logics for hybrid systems. Proceedings of the IEEE, 88:985\u20131010, July 2000.","journal-title":"Proceedings of the IEEE"},{"key":"35_CR8","unstructured":"E. Frazzoli, M.A. Dahleh, and E. Feron. Robust hybrid control for autonomous vehicle motion planning. Technical report, LIDS-P-2468, Laboratory for Information and Decision Systems (LIDS), Massachusetts Institute of Technology, May 2000."},{"key":"35_CR9","doi-asserted-by":"crossref","unstructured":"R. Gor\u00e9. Tableaux methods for modal and temporal logics. In M. D\u2019Agostino et al., editors, Handbook of Tableaux Methods, pages 297\u2013396. Kluwer, 1999.","DOI":"10.1007\/978-94-017-1754-0_6"},{"key":"35_CR10","doi-asserted-by":"crossref","unstructured":"C. Horn and P.J. Ramadge. Robustness issues for hybrid systems. In Proceedings of the 34th International Conference on Decision and Control, CDC\u201995, pages 1467\u20131472. IEEE Press, 1995.","DOI":"10.1109\/CDC.1995.480309"},{"key":"35_CR11","unstructured":"H.K. Khalil. Nonlinear Systems. Prentice-Hall, 1996. Second edition."},{"key":"35_CR12","doi-asserted-by":"publisher","first-page":"1026","DOI":"10.1109\/5.871307","volume":"88","author":"X. Koutsoukos","year":"2000","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.","journal-title":"Proceedings of the IEEE"},{"key":"35_CR13","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"202","DOI":"10.1007\/3-540-46430-1_19","volume-title":"Hybrid Systems: Computation and Control (HSCC\u201900)","author":"A.B. Kurzhanski","year":"2000","unstructured":"A.B. Kurzhanski and P. Varaiya. Ellipsoidal techniques for reachability analysis. In N. Lynch and B. Krogh, editors, Hybrid Systems: Computation and Control (HSCC\u201900), LNCS 1790, pages 202\u2013214. Springer-Verlag, 2000."},{"key":"35_CR14","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/PL00009858","volume":"13","author":"G. Lafferriere","year":"2000","unstructured":"G. Lafferriere, G.J. Pappas, and S. Sastry. O-minimal hybrid systems. Mathematics of Control, Signals, and Systems, 13:1\u201321, 2000.","journal-title":"Mathematics of Control, Signals, and Systems"},{"key":"35_CR15","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"137","DOI":"10.1007\/3-540-48983-5_15","volume-title":"Hybrid Systems: Computation and Control (HSCC\u201999)","author":"G. Lafferriere","year":"1999","unstructured":"G. Lafferriere, G.J. Pappas, and S. Yovine. A new class of decidable hybrid systems. In F.W. Vaandrager and J.H. van Schuppen, editors, Hybrid Systems: Computation and Control (HSCC\u201999), LNCS 1569, pages 137\u2013151. Springer-Verlag, 1999."},{"key":"35_CR16","doi-asserted-by":"crossref","unstructured":"T. Moor and J. Raisch. Discrete control of switched linear systems. In Proceedings of the European Control Conference 1999, 1999.","DOI":"10.23919\/ECC.1999.7099846"},{"key":"35_CR17","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":"35_CR18","first-page":"477","volume-title":"Handbook of Logic in Computer Science","author":"C. Stirling","year":"1992","unstructured":"C. Stirling. Modal and temporal logics. In S. Abramsky, D.M. Gabbay, and T. Maibaum, editors, Handbook of Logic in Computer Science, volume 2, pages 477\u2013563. Oxford University Press, Clarendon Press, Oxford, 1992."},{"key":"35_CR19","doi-asserted-by":"publisher","first-page":"949","DOI":"10.1109\/5.871303","volume":"88","author":"C. Tomlin","year":"2000","unstructured":"C. Tomlin, J. Lygeros, and S. Sastry. A game-theoretic approach to controller design for hybrid systems. Proceedings of the IEEE, 88:949\u2013970, July 2000.","journal-title":"Proceedings of the IEEE"},{"key":"35_CR20","unstructured":"F. Wolter. Decision Problems for Combined Modal Logics. Habilitationsschrift. Institut fur Informatik, Universitat Leipzig, 1999."},{"key":"35_CR21","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"256","DOI":"10.1007\/3-540-48983-5_23","volume-title":"Hybrid Systems: Computation and Control (HSCC\u201999)","author":"C.A. Yfoulis","year":"1999","unstructured":"C.A. Yfoulis, A. Muir, P.E. Wellstead, and N.B.O.L. Pettit. Stabilization of orthogonal piecewise linear systems: Robustness analysis and design. In F.W. Vaandrager and J.H. van Schuppen, editors, Hybrid Systems: Computation and Control (HSCC\u201999), LNCS 1569, pages 256\u2013270. Springer-Verlag, 1999."}],"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_35","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,4]],"date-time":"2019-05-04T07:24:34Z","timestamp":1556954674000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45351-2_35"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783540418665","9783540453512"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/3-540-45351-2_35","relation":{},"ISSN":["0302-9743"],"issn-type":[{"value":"0302-9743","type":"print"}],"subject":[],"published":{"date-parts":[[2001]]}}}