-
1
-
-
0001700496
-
A Review of Conflit Detection and Resolution Modeling Methods
-
Kuchar, J. K. and Yang, L. C., "A Review of Conflit Detection and Resolution Modeling Methods," IEEE Trans. Intelligent Transportation Systems, Special Issue on Air Traffic Control-Part I, Vol. 1, No. 4, 2000.
-
(2000)
IEEE Trans. Intelligent Transportation Systems, Special Issue On Air Traffic Control-Part I
, vol.1
, Issue.4
-
-
Kuchar, J.K.1
Yang, L.C.2
-
2
-
-
0031345419
-
A Next Generation Architecture for Air Traffic Management Systems
-
San Diego, CA
-
Pappas, G., Tomlin, C., Lygeros, J., Godbole, D., and Sastry, S., "A Next Generation Architecture for Air Traffic Management Systems," IEEE Conference on Decision and Control, San Diego, CA, 1997.
-
(1997)
IEEE Conference On Decision and Control
-
-
Pappas, G.1
Tomlin, C.2
Lygeros, J.3
Godbole, D.4
Sastry, S.5
-
3
-
-
0000274688
-
Controller Design for Hybrid Systems
-
July
-
Tomlin, C., Lygeros, J., and Sastry, S., "Controller Design for Hybrid Systems," Proceedings of the IEEE, Vol. 88, No. 7, July 2000.
-
(2000)
Proceedings of the IEEE
, vol.88
, Issue.7
-
-
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., and Sastry, S., "Conflict resolution for air traffic management: a study in multi-agent hybrid systems," IEEE Transaction on Automatic Control, Vol. 43, 1998, pp. 509-521.
-
(1998)
IEEE Transaction On Automatic Control
, vol.43
, pp. 509-521
-
-
Tomlin, C.1
Pappas, G.2
Sastry, S.3
-
5
-
-
18544398883
-
Computing Provably Safe Aircraft to Aircraft Spacing for Closely Spaced Parallel Approaches
-
DASCOO), Philadelphia
-
Teo, R. and Tomlin, C., "Computing Provably Safe Aircraft to Aircraft Spacing for Closely Spaced Parallel Approaches," The Proceedings of the Digital Avionics Systems Conference (DASCOO), Philadelphia, 2000.
-
(2000)
The Proceedings of the Digital Avionics Systems Conference
-
-
Teo, R.1
Tomlin, C.2
-
6
-
-
85016276545
-
Automatic Aircraft Conflict Resolution Using Genetic Algorithms
-
ACM/SAC, Philadelphia
-
Durand, N., Alliot, J., and Noailles, J., "Automatic aircraft conflict resolution using genetic algorithms," l1th Annual ACM conference on applied computing, ACM/SAC, Philadelphia, 1996.
-
(1996)
11th Annual ACM Conference On Applied Computing
-
-
Durand, N.1
Alliot, J.2
Noailles, J.3
-
7
-
-
84894468343
-
Resolution of conflicts involving many aircraft via sermdefinite programming
-
to appear
-
Prazzoli, E., Mao, Z.-H., Oh, J.-H., and Feron, E., "Resolution of conflicts involving many aircraft via sermdefinite programming," AIAA Journal of Guidance, Control and Dynamics, to appear.
-
AIAA Journal of Guidance, Control and Dynamics
-
-
Prazzoli, 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
-
Sydney, Australia
-
Hu, J., Prandini, M., and Sastry, S., "Optimal maneuver for multiple aircraft conflict resolution: a braid point of view," IEEE 39th Conference on Decision and Control, Sydney, Australia, 2000.
-
(2000)
IEEE 39th Conference On Decision and Control
-
-
Hu, J.1
Prandini, M.2
Sastry, S.3
-
9
-
-
84959176289
-
-
AIAA Guidance, Navigation and Control Con/., San Diego, CA
-
Krozel, J., Mueller, T., and Hunter, G., "Free flight conflict detection and resolution analysis," AIAA Guidance, Navigation and Control Con/., San Diego, CA, 1996.
-
(1996)
Free Flight Conflict Detection and Resolution Analysis
-
-
Krozel, J.1
Mueller, T.2
Hunter, G.3
-
10
-
-
0033096906
-
Optimal strategies for free-flight air traffic conflict resolution
-
Menon, P., Sweriduk, G., 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.1
Sweriduk, G.2
Sridhar, B.3
-
11
-
-
84894489112
-
-
AIAA Guidance, Navigation, and Control Con/., New Orleans, LA
-
Zhao, Y. and Schultz, R., "Deterministic resolution of a two aircraft conflict in free flight," AIAA Guidance, Navigation, and Control Con/., New Orleans, LA, 1997.
-
(1997)
Deterministic Resolution of a Two Aircraft Conflict In Free Flight
-
-
Zhao, Y.1
Schultz, R.2
-
12
-
-
1542295624
-
-
1st USA/Europe Air Traffic Management R & D Seminar
-
Erzberger, H., Paielli, R., Isaacson, D., and Eshow, M., "Conflict detection and resolution in the presence of prediction error," 1st USA/Europe Air Traffic Management R & D Seminar, 1997.
-
(1997)
Conflict Detection and Resolution In the Presence of Prediction Error
-
-
Erzberger, H.1
Paielli, R.2
Isaacson, D.3
Eshow, M.4
-
14
-
-
0033352228
-
Aircraft conflict prediction and resolution using Brownian Motion
-
Pheonix, AZ
-
Hu, J., Lygeros, J., Prandini, M., and Sastry, S., "Aircraft conflict prediction and resolution using Brownian Motion," IEEE Conference on Decision and Control, Pheonix, AZ, 1999.
-
(1999)
IEEE Conference On Decision and Control
-
-
Hu, J.1
Lygeros, J.2
Prandini, M.3
Sastry, S.4
-
15
-
-
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 Trans. Intelligent Transportation Systems, Special Issue on Air Traffic Control-Part I, Vol. 1, No. 4, 2000.
-
(2000)
IEEE Trans. Intelligent Transportation Systems, Special Issue On Air Traffic Control-Part I
, vol.1
, Issue.4
-
-
Prandini, M.1
Hu, J.2
Lygeros, J.3
Sastry, S.4
-
16
-
-
0001597119
-
Conflict detection and resolution for free flight
-
Krozel, J. and Peters, M., "Conflict detection and resolution for free flight," Air Traffic Contra Quaterly, Vol. 5, No. 3, 1997, pp. 181-212.
-
(1997)
Air Traffic Contra Quaterly
, vol.5
, Issue.3
, pp. 181-212
-
-
Krozel, J.1
Peters, M.2
-
17
-
-
0031345144
-
On the formal verification of the TCAS conflict resolution algorithms
-
San Diego
-
Lygeros, J. and Lynch, N., "On the formal verification of the TCAS conflict resolution algorithms," Proc. 36th IEEE Con/ on Decision and Control, San Diego, 1997, pp. 1829-1834.
-
(1997)
Proc. 36th IEEE Con/ On Decision and Control
, pp. 1829-1834
-
-
Lygeros, J.1
Lynch, N.2
-
19
-
-
0031362628
-
Generation of Conflict Resolution Maneuvers For Air Traffic Management
-
Kosecka, J., Tomlin, C., Pappas, G., and Sastry, S., "Generation of Conflict Resolution Maneuvers For Air Traffic Management," IEEE Conference on Intelligent Robotics and System '97, 1997.
-
(1997)
IEEE Conference On Intelligent Robotics and System '97
-
-
Kosecka, J.1
Tomlin, C.2
Pappas, G.3
Sastry, S.4
-
20
-
-
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 Trans. Intelligent Transportation Systems, Special Issue on Air Traffic Control-Part I, Vol. 1, No. 4, 2000.
-
(2000)
IEEE Trans. Intelligent Transportation Systems, Special Issue On Air Traffic Control-Part I
, vol.1
, Issue.4
-
-
Bicchi, A.1
Pallottino, L.2
-
21
-
-
84894476803
-
-
Submitted for journal publication
-
Hu, J., Prandini, M., and Sastry, S., "Optimal Coordinated Maneuvers for Multiple Agents Moving on a Plane," Submitted for journal publication.
-
Optimal Coordinated Maneuvers For Multiple Agents Moving On a Plane
-
-
Hu, J.1
Prandini, M.2
Sastry, S.3
-
22
-
-
0003864206
-
-
Princeton University Press, Based on lecture notes by M. Spivak and R. Wells
-
Milnor, J., Morse theory, Annals of mathematics studies, 51., Princeton University Press, 1963, Based on lecture notes by M. Spivak and R. Wells.
-
(1963)
Morse Theory, Annals of Mathematics Studies, 51
-
-
Milnor, J.1
-
23
-
-
1942530276
-
-
Tech. rep., University of California, Berkeley, in preparation
-
Hu, J. and Sastry, S., "Hybrid geodesic flows on manifolds with boundary," Tech. rep., University of California, Berkeley, in preparation, 2001.
-
(2001)
Hybrid Geodesic Flows On Manifolds With Boundary
-
-
Hu, J.1
Sastry, S.2
-
24
-
-
84894459411
-
Hybrid Geodesies as Optimal Solutions to the Collision-Free Motion Planning Problem
-
edited by A. Sangiovanni-Vincentelli and M. D. Benedetto, Lecture Notes in Computer Science, Springer Verlag
-
Hu, J., Prandini, M., Johansson, K., and Sastry, S., "Hybrid Geodesies as Optimal Solutions to the Collision-Free Motion Planning Problem," Hybrid Systems: Computation and Control, edited by A. Sangiovanni-Vincentelli and M. D. Benedetto, Lecture Notes in Computer Science, Springer Verlag, 2001.
-
(2001)
Hybrid Systems: Computation and Control
-
-
Hu, J.1
Prandini, M.2
Johansson, K.3
Sastry, S.4
-
25
-
-
16244389464
-
-
submitted to the AIAA Journal on Guidance, Control and Dynamics
-
Hu, J., Prandini, M., and Sastry, S., "Optimal coordinated maneuvers for three dimensional aircraft conflict resolution," submitted to the AIAA Journal on Guidance, Control and Dynamics.
-
Optimal Coordinated Maneuvers For Three Dimensional Aircraft Conflict Resolution
-
-
Hu, J.1
Prandini, M.2
Sastry, S.3
-
26
-
-
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
|