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
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.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Dehais, F., Tessier, C., Chaudron, L.: GHOST: experimenting conflicts countermeasures in the pilot’s activity. In: IJCAI, Acapulco, Mexico (2003)
Veeraraghavan, H., Papanikolopoulos, N.: Combining multiple tracking modalities for vehicle tracking in traffic intersections. In: ICRA, New Orleans, LA, USA (2004)
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)
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)
Lerner, U., Parr, R.: Inference in hybrid networks: theoretical limits and practical algorithms. In: UAI, Seattle, WA, USA (2001)
Doucet, A., de Freitas, N., Murphy, K., Russell, S.: Rao-Blackwellised particle filtering for dynamic Bayesian networks. In: UAI, Stanford, CA, USA (2000)
Chachoua, M., Pacholczyk, D.: A symbolic approach to uncertainty management. Applied Intelligence 13, 265–283 (2000)
Benazera, E., Travé-Massuyès, L.: The consistency approach to the on-line prediction of hybrid system configurations. In: ADHS, Saint-Malo, France (2003)
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)
Tomlin, C., Mitchell, I., Bayen, A., Oishi, M.: Computational techniques for the verification of hybrid systems. IEEE 91 (2003)
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)
Lesire, C., Tessier, C.: Particle Petri nets for aircraft procedure monitoring under uncertainty. In: ATPN, Miami, FL, USA (2005)
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)
Lehmann, E.: Particle filter. Ph.D. Coursework, Australian National Unversity (2003)
David, R., Alla, H.: Discrete, continuous, and hybrid Petri nets. Springer, Heidelberg (2005)
Benferhat, S., Lagrue, S., Papini, O.: Revision of partially ordered information: axiomatisation, semantics and iteration. In: IJCAI, Edinburgh, UK (2005)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2006 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Lesire, C., Tessier, C. (2006). Estimation and Conflict Detection in Human Controlled Systems. In: Hespanha, J.P., Tiwari, A. (eds) Hybrid Systems: Computation and Control. HSCC 2006. Lecture Notes in Computer Science, vol 3927. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11730637_31
Download citation
DOI: https://doi.org/10.1007/11730637_31
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-33170-4
Online ISBN: 978-3-540-33171-1
eBook Packages: Computer ScienceComputer Science (R0)