{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T23:32:55Z","timestamp":1725492775088},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540441571"},{"type":"electronic","value":"9783540457329"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-45732-1_22","type":"book-chapter","created":{"date-parts":[[2007,10,11]],"date-time":"2007-10-11T00:38:56Z","timestamp":1192063136000},"page":"224-235","source":"Crossref","is-referenced-by-count":1,"title":["Checking Safe Trajectories of Aircraft Using Hybrid Automata"],"prefix":"10.1007","author":[{"given":"\u00cdtalo Romani","family":"de Oliveira","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Paulo S\u00e9rgio","family":"Cugnasca","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2002,9,18]]},"reference":[{"key":"22_CR1","unstructured":"Bonif\u00e1cio, A. L.: Verifica\u00e7\u00e3o e S\u00edntese de Sistemas H\u00edbridos, MSc. Dissertation, Instituto de Computa\u00e7\u00e3o Unicamp, 2000."},{"key":"22_CR2","series-title":"Lect Notes Comput Sci","volume-title":"Synthesizing Controllers for Non-linear Hybrid Systems","author":"C. Tomlin","year":"1998","unstructured":"Tomlin, C.; Lygeros, J.; Sastry, S.: Synthesizing Controllers for Non-linear Hybrid Systems. LNCS 1386, Springer-Verlag, 1998."},{"key":"22_CR3","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-48983-5_22","volume-title":"Computing Controllers for Non-linear Hybrid Systems","author":"C. Tomlin","year":"1999","unstructured":"Tomlin, C.; Lygeros, J.; Sastry S.: Computing Controllers for Non-linear Hybrid Systems. LNCS 1569, Springer-Verlag, 1999."},{"key":"22_CR4","series-title":"Lect Notes Comput Sci","volume-title":"Hybrid Control in Sea Traffic Management Systems","author":"J. M. GodHavn","year":"1996","unstructured":"GodHavn, J. M.; Lauvdal, T.; Egeland, O.: Hybrid Control in Sea Traffic Management Systems. LNCS 1066, Springer-Verlag, 1996."},{"key":"22_CR5","series-title":"Lect Notes Comput Sci","volume-title":"A: Strings of Vehicles: Modelling and Safety Conditions","author":"J. Lygeros","year":"1998","unstructured":"Lygeros, J.; Lynch, N. A: Strings of Vehicles: Modelling and Safety Conditions. LNCS 1386, Springer-Verlag, 1998."},{"key":"22_CR6","series-title":"Lect Notes Comput Sci","volume-title":"High-Level Modelling and analysis of an Air-Traffic Management System","author":"N. Lynch","year":"1999","unstructured":"Lynch, N.: High-Level Modelling and analysis of an Air-Traffic Management System. LNCS 1569, Springer-Verlag, 1999."},{"key":"22_CR7","series-title":"Lect Notes Comput Sci","volume-title":"An Approach to the Verification of the-TRACON Automation System","author":"J. Lygeros","year":"1998","unstructured":"Lygeros, J., Pappas, G. J.; Sastry, S.: An Approach to the Verification of the-TRACON Automation System. LNCS, Springer-Verlag, 1998."},{"key":"22_CR8","series-title":"Lect Notes Comput Sci","volume-title":"Path Planning and Flight Controller Scheduling for an Autonomous Helicopter","author":"M. Egerstedt","year":"1999","unstructured":"Egerstedt, M., Koo, T. J., Hoffmann, F., Sastry, S.: Path Planning and Flight Controller Scheduling for an Autonomous Helicopter. LNCS 1569, Springer-Verlag, 1999."},{"key":"22_CR9","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"209","DOI":"10.1007\/3-540-57318-6_30","volume-title":"Hybrid Systems","author":"R. Alur","year":"1993","unstructured":"Alur, R., Courcoubetis, C., Henzinger, T.A., Ho, P.-H.: Hybrid automata: an algorithmic approach to the specification and verification of hybrid systems. In R.L. Grossman, A. Nerode, A.P. Ravn, and H. Rischel, editors, Hybrid Systems, Lecture Notes in Computer Science 736, pages 209\u2013229. Springer-Verlag, 1993."},{"issue":"3","key":"22_CR10","doi-asserted-by":"publisher","first-page":"2","DOI":"10.1109\/32.489079","volume":"22","author":"R. Alur","year":"1996","unstructured":"Alur, R., Henzinger, T.A., Ho, P.-H. Automatic symbolic verification of embedded systems. In Proceedings of the 14th Annual Real-time Systems Symposium, pages 2\u201311. IEEE Computer Society Press, 1993. Full version appears in IEEE Transactions on Software Engineering, 22(3): 181-201, 1996.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"22_CR11","doi-asserted-by":"crossref","unstructured":"Henzinger, T. A., Ho, P.-H., Wong-Toi, H.: HyTech: the next generation. In Proceedings of the 16th Annual Real-time Systems Symposium, pages 56\u201365. IEEE Computer Society Press, 1995.","DOI":"10.1109\/REAL.1995.495196"},{"key":"22_CR12","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"41","DOI":"10.1007\/3-540-60630-0_3","volume-title":"TACAS 95: Tools and Algorithms for the Construction and Analysis of Systems","author":"T. A. Henzinger","year":"1995","unstructured":"Henzinger, T. A., Ho, P.-H., Wong-Toi, H.: A user guide to HyTech. In E. Brinksma, W.R. Cleaveland, K.G. Larsen, T. Margaria, and B. Steen, editors, TACAS 95: Tools and Algorithms for the Construction and Analysis of Systems, Lecture Notes in Computer Science 1019, pages 41\u201371. Springer-Verlag, 1995."},{"issue":"2","key":"22_CR13","doi-asserted-by":"publisher","first-page":"193","DOI":"10.1006\/inco.1994.1045","volume":"111","author":"T. A. Henzinger","year":"1994","unstructured":"Henzinger, T. A., Nicollin, X., Sifakis, J., and Yovine, S. Symbolic model checking for real-time systems. Information and Computation, 111(2):193\u2013244, 1994.","journal-title":"Information and Computation"},{"key":"22_CR14","series-title":"Lect Notes Comput Sci","volume-title":"Hybrid Systems III","author":"T. A. Henzinger","year":"1995","unstructured":"Henzinger, T. A., Wong-Toi, H.: Linear phase-portrait approximations for non-linear hybrid systems. In R. Alur and T.A. Henzinger, editors, Hybrid Systems III, Lecture Notes in Computer Science. Springer-Verlag, 1995."}],"container-title":["Lecture Notes in Computer Science","Computer Safety, Reliability and Security"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45732-1_22","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,24]],"date-time":"2019-02-24T04:49:33Z","timestamp":1550983773000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45732-1_22"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540441571","9783540457329"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/3-540-45732-1_22","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2002]]}}}