Particle Petri nets for aircraft procedure monitoring under uncertainty

Lecture Notes in Computer Science

Volumn 3536, Issue , 2005, Pages 329-348

  Lesire, Charles ^a,b   Tessier, Catherine ^a  

^a ONERA   (France)

^b UNIVERSITÉ DE TOULOUSE   (France)

Author keywords

[No Author keywords available]

Indexed keywords

DISCRETE TIME CONTROL SYSTEMS; PROBABILISTIC LOGICS; UNCERTAIN SYSTEMS;

AIRCRAFT PROCEDURE MONITORING; PARTICLE PETRI NETS; PROBABILISTIC UNCERTAINTY;

PETRI NETS;

EID: 26444551210     PISSN: 03029743     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1007/11494744_19     Document Type: Conference Paper

References (24)

1. Callantine, T.: Activity tracking for pilot error detection from flight data. In: EAM'02, Glasgow, UK (2002)
2. Dehais, F., Tessier, C., Chaudron, L.: GHOST: experimenting conflicts countermeasures in the pilot's activity. In: IJCAI'03, Acapulco, Mexico (2003)
3. 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)
4. Song, L., Kuchar, K.: Describing, predicting, and mitigating dissonance between alerting systems. In: Human Error, Safety, and System Development, Linköping, Sweden (2001)
5. Ruckdeschel, W., Onken, R.: Modelling of pilot behaviour using Petri nets. In: ATPN'94, Zaragoza, Spain (1994)
6. Grastien, A., Cordier, M.O., Largouët, C.: Extending decentralized discrete-event modelling to diagnose reconfigurable systems. In: DX'04, Carcassonne, France (2004)
7. Lerner, U., Moses, B., Scott, M., McIlraith, S., Koller, D.: Monitoring a complex physical system using a hybrid dynamic Bayes net. In: UAI'02, Edmonton, AB (2002)
8. Alla, H., David, R.: A modeling and analysis tool for discrete event systems -continuous Petri net. Performance Evaluation 33 (1998)
9. Horton, G., Kulkarni, V., Nicol, D., Trivedi, K.: Fluid stochastic Petri nets: theory, applications and solution. Operational Research 105 (1998)
10. Champagnat, R., Pingaud, H., Valette, R.: An extension of high-level Petri nets for modelling batch systems. In: CSCC'99, Athens, Greece (1999)
11. 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'03, Saint-Malo, France (2003)
12. Christensen, S., Petrucci, L.: Towards a modular analysis of coloured Petri nets. In: ATPN'92, Sheffield, UK (1992)
13. Carpenter, J., Clifford, P., Fearnhead, P.: An improved particle filter for non-linear problems. Technical report, University of Oxford (1997)
14. Lehmann, E.: Particle filter, Ph.D. Coursework. Technical report, Australian National University (2003)
15. Wang, J.: Timed Petri nets, theory and application. Kluwer Academic Publishers (1998)
16. Bause, F., Kritzinger, P.: Stochastic Petri nets - an introduction to the theory. Viewer Verlag (2002)
17. Chachoua, M., Pacholczyk, D.: A symbolic approach to uncertainty management. Applied Intelligence 13 (2000)
18. Cardoso, J., Valette, R., Dubois, D.: Possibilistic Petri nets. IEEE Trans. on Systems, Man and Cybernetics 29 (1999)
19. 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. Kluwer Academic Publishers (2000) 1-30
20. Vu, V., Brémond, F., Thonnat, M.: Automatic video interpretation: a novel algorithm for temporal scenario recognition. In: IJCAI'03, Acapulco, Mexico (2003)
21. Intille, S., Bobick, A.: Visual recognition of multi-agent action using binary temporal relations. In: CVPR'99, Fort Collins, CO (1999)
22. Tessier, C.: Towards a commonsense estimator for activity tracking. In: AAAI Spring Symposium, Palo Alto, CA (2003)
23. Lesire, C.: A numerical/symbolic estimator for activity tracking. A preliminary report. In: KR'04 Doctoral Consortium, Whistler, BC (2004)
24. El-Sayed, M., Pacholczyk, D.: A qualitative reasoning with nuanced information. In: JELIA'02, Consenza, Italy (2002)