{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,22]],"date-time":"2025-10-22T17:40:53Z","timestamp":1761154853809},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540633587"},{"type":"electronic","value":"9783540695233"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1997]]},"DOI":"10.1007\/bfb0031570","type":"book-chapter","created":{"date-parts":[[2005,12,11]],"date-time":"2005-12-11T07:10:54Z","timestamp":1134285054000},"page":"378-404","source":"Crossref","is-referenced-by-count":14,"title":["Hybrid control models of next generation air traffic management"],"prefix":"10.1007","author":[{"given":"C.","family":"Tomlin","sequence":"first","affiliation":[]},{"given":"G.","family":"Pappas","sequence":"additional","affiliation":[]},{"given":"J.","family":"Lygeros","sequence":"additional","affiliation":[]},{"given":"D.","family":"Godbole","sequence":"additional","affiliation":[]},{"given":"S.","family":"Sastry","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,26]]},"reference":[{"issue":"4","key":"19_CR1","doi-asserted-by":"crossref","first-page":"12","DOI":"10.1109\/37.526911","volume":"16","author":"S. Kahne","year":"1996","unstructured":"S. Kahne and I. Frolow, \u201cAir traffic management: Evolution with technology,\u201d IEEE Control Systems Magazine, vol. 16, no. 4, pp. 12\u201321, 1996.","journal-title":"IEEE Control Systems Magazine"},{"key":"19_CR2","unstructured":"H. Erzberger, T. J. Davis, and S. Green, \u201cDesign of center-tracon automation system,\u201d in Proceedings of the AGARD Guidance and Control Syposium on Machine Intelligence in Air Traffic Management, pp. 11.1\u201311.12, 1993."},{"key":"19_CR3","series-title":"tech. rep., UCB\/ERL M96\/38","volume-title":"Conflict resolution for air traffic management: A case study in multi-agent hybrid systems","author":"C. Tomlin","year":"1996","unstructured":"C. Tomlin, G. Pappas, and S. Sastry, \u201cConflict resolution for air traffic management: A case study in multi-agent hybrid systems,\u201d tech. rep., UCB\/ERL M96\/38, Electronics Research Laboratory, University of California, Berkeley, 1996."},{"key":"19_CR4","doi-asserted-by":"crossref","unstructured":"J. Lygeros, C. Tomlin, and S. Sastry, \u201cMultiobjective hybrid controller synthesis,\u201d in Springer-Verlag Proceedings of the International Workshop on Hybrid and Real-Time Systems, (Grenoble), pp. 109\u2013123, 1997.","DOI":"10.1007\/BFb0014720"},{"key":"19_CR5","doi-asserted-by":"crossref","unstructured":"C. Tomlin, J. Lygeros, L. Benvenuti, and S. Sastry, \u201cOutput tracking for a non-minimum phase dynamic CTOL aircraft model,\u201d in Proceedings of IEEE Conference on Decision and Control, (New Orleans, LA), pp. 1867\u20131872, 1995.","DOI":"10.1109\/CDC.1995.480615"},{"key":"19_CR6","series-title":"tech. rep., UCB-ERL Memo M96\/46","volume-title":"Bounded tracking for nonminimum phase nonlinear systems with fast zero dynamics","author":"C. Tomlin","year":"1996","unstructured":"C. Tomlin and S. Sastry, \u201cBounded tracking for nonminimum phase nonlinear systems with fast zero dynamics,\u201d tech. rep., UCB-ERL Memo M96\/46, Electronics Research Laboratory, UC Berkeley, CA 94720, 1996. To appear in the International Journal of Control."},{"key":"19_CR7","doi-asserted-by":"crossref","unstructured":"G. J. Pappas, J. Lygeros, and D. N. Godbole, \u201cStabilization and tracking of feedback linearizable systems under input constraints,\u201d in Proceedings of IEEE Conference on Decision and Control, 1995.","DOI":"10.1109\/CDC.1995.478960"},{"key":"19_CR8","unstructured":"Y.-B. Chen and A. Inselberg, \u201cConflict resolution for air traffic control,\u201d tech. rep., USC-CS-93-543, Computer Science Department, University of Southern California, 1993."},{"key":"19_CR9","doi-asserted-by":"crossref","unstructured":"J. Krozel, T. Mueller, and G. Hunter, \u201cFree flight conflict detection and resolution analysis,\u201d in Proceedings of the American Institute of Aeronautics and Astronautics Guidance Navigation and Control Conference, AIAA-96-3763, 1996.","DOI":"10.2514\/6.1996-3763"},{"key":"19_CR10","doi-asserted-by":"crossref","unstructured":"J. K. Kuchar, A Unified Methodology for the Evaluation of Hazard Alerting Systems. PhD thesis, Massachussets Institute of Technology, 1995.","DOI":"10.1016\/B978-0-08-042370-8.50022-7"},{"key":"19_CR11","doi-asserted-by":"crossref","unstructured":"R. A. Paielli and H. Erzberger, \u201cConflict probability and estimation for free flight,\u201d in Proceedings of the 35th Meeting of the American Institute of Aeronautics and Astronautics, AIAA-97-0001, (Reno), 1997.","DOI":"10.2514\/6.1997-1"},{"key":"19_CR12","unstructured":"Radio Technical Commission for Aeronautics, \u201cMinimum operational performance standards for traffic alert and collision avoidance system (TCAS) airborn equipment,\u201d Tech. Rep. RTCA\/DO-185, RTCA, September 1990. Consolidated Edition."},{"key":"19_CR13","unstructured":"T. Bagar and G. J. Olsder, Dynamic Non-cooperative Game Theory. Academic Press, seconded., 1995."},{"key":"19_CR14","doi-asserted-by":"crossref","unstructured":"J. Lewin, Differential Games. Springer-Verlag, 1994.","DOI":"10.1007\/978-1-4471-2065-0"},{"key":"19_CR15","unstructured":"J. Ko\u0161eck\u00e1, C. Tomlin, G. Pappas, and S. Sastry, \u201cGeneration of conflict resolution maneuvers for air traffic management,\u201d in International Conference on Intelligent Robots and Systems (IR0S), (Grenoble), 1997."},{"key":"19_CR16","series-title":"tech. rep., UCB-ERL Memo M95\/77","volume-title":"A game theoretic approach to hybrid system design","author":"J. Lygeros","year":"1995","unstructured":"J. Lygeros, D. Godbole, and S. Sastry, \u201cA game theoretic approach to hybrid system design,\u201d tech. rep., UCB-ERL Memo M95\/77, Electronics Research Laboratory, University of California, Berkeley, CA 94720, 1995."},{"key":"19_CR17","unstructured":"C. Hynes and L. Sherry, \u201cSynthesis from design requirements of a hybrid system for transport aircraft longitudinal control.\u201d preprint, NASA Ames Research Center, Honeywell Air Transport Division, 1996."},{"key":"19_CR18","unstructured":"C. Tomlin, S. Sastry, and R. Montgomery, \u201cComputing safe sets using the Hamilton-Jacobi equation.\u201d (to be published), 1997."}],"container-title":["Lecture Notes in Computer Science","Hybrid Systems IV"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0031570","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,11]],"date-time":"2020-04-11T13:50:44Z","timestamp":1586613044000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0031570"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997]]},"ISBN":["9783540633587","9783540695233"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/bfb0031570","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1997]]}}}