Abstract
In the framework of the study and analysis of new flight procedures, we 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, we propose an analysis of an approach procedure, and a further application to the on-line tracking of pilots’ activities.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Callantine, T.: Activity tracking for pilot error detection from flight data. In: EAM 2002, Glasgow, UK (2002)
Dehais, F., Tessier, C., Chaudron, L.: GHOST: experimenting conflicts countermeasures in the pilot’s activity. In: IJCAI 2003, Acapulco, Mexico (2003)
Wiegmann, D., Shappel, S.: Applying the human factors analysis and classification system (HFACS) to the analysis of commercial aviation accident data. In: Aviation Psychology, Colombus, OH (2001)
Song, L., Kuchar, K.: Describing, predicting, and mitigating dissonance between alerting systems. In: Human Error, Safety, and System Development, Linköping, Sweden (2001)
Ruckdeschel, W., Onken, R.: Modelling of pilot behaviour using Petri nets. In: ATPN 1994, Zaragoza, Spain (1994)
Grastien, A., Cordier, M.-O., Largouët, C.: Extending decentralized discrete-event modelling to diagnose reconfigurable systems. In: DX 2004, Carcassonne, France (2004)
Lerner, U., Moses, B., Scott, M., McIlraith, S., Koller, D.: Monitoring a complex physical system using a hybrid dynamic Bayes net. In: UAI 2002, Edmonton, AB (2002)
Alla, H., David, R.: A modeling and analysis tool for discrete event systems – continuous Petri net. Performance Evaluation 33 (1998)
Horton, G., Kulkarni, V., Nicol, D., Trivedi, K.: Fluid stochastic Petri nets: theory, applications and solution. Operational Research 105 (1998)
Champagnat, R., Pingaud, H., Valette, R.: An extension of high-level Petri nets for modelling batch systems. In: CSCC 1999, Athens, Greece (1999)
Villani, E., Pascal, J.C., Miyagi, P., Valette, R.: Differential predicate transition Petri nets and objects, an aid for proving properties in hybrid systems. In: ADHS 2003, Saint-Malo, France (2003)
Christensen, S., Petrucci, L.: Towards a modular analysis of coloured Petri nets. In: ATPN 1992, Sheffield, UK (1992)
Carpenter, J., Clifford, P., Fearnhead, P.: An improved particle filter for non-linear problems. Technical report, University of Oxford (1997)
Lehmann, E.: Particle filter, Ph.D. Coursework. Technical report, Australian National University (2003)
Wang, J.: Timed Petri nets, theory and application. Kluwer Academic Publishers, Dordrecht (1998)
Bause, F., Kritzinger, P.: Stochastic Petri nets – an introduction to the theory. Viewer Verlag (2002)
Chachoua, M., Pacholczyk, D.: A symbolic approach to uncertainty management. Applied Intelligence 13 (2000)
Cardoso, J., Valette, R., Dubois, D.: Possibilistic Petri nets. IEEE Trans. on Systems, Man and Cybernetics 29 (1999)
Tessier, C., Chaudron, L., Fiorino, H., Müller, H.J.: Agents’ conflicts: new issues. In: Tessier, C., Chaudron, L., Müller, H.J. (eds.) Conflicting agents - Conflict management in multi-agent systems. Multiagent systems, artificial societies and simulated organizations 1, pp. 1–30. Kluwer Academic Publishers, Dordrecht (2000)
Vu, V., Brémond, F., Thonnat, M.: Automatic video interpretation: a novel algorithm for temporal scenario recognition. In: IJCAI 2003, Acapulco, Mexico (2003)
Intille, S., Bobick, A.: Visual recognition of multi-agent action using binary temporal relations. In: CVPR 1999, Fort Collins, CO (1999)
Tessier, C.: Towards a commonsense estimator for activity tracking. In: AAAI Spring Symposium, Palo Alto, CA (2003)
Lesire, C.: A numerical/symbolic estimator for activity tracking. A preliminary report. In: KR 2004 Doctoral Consortium, Whistler, BC (2004)
El-Sayed, M., Pacholczyk, D.: A qualitative reasoning with nuanced information. In: Flesca, S., Greco, S., Leone, N., Ianni, G. (eds.) JELIA 2002. LNCS (LNAI), vol. 2424, p. 283. Springer, Heidelberg (2002)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2005 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Lesire, C., Tessier, C. (2005). Particle Petri Nets for Aircraft Procedure Monitoring Under Uncertainty. In: Ciardo, G., Darondeau, P. (eds) Applications and Theory of Petri Nets 2005. ICATPN 2005. Lecture Notes in Computer Science, vol 3536. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11494744_19
Download citation
DOI: https://doi.org/10.1007/11494744_19
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-26301-2
Online ISBN: 978-3-540-31559-9
eBook Packages: Computer ScienceComputer Science (R0)