메뉴 건너뛰기




Volumn 83, Issue 5, 2007, Pages 401-414

Modelling lateral spacing and separation for airborne separation assurance using petri nets

Author keywords

Air traffic; Collision risk; Monte Carlo simulation; Safety validation; Stochastic modelling

Indexed keywords

ACCIDENT PREVENTION; ACCIDENTS; AIR TRANSPORTATION; COLLISION AVOIDANCE; MONTE CARLO METHODS; RISK ASSESSMENT; STOCHASTIC MODELS;

EID: 35448971737     PISSN: 00375497     EISSN: 17413133     Source Type: Journal    
DOI: 10.1177/0037549706063820     Document Type: Article
Times cited : (22)

References (24)
  • 3
    • 0033715322 scopus 로고    scopus 로고
    • Dynamic reliability: Towards an integrated platform for probabilistic risk assessment
    • Labeau P.E., C. Smidts, and S. Swaminathan, 2000. Dynamic reliability: towards an integrated platform for probabilistic risk assessment, Reliability Engineering & Systems Safety, 68: 219 - 254.
    • (2000) Reliability Engineering & Systems Safety , vol.68 , pp. 219-254
    • Labeau, P.E.1    Smidts, C.2    Swaminathan, S.3
  • 5
    • 35448941020 scopus 로고    scopus 로고
    • Principles of Operations for the use of ASAS, Action plan 1
    • Principles of Operations for the use of ASAS, Action plan 1, FAA/ Eurocontrol Co-operative R&D, Version 7.1, 2001.
    • (2001) FAA/Eurocontrol Co-operative R&D, Version 7.1
  • 7
    • 35448947381 scopus 로고    scopus 로고
    • A concept paper for separation safety modelling, an FAA/Eurocontrol cooperative effort on air traffic modelling for separation standards
    • Cohen S. and S. Hockaday (eds) Brussels
    • Cohen, S. and S. Hockaday (eds), 1998. A concept paper for separation safety modelling, an FAA/Eurocontrol cooperative effort on air traffic modelling for separation standards, FAA and Eurocontrol, Brussels.
    • (1998) FAA and Eurocontrol
  • 18
    • 85057470647 scopus 로고    scopus 로고
    • Petri-nets and hybrid-state Markov processes in a power-hierarchy of dependability models
    • 16-18 June, Saint-Malo, Brittany, France
    • Everdij M.H.C. and H.A.P. Blom, 2003. Petri-nets and hybrid-state Markov processes in a power-hierarchy of dependability models, Proc. IFAC Conf. Analysis and Design of Hybrid Systems 16-18 June, Saint-Malo, Brittany, France.
    • (2003) Proc. IFAC Conf. Analysis and Design of Hybrid Systems
    • Everdij, M.H.C.1    Blom, H.A.P.2
  • 19
    • 33947667448 scopus 로고    scopus 로고
    • Piecewise Deterministic Markov Processes represented by Dynamically Coloured Petri Nets
    • Everdij M.H.C. and H.A.P. Blom, 2005. Piecewise Deterministic Markov Processes represented by Dynamically Coloured Petri Nets. Stochastics, 77: 1-29.
    • (2005) Stochastics , vol.77 , pp. 1-29
    • Everdij, M.H.C.1    Blom, H.A.P.2
  • 21
    • 84959660518 scopus 로고
    • Analysis of long range air traffic systems: Separation standards-I, II, and III
    • 88-96, 169-176
    • Reich P.G., 1966. Analysis of long range air traffic systems: Separation standards-I, II, and III. Journal of the Institute of Navigation 19: 88-96, 169-176, 331-338.
    • (1966) Journal of the Institute of Navigation , vol.19 , pp. 331-338
    • Reich, P.G.1
  • 23
    • 35448977855 scopus 로고    scopus 로고
    • 12th edition, incorporating amendments 1-38, Green pages, attachment B, paragraph 3.2.1, July
    • ICAO Annex 11 - Air traffic services, 12th edition, incorporating amendments 1-38, Green pages, attachment B, paragraph 3.2.1, July 1998.
    • (1998) ICAO Annex 11 - Air Traffic Services
  • 24
    • 35448936161 scopus 로고    scopus 로고
    • HYBRIDGE project, http://www.nlr.nl/public/hosted-sites/hybridge
    • HYBRIDGE Project


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