{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,4]],"date-time":"2025-07-04T09:45:41Z","timestamp":1751622341026},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540672593"},{"type":"electronic","value":"9783540464303"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2000]]},"DOI":"10.1007\/3-540-46430-1_34","type":"book-chapter","created":{"date-parts":[[2007,10,27]],"date-time":"2007-10-27T08:18:49Z","timestamp":1193473129000},"page":"407-420","source":"Crossref","is-referenced-by-count":17,"title":["Decidable Controller Synthesis for Classes of Linear Systems"],"prefix":"10.1007","author":[{"given":"Omid","family":"Shakernia","sequence":"first","affiliation":[]},{"given":"George J.","family":"Pappas","sequence":"additional","affiliation":[]},{"given":"Shankar","family":"Sastry","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2002,2,1]]},"reference":[{"key":"34_CR1","series-title":"Lect Notes Comput Sci","volume-title":"Hybrid Systems II","author":"E. Asarin","year":"1995","unstructured":"E. Asarin, O. Maler, and A. Pnueli. Symbolic controller synthesis for discrete and timed systems. In P. Antsaklis, W. Kohn, A. Nerode, and S. Sastry, editors, Hybrid Systems II, volume 999 of Lecture Notes in Computer Science. Springer-Verlag, 1995."},{"key":"34_CR2","unstructured":"T. Ba\u015far and G.J. Olsder. Dynamic Noncooperative Game Theory. Academic Press, 2nd edition, 1995."},{"key":"34_CR3","unstructured":"A. Church. Logic, arithmetic, and automata. In Proceedings of the International Congress of Mathematics, pages 23\u201335, 1962."},{"key":"34_CR4","doi-asserted-by":"publisher","first-page":"299","DOI":"10.1016\/S0747-7171(08)80152-6","volume":"12","author":"G.E. Collins","year":"1991","unstructured":"G.E. Collins and H. Hong. Partial cylindrical algebraic decomposition for quantifier elimination. Journal of Symbolic Computation, 12:299\u2013328, September 1991.","journal-title":"Journal of Symbolic Computation"},{"issue":"2","key":"34_CR5","doi-asserted-by":"publisher","first-page":"2","DOI":"10.1145\/261320.261324","volume":"31","author":"A. Dolzman","year":"1997","unstructured":"A. Dolzman and T. Sturm. REDLOG: Computer algebra meets computer logic. ACM SIGSAM Bulletin, 31(2):2\u20139, June 1997.","journal-title":"ACM SIGSAM Bulletin"},{"key":"34_CR6","unstructured":"D.E. Kirk. Optimal Control Theory, An Introduction. Prentice Hall, 1970."},{"key":"34_CR7","doi-asserted-by":"crossref","unstructured":"G. Lafferriere, G. J. Pappas, and S. Sastry. O-minimal hybrid systems. Mathematics of Control, Signals, and Systems. To appear.","DOI":"10.1007\/PL00009858"},{"key":"34_CR8","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","author":"G. Lafferriere","year":"1999","unstructured":"G. Lafferriere, G. J. Pappas, and S. Yovine. A new class of decidable hybrid systems. In Hybrid Systems: Computation and Control, volume 1569 of Lecture Notes in Computer Science, pages 137\u2013151. Springer Verlag, 1999."},{"key":"34_CR9","first-page":"7","volume":"E","author":"G. Lafferriere","year":"1999","unstructured":"G. Lafferriere, G. J. Pappas, and Sergio Yovine. Reachability computation for linear hybrid systems. In Proceedings of the 14th IFAC World Congress, volume E, pages 7\u201312, Beijing, P.R. China, July 1999.","journal-title":"Proceedings of the 14th IFAC World Congress"},{"key":"34_CR10","doi-asserted-by":"crossref","unstructured":"J. Lewin. Differential Games. Springer Verlag, 1994.","DOI":"10.1007\/978-1-4471-2065-0"},{"issue":"4","key":"34_CR11","doi-asserted-by":"publisher","first-page":"522","DOI":"10.1109\/9.664155","volume":"43","author":"J. Lygeros","year":"1998","unstructured":"J. Lygeros, D.N. Godbole, and S. Sastry. Verified hybrid controllers for automated vehicles. IEEE Transactions on Automatic Control, 43(4):522\u2013539, April 1998.","journal-title":"IEEE Transactions on Automatic Control"},{"issue":"3","key":"34_CR12","doi-asserted-by":"publisher","first-page":"349","DOI":"10.1016\/S0005-1098(98)00193-9","volume":"35","author":"J. Lygeros","year":"1999","unstructured":"J. Lygeros, C. Tomlin, and S.S. Sastry. Controllers for reachability specifications for hybrid systems. Automatica, 35(3):349\u2013370, March 1999.","journal-title":"Automatica"},{"key":"34_CR13","unstructured":"L.S. Pontryagin, V. Boltyanskii, R. Gamkrelidze, and E. Mischenko. The Mathematical Theory of Optimal Processes. John Wiley & Sons, 1962."},{"key":"34_CR14","doi-asserted-by":"crossref","unstructured":"A. Tarski. A decision method for elementary algebra and geometry. University of California Press, second edition, 1951.","DOI":"10.1525\/9780520348097"},{"key":"34_CR15","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/3-540-60275-5","volume-title":"Proceedings of STACS 95","author":"W. Thomas","year":"1995","unstructured":"W. Thomas. On the synthesis of strategies in infinite games. In Ernst W. Mayr and Claude Puech, editors, Proceedings of STACS 95, Volume 900 of LNCS, pages 1\u201313. Springer Verlag, Munich, 1995."},{"issue":"4","key":"34_CR16","doi-asserted-by":"publisher","first-page":"509","DOI":"10.1109\/9.664154","volume":"43","author":"C. Tomlin","year":"1998","unstructured":"C. Tomlin, G. J. Pappas, and S. Sastry. Conflict resolution for air traffic management: A study in muti-agent hybrid systems. IEEE Transactions on Automatic Control, 43(4):509\u2013521, April 1998.","journal-title":"IEEE Transactions on Automatic Control"},{"key":"34_CR17","doi-asserted-by":"crossref","unstructured":"L. van den Dries. Tame Topology and o-minimal structures. Cambridge University Press, 1998.","DOI":"10.1017\/CBO9780511525919"},{"key":"34_CR18","doi-asserted-by":"crossref","unstructured":"H. Wong-Toi. The synthesis of controllers for linear hybrid automata. In Proceedings of the 36th IEEE Conference on Decision and Control, San Diego, CA, December 1997.","DOI":"10.1109\/CDC.1997.649708"}],"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-46430-1_34","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,8,26]],"date-time":"2021-08-26T09:40:17Z","timestamp":1629970817000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-46430-1_34"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000]]},"ISBN":["9783540672593","9783540464303"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/3-540-46430-1_34","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2000]]}}}