Conflict resolution for air traffic management: a study in multiagent hybrid systems
暂无分享,去创建一个
[1] R. Isaacs. Differential Games: A Mathematical Theory with Applications to Warfare and Pursuit, Control and Optimization , 1999 .
[2] T. Margaria,et al. Tools and Algorithms for the Construction and Analysis of Systems , 1998, Lecture Notes in Computer Science.
[3] H. Wong-Toi,et al. The synthesis of controllers for linear hybrid automata , 1997, Proceedings of the 36th IEEE Conference on Decision and Control.
[4] K. S. Lindsay,et al. Assessment of field trials, algorithmic performance, and benefits of the User Request Evaluation Tool (URET) conflict probe , 1997, 16th DASC. AIAA/IEEE Digital Avionics Systems Conference. Reflections to the Future. Proceedings.
[5] S. Shankar Sastry,et al. Generation of conflict resolution manoeuvres for air traffic management , 1997, Proceedings of the 1997 IEEE/RSJ International Conference on Intelligent Robot and Systems. Innovative Robotics for Real-World Applications. IROS '97.
[6] Yiyuan Zhao,et al. Deterministic resolution of two aircraft conflict in free flight , 1997 .
[7] T. Perry. In search of the future of air traffic control , 1997 .
[8] John Lygeros,et al. Multiobjective Hybrid Controller Synthesis , 1997, HART.
[9] Feng Lin,et al. Control Synthesis for a Class of Hybrid Systems Subject to Configuration-Based Safety Constraints , 1997, HART.
[10] Heinz Erzberger,et al. Conflict probability estimation for free flight , 1997 .
[11] John Lygeros,et al. A verified hybrid controller for automated vehicles , 1996, Proceedings of 35th IEEE Conference on Decision and Control.
[12] S. Kahne,et al. Air traffic management: evolution with technology , 1996 .
[13] Tysen Mueller,et al. Free flight conflict detection and resolution analysis , 1996 .
[14] Thomas A. Henzinger,et al. The theory of hybrid automata , 1996, Proceedings 11th Annual IEEE Symposium on Logic in Computer Science.
[15] Stavros Tripakis,et al. The Tool KRONOS , 1996, Hybrid Systems.
[16] James A. Sethian,et al. Theory, algorithms, and applications of level set methods for propagating interfaces , 1996, Acta Numerica.
[17] Henny B. Sipma,et al. STeP: The Stanford Temporal Prover (Educational Release) User''s Manual , 1995 .
[18] Nancy A. Lynch,et al. Hybrid I/O automata , 1995, Inf. Comput..
[19] Thomas A. Henzinger,et al. A User Guide to HyTech , 1995, TACAS.
[20] Joseph Sifakis,et al. On the Synthesis of Discrete Controllers for Timed Systems (An Extended Abstract) , 1995, STACS.
[21] Thomas A. Henzinger,et al. The Algorithmic Analysis of Hybrid Systems , 1995, Theor. Comput. Sci..
[22] Akash Deshpande,et al. Control of hybrid systems , 1994 .
[23] Pravin Varaiya,et al. Decidability of Hybrid Systems with Rectangular Differential Inclusion , 1994, CAV.
[24] Rajeev Alur,et al. A Theory of Timed Automata , 1994, Theor. Comput. Sci..
[25] Heinz Erzberger,et al. Design of Center-TRACON Automation System , 1993 .
[26] L. Tavernini. Differential automata and their discrete simulators , 1987 .
[27] James K. Kuchar,et al. Prototype Conflict Alerting Logic for Free Flight , 1997 .
[28] Shankar,et al. Generation of Con ict Resolution Maneuvers for Air Tra cManagement , 1997 .
[29] S. Shankar Sastry,et al. Towards Continuous Abstractions of Dynamical and Control Systems , 1996, Hybrid Systems.
[30] S. Sastry,et al. Hybrid Control Models of Next Generarion AIr Traffic Management , 1996, Hybrid Systems.
[31] J. Lygeros. Hierarchical, Hybrid Control of Large Scale Systems , 1996 .
[32] Zohar Manna,et al. Temporal Verification of Reactive Systems , 1995, Springer New York.
[33] Thomas A. Henzinger,et al. Hybrid Systems III , 1995, Lecture Notes in Computer Science.
[34] Zohar Manna,et al. Temporal verification of reactive systems - safety , 1995 .
[35] Steve Green,et al. CONFLICT-FREE TRAJECTORY PLANNING FOR AIR TRAFFIC CONTROL AUTOMATION. , 1994 .
[36] Panos J. Antsaklis,et al. Hybrid Systems II , 1994, Lecture Notes in Computer Science.
[37] Roger W. Brockett,et al. Hybrid Models for Motion Control Systems , 1993 .
[38] Panos J. Antsaklis,et al. Event Identification and Intelligent Hybrid Control , 1992, Hybrid Systems.
[39] Anil Nerode,et al. Models for Hybrid Systems: Automata, Topologies, Controllability, Observability , 1992, Hybrid Systems.
[40] Jozef Hooman,et al. A Compositional Approach to the Design of Hybrid Systems , 1992, Hybrid Systems.
[41] W. Harman. TCAS: A system for preventing midair collisions , 1989 .