-
1
-
-
84959096699
-
Survey of conflict detection and resolution modeling methods
-
New Orleans, LA
-
Kuchar J., L. Yang, 1997, Survey of conflict detection and resolution modeling methods, AIAA Guidance, Navigation, and Control Conference, Vol. AIAA-97-3732, New Orleans, LA, pp. 1388-1397.
-
(1997)
AIAA Guidance, Navigation, and Control Conference
, vol.AIAA-97-3732
, pp. 1388-1397
-
-
Kuchar, J.1
Yang, L.2
-
4
-
-
85016276545
-
Automatic aircraft conflict resolution using genetic algorithms
-
Philadelphia, PA
-
Durand, N., J.-M. Alliot, J. Noailles, 1996, Automatic aircraft conflict resolution using genetic algorithms, Symposium on Applied Computing, Philadelphia, PA.
-
(1996)
Symposium on Applied Computing
-
-
Durand, N.1
Alliot, J.-M.2
Noailles, J.3
-
5
-
-
0011967150
-
Optimal resolution of eh route conflicts
-
Santa Fe, NM
-
Granger, G., N. Durand, J.-M. Alliot, 2001, Optimal resolution of eh route conflicts, 4th USA/Europe Air Traffic Management R&D Seminar (ATM 2001), Santa Fe, NM.
-
(2001)
4th USA/Europe Air Traffic Management R&D Seminar (ATM 2001)
-
-
Granger, G.1
Durand, N.2
Alliot, J.-M.3
-
6
-
-
0011970672
-
Strategic airborne conflict detection of air traffic and area hazards
-
TITAN Systems Corporation, SRC Division
-
McDonald, J., R. Vivona, 2000, Strategic airborne conflict detection of air traffic and area hazards, Technical Report NASA Contract: NAS2-98005 RTO-29, TITAN Systems Corporation, SRC Division.
-
(2000)
Technical Report NASA Contract: NAS2-98005
, vol.RTO-29
-
-
McDonald, J.1
Vivona, R.2
-
7
-
-
0042687841
-
Neural nets trained by genetic algorithms for collision avoidance
-
Durand, N., J.-M. Alliot, F. Medioni, 2000, Neural nets trained by genetic algorithms for collision avoidance, Applied Artificial Intelligence 3 (2000).
-
(2000)
Applied Artificial Intelligence
, vol.3
, Issue.2000
-
-
Durand, N.1
Alliot, J.-M.2
Medioni, F.3
-
9
-
-
0031346992
-
Geometric algorithms for conflict detection/resolution in air traffic management
-
Chiang, Y.-J., J. Klosowsky, C. Lee, J. Mitchell, 1997, Geometric algorithms for conflict detection/resolution in air traffic management, 36th IEEE Conference on Decision and Control.
-
(1997)
36th IEEE Conference on Decision and Control
-
-
Chiang, Y.-J.1
Klosowsky, J.2
Lee, C.3
Mitchell, J.4
-
10
-
-
0034818818
-
Resolution of conflicts involving many aircraft via semidefinite programming
-
Frazzoli, E., Z.-H Mao, J.-H. Oh, E. Feron, 2001, Resolution of conflicts involving many aircraft via semidefinite programming, Journal of Guidance, Control, and Dynamics, 24(2001), pp. 79-86.
-
(2001)
Journal of Guidance, Control, and Dynamics
, vol.24
, Issue.2001
, pp. 79-86
-
-
Frazzoli, E.1
Mao, Z.-H.2
Oh, J.-H.3
Feron, E.4
-
11
-
-
0000201150
-
A self-organizational approach for resolving air traffic conflicts
-
Eby, M., 1994, A self-organizational approach for resolving air traffic conflicts, Lincoln Laboratory Journal, 7 (1994), pp. 239-254.
-
(1994)
Lincoln Laboratory Journal
, vol.7
, Issue.1994
, pp. 239-254
-
-
Eby, M.1
-
12
-
-
0003500835
-
-
Tech. Report NLR-CR-2000-227, National Aerospace Laboratory (NLR), The Netherlands
-
Hoekstra, J., et al, 2000, Overview of NLR free flight project 1997-1999, Tech. Report NLR-CR-2000-227, National Aerospace Laboratory (NLR), The Netherlands.
-
(2000)
Overview of NLR free flight project 1997-1999
-
-
Hoekstra, J.1
-
13
-
-
16244413405
-
A geometric optimization approach to aircraft conflict resolution
-
Denver, CO
-
Bilimoria, K., 2000, A geometric optimization approach to aircraft conflict resolution, Guidance, Navigation, and Control Conference, vol. AIAA 2000-4265, Denver, CO.
-
(2000)
Guidance, Navigation, and Control Conference
, vol.AIAA 2000-4265
-
-
Bilimoria, K.1
-
14
-
-
27844598545
-
Tactical conflict detection and resolution in 3-D airspace
-
Santa Fe, NM
-
Dowek G., C. Muñoz, A. Geser, 2001, Tactical conflict detection and resolution in 3-D airspace, 4th USA/Europe Air Traffic Management R&D Seminar (ATM 2001), Santa Fe, NM.
-
(2001)
4th USA/Europe Air Traffic Management R&D Seminar (ATM 2001)
-
-
Dowek, G.1
Muñoz, C.2
Geser, A.3
-
15
-
-
0011998349
-
Airborne use of traffic intent information in a distributed air-ground traffic management concept: Experiment design and preliminary results
-
Santa Fe, NM
-
Wing, D., R. Adams, B. Barmore, D. Moses, 2001, Airborne use of traffic intent information in a distributed air-ground traffic management concept: Experiment design and preliminary results, 4th USA/Europe Air Traffic Management R&D Seminar (ATM 2001), Santa Fe, NM.
-
(2001)
4th USA/Europe Air Traffic Management R&D Seminar (ATM 2001)
-
-
Wing, D.1
Adams, R.2
Barmore, B.3
Moses, D.4
-
16
-
-
4243275260
-
-
Geser, A., C. Muñoz, G. Dowek, F. Kirchner, 2002, Air Traffic Conflict Resolution and Recovery, NASA/CR-2002-12.
-
(2002)
Air Traffic Conflict Resolution and Recovery
, vol.NASA-CR-2002-12
-
-
Geser, A.1
Muñoz, C.2
Dowek, G.3
Kirchner, F.4
-
17
-
-
84944677742
-
PVS: A prototype verification system
-
11th International Conference on Automated Deduction (CADE), D. Kapur, ed., Saratoga, NY, Springer-Verlag
-
Owre, S., J. Rushby, N. Shankar, 1992, PVS: A prototype verification system, 11th International Conference on Automated Deduction (CADE), D. Kapur, ed., vol. 607 of Lecture Notes in Artificial Intelligence, Saratoga, NY, Springer-Verlag, pp. 748-752.
-
(1992)
Lecture Notes in Artificial Intelligence
, vol.607
, pp. 748-752
-
-
Owre, S.1
Rushby, J.2
Shankar, N.3
|