In the framework of the study and analysis of new flight procedures, the authors propose a new Petri net-based formalism to represent both continuous and discrete evolutions and uncertainties: the particle Petri net. This model is based on a particle filtering-like representation of the probabilistic uncertainty on the continuous part of the procedure, and a possibilistic Petri net-inspired approach to deal with the uncertainty on events. After introducing this formalism, the authors propose an analysis of an approach procedure, and a further application to the on-line tracking of pilots' activities. In this scope, uncertainty management within particle Petri net allows to detect and predict conflictual situations - thanks to inconsistency analysis - in order to help the pilot to prevent or to cure them.


    Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Particle petri nets for aircraft procedure monitoring under uncertainty


    Beteiligte:


    Erscheinungsdatum :

    2005


    Format / Umfang :

    20 Seiten, 16 Bilder, 24 Quellen




    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Print


    Sprache :

    Englisch




    MODELING A NEGOTIATION PROCESS BETWEEN AIRCRAFT USING PETRI NETS

    Daria ŻUCHOWSKA / Anna STELMACH | DOAJ | 2023

    Freier Zugriff

    Simulation Modeling of Aircraft Virtual Maintenance System Based on Petri Nets

    Qin, Qingxia / Wang, Yu / Ma, Xihua | Springer Verlag | 2025


    A logic for Petri nets

    Pradier-Chezalviel, B. / Valette, R. | British Library Online Contents | 1997


    Generating Inductive Invariants for Petri Nets

    Wu, Bin / Fu, YongJun | Springer Verlag | 2012


    Stochastic petri nets for risk assessment

    Rafrafi, M. / Bourdeaudhuy, T. / El-Koursi, E.M. | Tema Archiv | 2008