-
1
-
-
0001700496
-
A review of conflict detection and resolution modeling methods
-
Kuchar, J. K., and Yang, L. C., "A Review of Conflict Detection and Resolution Modeling Methods," IEEE Transactions on Intelligent Transportation Systems, Special Issue on Air Traffic Control--Part I, Vol. 1, No. 4, 2000, pp. 179-189.
-
(2000)
IEEE Transactions on Intelligent Transportation Systems, Special Issue on Air Traffic Control--Part I
, vol.1
, Issue.4
, pp. 179-189
-
-
Kuchar, J.K.1
Yang, L.C.2
-
2
-
-
0031345419
-
A next generation architecture for air traffic management systems
-
IEEE Publ., Piscataway, NJ
-
Pappas, G.J., Tomlin, C., Lygeros, J., Godbole, D., and Sastry, S., "A Next Generation Architecture for Air Traffic Management Systems," Proceedings of the 36th IEEE Conference on Decision and Control, Vol. 3, IEEE Publ., Piscataway, NJ, 1997, pp. 2405-2410.
-
(1997)
Proceedings of the 36th IEEE Conference on Decision and Control
, vol.3
, pp. 2405-2410
-
-
Pappas, G.J.1
Tomlin, C.2
Lygeros, J.3
Godbole, D.4
Sastry, S.5
-
3
-
-
0000274688
-
A game theoretic approach to controller design for hybrid systems
-
Tomlin, C., Lygeros, J., and Sastry, S., "A Game Theoretic Approach to Controller Design for Hybrid Systems," Proceedings of the IEEE, Vol. 88, No. 7, 2000, pp. 949-970.
-
(2000)
Proceedings of the IEEE
, vol.88
, Issue.7
, pp. 949-970
-
-
Tomlin, C.1
Lygeros, J.2
Sastry, S.3
-
4
-
-
0032050862
-
Conflict resolution for air traffic management: A study in multi-agent hybrid systems
-
Tomlin, C., Pappas, G. J., and Sastry, S., "Conflict Resolution for Air Traffic Management: A Study in Multi-Agent Hybrid Systems," IEEE Transactions on Automatic Control, Vol. 43, No. 4, 1998, pp. 509-521.
-
(1998)
IEEE Transactions on Automatic Control
, vol.43
, Issue.4
, pp. 509-521
-
-
Tomlin, C.1
Pappas, G.J.2
Sastry, S.3
-
5
-
-
18544398883
-
Computing provably safe aircraft to aircraft spacing for closely spaced parallel approaches
-
IEEE Publ., Piscataway, NJ
-
Teo, R., and Tomlin, C., "Computing Provably Safe Aircraft to Aircraft Spacing for Closely Spaced Parallel Approaches," Proceedings of the 19th Digital Avionics Systems Conference (DASC00), Vol. 1, IEEE Publ., Piscataway, NJ, 2000, pp. 2D2/1-9.
-
(2000)
Proceedings of the 19th Digital Avionics Systems Conference (DASC00)
, vol.1
-
-
Teo, R.1
Tomlin, C.2
-
6
-
-
84949191654
-
Air traffic conflict resolution by genetic algorithms
-
Medioni, F., Durand, N., and Alliot, J. M., "Air Traffic Conflict Resolution by Genetic Algorithms," Artificial Evolution, European Conference (AE 95), Springer-Verlag, Berlin, 1995, pp. 370-383.
-
Artificial Evolution, European Conference (AE 95), Springer-Verlag, Berlin, 1995
, pp. 370-383
-
-
Medioni, F.1
Durand, N.2
Alliot, J.M.3
-
7
-
-
0034818818
-
Resolution of conflicts involving many aircraft via semidefinite programming
-
Frazzoli, E., Mao, Z.-H., Oh, J.-H., and Feron, E., "Resolution of Conflicts Involving Many Aircraft via Semidefinite Programming," Journal of Guidance, Control, and Dynamics, Vol. 24, No. 1, 2001, pp. 79-86.
-
(2001)
Journal of Guidance, Control, and Dynamics
, vol.24
, Issue.1
, pp. 79-86
-
-
Frazzoli, E.1
Mao, Z.-H.2
Oh, J.-H.3
Feron, E.4
-
8
-
-
0034439065
-
Optimal maneuver for multiple aircraft conflict resolution: A braid point of view
-
IEEE Publ., Piscataway NJ
-
Hu, J., Pradini, M., and Sastry, S., "Optimal Maneuver for Multiple Aircraft Conflict Resolution: A Braid Point of View," Proceedings of the 39th IEEE Conference on Decision and Control, Vol. 4, IEEE Publ., Piscataway NJ, 2000, pp. 4164-4169.
-
(2000)
Proceedings of the 39th IEEE Conference on Decision and Control
, vol.4
, pp. 4164-4169
-
-
Hu, J.1
Pradini, M.2
Sastry, S.3
-
9
-
-
0033096906
-
Optimal strategies for free-flight air traffic conflict resolution
-
Menon, P. K., Sweriduk, G. D., and Sridhar, B., "Optimal Strategies for Free-Flight Air Traffic Conflict Resolution," Journal of Guidance, Control, and Dynamics, Vol. 22, No. 2, 1999, pp. 202-211.
-
(1999)
Journal of Guidance, Control, and Dynamics
, vol.22
, Issue.2
, pp. 202-211
-
-
Menon, P.K.1
Sweriduk, G.D.2
Sridhar, B.3
-
10
-
-
84959107249
-
Deterministic resolution of two aircraft conflict in free flight
-
Zhao, Y., and Schultz, R., "Deterministic Resolution of Two Aircraft Conflict in Free Flight," Proceedings of AIAA Guidance, Navigation, and Control Conference, AIAA, Reston, VA, 1997, pp. 469-478.
-
Proceedings of AIAA Guidance, Navigation, and Control Conference, AIAA, Reston, VA, 1997
, pp. 469-478
-
-
Zhao, Y.1
Schultz, R.2
-
11
-
-
0031142865
-
Conflict probability estimation for free flight
-
Paielli, R. A., and Erzberger, H., "Conflict Probability Estimation for Free Flight," Journal of Guidance, Control, and Dynamics, Vol. 20, No. 3, 1997, pp. 588-596.
-
(1997)
Journal of Guidance, Control, and Dynamics
, vol.20
, Issue.3
, pp. 588-596
-
-
Paielli, R.A.1
Erzberger, H.2
-
12
-
-
0031370093
-
Strategic conflict detection and resolution for free flight
-
IEEE Publ., Piscataway, NJ
-
Krozel, J., and Peters, M., "Strategic Conflict Detection and Resolution for Free Flight," Proceedings of the 36th IEEE Conference on Decision and Control, Vol. 2, IEEE Publ., Piscataway, NJ, 1997, pp. 1822-1828.
-
(1997)
Proceedings of the 36th IEEE Conference on Decision and Control
, vol.2
, pp. 1822-1828
-
-
Krozel, J.1
Peters, M.2
-
13
-
-
0033352228
-
Aircraft conflict prediction and resolution using brownian motion
-
IEEE Publ., Piscataway, NJ
-
Hu, J., Lygeros, J., Prandini, M., and Sastry, S., "Aircraft Conflict Prediction and Resolution Using Brownian Motion," Proceedings of the 38th IEEE Conference on Decision and Control, Vol. 3, IEEE Publ., Piscataway, NJ, 1999, pp. 2438-2443.
-
(1999)
Proceedings of the 38th IEEE Conference on Decision and Control
, vol.3
, pp. 2438-2443
-
-
Hu, J.1
Lygeros, J.2
Prandini, M.3
Sastry, S.4
-
14
-
-
0001569510
-
A probabilistic approach to aircraft conflict detection
-
Prandini, M., Hu, J., Lygeros, J., and Sastry, S., "A Probabilistic Approach to Aircraft Conflict Detection," IEEE Transactions on Intelligent Transportation Systems, Special Issue on Air Traffic Control-Part I, Vol. 1, No. 4, 2000, pp. 199-220.
-
(2000)
IEEE Transactions on Intelligent Transportation Systems, Special Issue on Air Traffic Control-Part I
, vol.1
, Issue.4
, pp. 199-220
-
-
Prandini, M.1
Hu, J.2
Lygeros, J.3
Sastry, S.4
-
15
-
-
0001597119
-
Conflict detection and resolution for free flight
-
Krozel, J., and Peters, M., "Conflict Detection and Resolution for Free Flight," Air Traffic Control Quarterly, Vol. 5 No. 3, 1997, pp. 181-212.
-
(1997)
Air Traffic Control Quarterly
, vol.5
, Issue.3
, pp. 181-212
-
-
Krozel, J.1
Peters, M.2
-
16
-
-
0031345144
-
On the formal verification of the TCAS conflict resolution algorithms
-
IEEE Publ., Piscataway, NJ
-
Lygeros, J., and Lynch, N., "On the Formal Verification of the TCAS Conflict Resolution Algorithms," Proceedings of the 36th IEEE Conference on Decision and Control, Vol. 2, IEEE Publ., Piscataway, NJ, 1997, pp. 1829-1834.
-
(1997)
Proceedings of the 36th IEEE Conference on Decision and Control
, vol.2
, pp. 1829-1834
-
-
Lygeros, J.1
Lynch, N.2
-
17
-
-
0010795612
-
Minimum operational performance standards for traffic alert and collision avoidance system II (TCAS II) airborne equipment
-
Radio Technical Commission for Aeromatics (RTCA); RTCA, Inc., TR RTCA/DO-185A, Washington, DC, Dec.
-
Radio Technical Commission for Aeromatics (RTCA), "Minimum Operational Performance Standards for Traffic Alert and Collision Avoidance System II (TCAS II) Airborne Equipment," RTCA, Inc., TR RTCA/DO-185A, Washington, DC, Dec. 1997.
-
(1997)
-
-
-
18
-
-
0031362628
-
Generation of conflict resolution maneuvers for air traffic management
-
IEEE Publ., Piscataway, NJ
-
Kosecka, J., Tomlin, C., Pappas, G. J., and Sastry, S., "Generation of Conflict Resolution Maneuvers for Air Traffic Management," Proceedings of the 1997 IEEE International Conference on Intelligent Robot and Systems. Innovative Robotics for Real-World Applications, IROS'97, Vol. 3, IEEE Publ., Piscataway, NJ, 1997, pp. 1598-1603.
-
(1997)
Proceedings of the 1997 IEEE International Conference on Intelligent Robot and Systems. Innovative Robotics for Real-World Applications, IROS'97
, vol.3
, pp. 1598-1603
-
-
Kosecka, J.1
Tomlin, C.2
Pappas, G.J.3
Sastry, S.4
-
19
-
-
0000742104
-
On optimal cooperative conflict resolution for air traffic management systems
-
Bicchi, A., and Pallottino, L., "On Optimal Cooperative Conflict Resolution for Air Traffic Management Systems," IEEE Transactions on Intelligent Transportation Systems, Special Issue on Air Traffic Control-Part I, Vol. 1, No. 4, 2000, pp. 221-231.
-
(2000)
IEEE Transactions on Intelligent Transportation Systems, Special Issue on Air Traffic Control-Part I
, vol.1
, Issue.4
, pp. 221-231
-
-
Bicchi, A.1
Pallottino, L.2
-
20
-
-
0029379379
-
Stream Option Manager (SOM): Automated integration of aircraft separation, merging, stream management, and other air traffic control functions
-
Niedringhaus, W. P., "Stream Option Manager (SOM): Automated Integration of Aircraft Separation, Merging, Stream Management, and Other Air Traffic Control Functions," IEEE Transactions on Systems, Man, and Cybernetics, Vol. 25, No. 9, 1995, pp. 1269-1280.
-
(1995)
IEEE Transactions on Systems, Man, and Cybernetics
, vol.25
, Issue.9
, pp. 1269-1280
-
-
Niedringhaus, W.P.1
-
21
-
-
84894476803
-
Optimal coordinated maneuvers for multiple agents moving on a plane
-
(submitted for publication)
-
Hu, J., Pradini, M., and Sastry, S., "Optimal Coordinated Maneuvers for Multiple Agents Moving on a Plane," SIAM Journal on Control and Optimization (submitted for publication).
-
SIAM Journal on Control and Optimization
-
-
Hu, J.1
Pradini, M.2
Sastry, S.3
-
22
-
-
85036946893
-
Planar conflict resolution for air traffic control
-
Chen, Y.-B., Hsieh, M., Inselberg, A., and Lee, H. Q., "Planar Conflict Resolution for Air Traffic Control," Proceedings of the Second Canadian Conference on Computational Geometry, Univ. of Ottawa, Ottawa, 1990, pp. 160-163.
-
Proceedings of the Second Canadian Conference on Computational Geometry, Univ. of Ottawa, Ottawa, 1990
, pp. 160-163
-
-
Chen, Y.-B.1
Hsieh, M.2
Inselberg, A.3
Lee, H.Q.4
-
23
-
-
85036920836
-
Conflict resolution, one-shot problem, and air traffic control
-
Inselberg, A., "Conflict Resolution, One-Shot Problem, and Air Traffic Control," Abstracts of the First Canadian Conference on Computational Geometry, McGill Univ., Montreal, 1989, p. 26.
-
Abstracts of the First Canadian Conference on Computational Geometry, McGill Univ., Montreal, 1989
, pp. 26
-
-
Inselberg, A.1
-
24
-
-
0031346992
-
Geometric algorithms for conflict detection/resolution in air traffic management
-
IEEE Publ., Piscataway, NJ
-
Chiang, Y.-J., Klolowski, J. T., Lee, C., and Mitchell, J. S. B., "Geometric Algorithms for Conflict Detection/Resolution in Air Traffic Management," Proceedings of the 36th IEEE Conference on Decision and Control, Vol. 2, IEEE Publ., Piscataway, NJ, 1997, pp. 1835-1840.
-
(1997)
Proceedings of the 36th IEEE Conference on Decision and Control
, vol.2
, pp. 1835-1840
-
-
Chiang, Y.-J.1
Klolowski, J.T.2
Lee, C.3
Mitchell, J.S.B.4
-
25
-
-
0004190360
-
-
Princeton Univ. Press, Princeton, NJ
-
Milnor, J., Morse Theory, Princeton Univ. Press, Princeton, NJ, 1963, pp. 70-74.
-
(1963)
Morse Theory
, pp. 70-74
-
-
Milnor, J.1
-
26
-
-
0002699335
-
Shortest paths and networks
-
edited by J. E. Goodman and J. O'Rourke, CRC Press, Boca Raton, FL
-
Mitchell, J. S. B., "Shortest Paths and Networks," CRC Handbook of Discrete and Computational Geometry, edited by J. E. Goodman and J. O'Rourke, CRC Press, Boca Raton, FL, 1997, pp. 445-466.
-
(1997)
CRC Handbook of Discrete and Computational Geometry
, pp. 445-466
-
-
Mitchell, J.S.B.1
-
27
-
-
0002008783
-
Geometric shortest paths and network optimization
-
edited by J.-R. Sack and J. Urrutia, North-Holland, Amsterdam
-
Mitchell, J. S. B., "Geometric Shortest Paths and Network Optimization," Handbook of Computational Geometry, edited by J.-R. Sack and J. Urrutia, North-Holland, Amsterdam, 2000, pp. 633-701.
-
(2000)
Handbook of Computational Geometry
, pp. 633-701
-
-
Mitchell, J.S.B.1
-
28
-
-
0041940559
-
Applications of second-order cone programming
-
Lobo, M., Vandenberghe, L., Boyd, S., and Lebret, H., "Applications of Second-Order Cone Programming," Linear Algebra and Its Applications, Vol. 284, No. 1-3, 1998, pp. 193-228.
-
(1998)
Linear Algebra and Its Applications
, vol.284
, Issue.1-3
, pp. 193-228
-
-
Lobo, M.1
Vandenberghe, L.2
Boyd, S.3
Lebret, H.4
|