{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T00:21:25Z","timestamp":1725495685621},"publisher-location":"Berlin, Heidelberg","reference-count":13,"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_39","type":"book-chapter","created":{"date-parts":[[2007,11,13]],"date-time":"2007-11-13T23:27:49Z","timestamp":1194996469000},"page":"487-500","source":"Crossref","is-referenced-by-count":13,"title":["Semi-de1cidable Synthesis for Triangular Hybrid 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":[[2001,3,21]]},"reference":[{"issue":"7","key":"39_CR1","doi-asserted-by":"publisher","first-page":"1011","DOI":"10.1109\/5.871306","volume":"88","author":"E. Asarin","year":"2000","unstructured":"E. Asarin, O. Bournez, T. Dang, O. Maler, and A. Pnueli. Effective controller synthesis of switching controllers for linear systems. Proceedings of the IEEE, 88(7):1011\u20131025, July 2000.","journal-title":"Proceedings of the IEEE"},{"key":"39_CR2","series-title":"Lect Notes Comput Sci","volume-title":"Hybrid Systems: Computation and Control","author":"A. Chutinam","year":"1999","unstructured":"A. Chutinam and B. Krogh. Verification of polyhedral-invariant hybrid automata using polygonal flow pipe approximations. In Hybrid Systems: Computation and Control, volume 1569 of LNCS. Springer Verlag, 1999."},{"key":"39_CR3","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"96","DOI":"10.1007\/3-540-64358-3_34","volume-title":"Hybrid Systems: Computation and Control","author":"T. Dang","year":"1998","unstructured":"T. Dang and O. Maler. Reachability analysis via face lifting. In Hybrid Systems: Computation and Control, volume 1386 of LNCS, pages 96\u2013109. Springer Verlag, Berlin, 1998."},{"key":"39_CR4","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. Laffeerriere","year":"1999","unstructured":"G. Laffeerriere, 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":"39_CR5","doi-asserted-by":"crossref","unstructured":"Z. Li and J.F. Canny, editors. Nonholonomic Motion Planning. Kluwer Academic Publishers, 1993.","DOI":"10.1007\/978-1-4615-3176-0"},{"issue":"3","key":"39_CR6","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":"39_CR7","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"310","DOI":"10.1007\/3-540-46430-1_27","volume-title":"Proceedings of Hybrid Systems: Computation and Control","author":"I. Mitchell","year":"2000","unstructured":"I. Mitchell and C. Tomlin. Level set methods for computation in hybrid systems. In Proceedings of Hybrid Systems: Computation and Control, LNCS 1790, pages 310\u2013323. Springer-Verlag, March 2000."},{"key":"39_CR8","unstructured":"R.M. Murray, Z. Li, and S.S. Sastry. A Mathematical Introduction to Robotic Manipulation. CRC Press, 1994."},{"key":"39_CR9","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"407","DOI":"10.1007\/3-540-46430-1_34","volume-title":"Hybrid Systems: Computation and Control","author":"O. Shakernia","year":"2000","unstructured":"O. Shakernia, G. Pappas, and S. Sastry. Decidable controller synthesis for classes of linear systems. In Hybrid Systems: Computation and Control, LNCS 1790, pages 407\u2013420. Springer-Verlag, March 2000."},{"key":"39_CR10","doi-asserted-by":"crossref","unstructured":"O. Shakernia, G. Pappas, and S. Sastry. Semidecidable controller synthesis for classes of linear hybrid systems. In Proceedings of the 39th IEEE Conference on Decision and Control, Sydney, AU, December 2000.","DOI":"10.1109\/CDC.2000.912129"},{"key":"39_CR11","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":"39_CR12","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-48983-5_22","volume-title":"Proceedings of Hybrid Systems: Computation and Control","author":"C. Tomlin","year":"1999","unstructured":"C. Tomlin, J. Lygeros, and S. Sastry. Computing controllers for nonlinear hybrid systems. In Proceedings of Hybrid Systems: Computation and Control, LNCS 1569. Springer-Verlag, March 1999."},{"issue":"4","key":"39_CR13","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 mutiagent hybrid systems. IEEE Transactions on Automatic Control, 43(4):509\u2013521, April 1998.","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-45351-2_39","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,8,27]],"date-time":"2021-08-27T15:19:07Z","timestamp":1630077547000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45351-2_39"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783540418665","9783540453512"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/3-540-45351-2_39","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2001]]}}}