메뉴 건너뛰기




Volumn 2, Issue 2, 2001, Pages 110-120

Safety Verification of Conflict Resolution Maneuvers

Author keywords

[No Author keywords available]

Indexed keywords


EID: 0242581906     PISSN: 15249050     EISSN: None     Source Type: Journal    
DOI: 10.1109/6979.928722     Document Type: Article
Times cited : (142)

References (33)
  • 1
    • 25544463680 scopus 로고    scopus 로고
    • NASA Contract NAS2-114 279
    • Honeywell, "Markets Report,", NASA Contract NAS2-114 279, 1996.
    • (1996) Markets Report
    • Honeywell1
  • 2
    • 0031210496 scopus 로고    scopus 로고
    • In search of the future of air traffic control
    • T. S. Perry, "In search of the future of air traffic control," IEEE Spectrum, vol. 34, no. 8, pp. 18-35, 1997.
    • (1997) IEEE Spectrum , vol.34 , Issue.8 , pp. 18-35
    • Perry, T.S.1
  • 3
    • 0342324306 scopus 로고    scopus 로고
    • Control applications and challenges in air traffic management
    • Philadelphia, PA
    • J. W. Jackson and S. M. Green, "Control applications and challenges in air traffic management," in Proc. American Control Conf., Philadelphia, PA, 1998, pp. 1772-1788.
    • (1998) Proc. American Control Conf. , pp. 1772-1788
    • Jackson, J.W.1    Green, S.M.2
  • 5
    • 0030212447 scopus 로고    scopus 로고
    • Air traffic management: Evolution with technology
    • S. Kahne and I. Frolow, "Air traffic management: Evolution with technology," IEEE Control Syst. Mag., vol. 16, no. 4, pp. 12-21, 1996.
    • (1996) IEEE Control Syst. Mag. , vol.16 , Issue.4 , pp. 12-21
    • Kahne, S.1    Frolow, I.2
  • 10
    • 0031142865 scopus 로고    scopus 로고
    • Conflict probability and estimation for free flight
    • May-June
    • R. A. Paielli and H. Erzberger, "Conflict probability and estimation for free flight," J. Guidance, Contr., Dyn., vol. 20, no. 3, pp. 588-596, May-June 1997.
    • (1997) J. Guidance, Contr., Dyn. , vol.20 , Issue.3 , pp. 588-596
    • Paielli, R.A.1    Erzberger, H.2
  • 14
    • 0001597119 scopus 로고    scopus 로고
    • Conflict detection and resolution for free flight
    • J. Krozel and M. Peters, "Conflict detection and resolution for free flight," Air Traffic Control Quart. J., vol. 5, no. 3, pp. 181-212, 1997.
    • (1997) Air Traffic Control Quart. J. , vol.5 , Issue.3 , pp. 181-212
    • Krozel, J.1    Peters, M.2
  • 16
  • 17
    • 0030661490 scopus 로고    scopus 로고
    • Computationally efficient conflict detection methods for air traffic management
    • Albuquerque, NM
    • B. Sridhar and G. B. Chatterji, "Computationally efficient conflict detection methods for air traffic management," in Proc. American Control Conf., Albuquerque, NM, 1997.
    • (1997) Proc. American Control Conf.
    • Sridhar, B.1    Chatterji, G.B.2
  • 18
    • 0033096906 scopus 로고    scopus 로고
    • Optimal strategies for free-flight air traffic conflict resolution
    • P. K. Menon, G. D. Sweriduk, and B. Sridhar, "Optimal strategies for free-flight air traffic conflict resolution," J. Guidance, Control, Dyn., vol. 22, no. 2, pp. 202-211, 1998.
    • (1998) J. Guidance, Control, Dyn. , vol.22 , Issue.2 , pp. 202-211
    • Menon, P.K.1    Sweriduk, G.D.2    Sridhar, B.3
  • 19
    • 0034439065 scopus 로고    scopus 로고
    • Optimal maneuver for multiple aircraft conflict resolution: A braid point of view
    • Sydney, Dec.
    • J. Hu, M. Prandini, and S. S. Sastry, "Optimal maneuver for multiple aircraft conflict resolution: A braid point of view," in Proc. IEEE Conf. on Decision and Control, Sydney, Dec. 2000.
    • (2000) Proc. IEEE Conf. on Decision and Control
    • Hu, J.1    Prandini, M.2    Sastry, S.S.3
  • 20
    • 0032050862 scopus 로고    scopus 로고
    • Conflict resolution for air traffic management: A case study in multi-agent hybrid systems
    • Apr.
    • C. Tomlin, G. J. Pappas, and S. Sastry, "Conflict resolution for air traffic management: A case study in multi-agent hybrid systems," IEEE Trans. Automat. Contr., vol. 43, pp. 509-521, Apr. 1998.
    • (1998) IEEE Trans. Automat. Contr. , vol.43 , pp. 509-521
    • Tomlin, C.1    Pappas, G.J.2    Sastry, S.3
  • 22
    • 84957883066 scopus 로고    scopus 로고
    • Synthesizing controllers for non-linear hybrid systems
    • T. Henzinger and S. Sastry, Eds. New York: Springer Verlag
    • C. Tomlin, J. Lygeros, and S. Sastry, "Synthesizing controllers for non-linear hybrid systems," in Hybrid Systems: Computation and Control, T. Henzinger and S. Sastry, Eds. New York: Springer Verlag, 1998, pp. 360-373.
    • (1998) Hybrid Systems: Computation and Control , pp. 360-373
    • Tomlin, C.1    Lygeros, J.2    Sastry, S.3
  • 23
    • 0347343317 scopus 로고    scopus 로고
    • Ph.D. dissertation, Dep. Elect. Eng., Univ.of California, Berkeley, CA
    • C. J. Tomlin, "Hybrid Control of Air Traffic Management Systems," Ph.D. dissertation, Dep. Elect. Eng., Univ.of California, Berkeley, CA, 1998.
    • (1998)
    • Tomlin, C.J.1
  • 24
    • 84974725120 scopus 로고    scopus 로고
    • Level set methods for computation in hybrid systems
    • B. Krogh and N. Lynch, Eds: Springer Verlag
    • I. Mitchell and C. Tomlin, "Level set methods for computation in hybrid systems," in Hybrid Systems: Computation and Control, B. Krogh and N. Lynch, Eds: Springer Verlag, 2000, pp. 310-323.
    • (2000) Hybrid Systems: Computation and Control , pp. 310-323
    • Mitchell, I.1    Tomlin, C.2
  • 25
    • 0000274688 scopus 로고    scopus 로고
    • Controller design for hybrid systems
    • July
    • C. Tomlin, J. Lygeros, and S. Sastry, "Controller design for hybrid systems," Proc. IEEE, vol. 88, pp. 949-970, July 2000.
    • (2000) Proc. IEEE , vol.88 , pp. 949-970
    • Tomlin, C.1    Lygeros, J.2    Sastry, S.3
  • 29
    • 44749084234 scopus 로고
    • Fronts propagating with curvature-dependent speed: Algorithms based on Hamilton-Jacobi formulations
    • S. Osher and J. A. Sethian, "Fronts propagating with curvature-dependent speed: Algorithms based on Hamilton-Jacobi formulations," J. Comput. Phys., vol. 79, pp. 12-49, 1988.
    • (1988) J. Comput. Phys. , vol.79 , pp. 12-49
    • Osher, S.1    Sethian, J.A.2
  • 30
    • 84944194723 scopus 로고    scopus 로고
    • Validating a Hamilton-Jacobi approximation to hybrid system reachable sets
    • M. D. D. Benedetto and A. Sangiovanni-Vincentelli, Eds: Springer Verlag
    • I. Mitchell, A. Bayen, and C. J. Tomlin, "Validating a Hamilton-Jacobi approximation to hybrid system reachable sets," in Hybrid Systems: Computation and Control, M. D. D. Benedetto and A. Sangiovanni-Vincentelli, Eds: Springer Verlag, 2001, pp. 418-432.
    • (2001) Hybrid Systems: Computation and Control , pp. 418-432
    • Mitchell, I.1    Bayen, A.2    Tomlin, C.J.3
  • 31
    • 0034548581 scopus 로고    scopus 로고
    • Maneuver design for multiple aircraft conflict resolution
    • Chicago, IL, June
    • R. Ghosh and C. J. Tomlin, "Maneuver design for multiple aircraft conflict resolution," in Proc. American Control Conference, Chicago, IL, June 2000.
    • (2000) Proc. American Control Conference
    • Ghosh, R.1    Tomlin, C.J.2
  • 33
    • 18544398883 scopus 로고    scopus 로고
    • Computing provably safe aircraft to aircraft spacing for closely spaced parallel approaches
    • Philadelphia, PA, Oct.
    • R. Teo and C. J. Tomlin, "Computing provably safe aircraft to aircraft spacing for closely spaced parallel approaches," in Proc. Digital Avionics Systems Conf. (DASC00), Philadelphia, PA, Oct. 2000.
    • (2000) Proc. Digital Avionics Systems Conf. (DASC00)
    • Teo, R.1    Tomlin, C.J.2


* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.