Advertisement

Estimation and Conflict Detection in Human Controlled Systems

  • Charles Lesire
  • Catherine Tessier
Part of the Lecture Notes in Computer Science book series (LNCS, volume 3927)

Abstract

Monitoring a hybrid system subjected to human actions needs both an estimation of the system state and an analysis of the possible conflicts in order to guarantee a safe behavior of the system. Such a monitoring principle is presented in this paper. The estimation of the hybrid system state is performed using the particle Petri net model. Then the estimated state is analysed by checking its consistency with respect to the reachable markings of the Petri net. The principle is applied to aircraft pilot’s activity tracking and conflict detection.

Keywords

Bayesian Network Hybrid System Hybrid Automaton Symbolic Transition Inconsistent Behavior 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Dehais, F., Tessier, C., Chaudron, L.: GHOST: experimenting conflicts countermeasures in the pilot’s activity. In: IJCAI, Acapulco, Mexico (2003)Google Scholar
  2. 2.
    Veeraraghavan, H., Papanikolopoulos, N.: Combining multiple tracking modalities for vehicle tracking in traffic intersections. In: ICRA, New Orleans, LA, USA (2004)Google Scholar
  3. 3.
    Koutsoukos, X., Kurien, J., Zhao, F.: Estimation of distributed hybrid systems using particle filtering methods. In: Maler, O., Pnueli, A. (eds.) HSCC 2003. LNCS, vol. 2623, Springer, Heidelberg (2003)Google Scholar
  4. 4.
    Hofbaur, M., Williams, B.: Mode estimation of probabilistic hybrid systems. In: Tomlin, C.J., Greenstreet, M.R. (eds.) HSCC 2002. LNCS, vol. 2289, Springer, Heidelberg (2002)Google Scholar
  5. 5.
    Lerner, U., Parr, R.: Inference in hybrid networks: theoretical limits and practical algorithms. In: UAI, Seattle, WA, USA (2001)Google Scholar
  6. 6.
    Doucet, A., de Freitas, N., Murphy, K., Russell, S.: Rao-Blackwellised particle filtering for dynamic Bayesian networks. In: UAI, Stanford, CA, USA (2000)Google Scholar
  7. 7.
    Chachoua, M., Pacholczyk, D.: A symbolic approach to uncertainty management. Applied Intelligence 13, 265–283 (2000)CrossRefGoogle Scholar
  8. 8.
    Benazera, E., Travé-Massuyès, L.: The consistency approach to the on-line prediction of hybrid system configurations. In: ADHS, Saint-Malo, France (2003)Google Scholar
  9. 9.
    Del Vecchio, D., Murray, R.: Discrete state estimators for a class of hybrid systems on a lattice. In: Alur, R., Pappas, G.J. (eds.) HSCC 2004. LNCS, vol. 2993, Springer, Heidelberg (2004)Google Scholar
  10. 10.
    Tomlin, C., Mitchell, I., Bayen, A., Oishi, M.: Computational techniques for the verification of hybrid systems. IEEE 91 (2003)Google Scholar
  11. 11.
    Nielsen, T., Jensen, F.: Alert systems for production plants: a methodology based on conflict analysis. In: Godo, L. (ed.) ECSQARU 2005. LNCS (LNAI), vol. 3571, Springer, Heidelberg (2005)CrossRefGoogle Scholar
  12. 12.
    Lesire, C., Tessier, C.: Particle Petri nets for aircraft procedure monitoring under uncertainty. In: ATPN, Miami, FL, USA (2005)Google Scholar
  13. 13.
    Arulampalam, S., Maskell, S., Gordon, N., Clapp, T.: A Tutorial on Particle Filters for Online Nonlinear/Non-Gaussian Bayesian Tracking. IEEE Transactions on Signal Processing 50, 174–188 (2002)CrossRefGoogle Scholar
  14. 14.
    Lehmann, E.: Particle filter. Ph.D. Coursework, Australian National Unversity (2003)Google Scholar
  15. 15.
    David, R., Alla, H.: Discrete, continuous, and hybrid Petri nets. Springer, Heidelberg (2005)MATHGoogle Scholar
  16. 16.
    Benferhat, S., Lagrue, S., Papini, O.: Revision of partially ordered information: axiomatisation, semantics and iteration. In: IJCAI, Edinburgh, UK (2005)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2006

Authors and Affiliations

  • Charles Lesire
    • 1
    • 2
  • Catherine Tessier
    • 2
  1. 1.ENSAE-SupaeroToulouseFrance
  2. 2.Onera-DCSDToulouseFrance

Personalised recommendations