Abstract
This paper focuses on the application of a Petri Net-based diagnosis method on a planetary rover prototype. The diagnosis is performed by using a model-based method in the context of health management of hybrid systems. In system health management, the diagnosis task aims at determining the current health state of a system and the fault occurrences that lead to this state. The Hybrid Particle Petri Nets (HPPN) formalism is used to model hybrid systems behavior and degradation, and to define the generation of diagnosers to monitor the health states of such systems under uncertainty. At any time, the HPPN-based diagnoser provides the current diagnosis represented by a distribution of beliefs over the health states. The health monitoring methodology is demonstrated on the K11 rover. A hybrid model of the K11 is proposed and experimental results show that the approach is robust to real system data and constraints.
This is a preview of subscription content, log in via an institution.
References
Balaban, E., Narasimhan, S., Daigle, M.J., Roychoudhury, I., Sweet, A., Bond, C., Celaya, J.R., Gorospe, G.: Development of a mobile robot test platform and methods for validation of prognostics-enabled decision making algorithms. Int. J. Prognostics Health Manag. 4(006), 1–19 (2013)
Basile, F., Chiacchio, P., Tommasi, G.D.: Fault diagnosis and prognosis in Petri Nets by using a single generalized marking estimation. In: 7th IFAC Symposium on Fault Detection, Supervision and Safety of Technical Processes, Spain (2009)
Bayoudh, M., Travé-Massuyes, L., Olive, X.: Hybrid systems diagnosis by coupling continuous and discrete event techniques. In: IFAC World Congress, Korea, pp. 7265–7270 (2008)
Cabasino, M.P., Giua, A., Seatzu, C.: Diagnosability of discrete-event systems using labeled Petri Nets. IEEE Trans. Autom. Sci. Eng. 11(1), 144–153 (2014)
Chanthery, E., Ribot, P.: An integrated framework for diagnosis and prognosis of hybrid systems. In: 3rd Workshop on Hybrid Autonomous System, Italy (2013)
Daigle, M., Roychoudhury, I., Bregon, A.: Qualitative event-based diagnosis applied to a spacecraft electrical power distribution system. Control Eng. Pract. 38, 75–91 (2015)
Daigle, M., Roychoudhury, I., Bregon, A.: Integrated diagnostics and prognostics for the electrical power system of a planetary rover. In: Annual Conference of the PHM Society, USA (2014)
Daigle, M., Sankararaman, S., Kulkarni, C.S.: Stochastic prediction of remaining driving time and distance for a planetary rover. In: IEEE Aerospace Conference (2015)
Gaudel, Q., Chanthery, E., Ribot, P., Le Corronc, E.: Hybrid systems diagnosis using modified particle Petri Nets. In: 25th International Workshop on Principles of Diagnosis, Austria (2014)
Gaudel, Q., Chanthery, E., Ribot, P.: Health monitoring of hybrid systems using hybrid particle Petri Nets. In: Annual Conference of the PHM Society, USA (2014)
Gaudel, Q., Chanthery, E., Ribot, P.: Hybrid particle Petri Nets for systems health monitoring under uncertainty. Int. J. Prognostics Health Manag. 6(022), 1–20 (2015)
Genc, S., Lafortune, S.: Distributed diagnosis of place-bordered Petri Nets. IEEE Trans. Autom. Sci. Eng. 4(2), 206–219 (2007)
Henzinger, T.: The theory of hybrid automata. In: 11th Annual IEEE Symposium on Logic in Computer Science, pp. 278–292 (1996)
Jianxiong, W., Xudong, X., Xiaoying, B., Chuang, L., Xiangzhen, K., Jianxiang, L.: Performability analysis of avionics system with multilayer HM/FM using stochastic Petri Nets. Chin. J. Aeronaut. 26(2), 363–377 (2013)
Koutsoukos, X., Kurien, J., Zhao, F.: Monitoring and diagnosis of hybrid systems using particle filtering methods. In: 15th International Symposium on Mathematical Theory of Networks and Systems, USA (2002)
Lachat, D., Krebs, A., Thueer, T., Siegwart, R.: Antarctica rover design and optimization for limited power consumption. In: 4th IFAC Symposium on Mechatronic Systems (2006)
Lesire, C., Tessier, C.: Particle Petri Nets for aircraft procedure monitoring under uncertainty. In: Ciardo, G., Darondeau, P. (eds.) ICATPN 2005. LNCS, vol. 3536, pp. 329–348. Springer, Heidelberg (2005)
Narasimhan, S., Balaban, E., Daigle, M., Roychoudhury, I., Sweet, A., Celaya, J., Goebel, K.: Autonomous decision making for planetary rovers using diagnostic and prognostic information. In: 8th IFAC Symposium on Fault Dectection, Supervision and Safety of Technical Processes, Mexico, pp. 289–294 (2012)
Narasimhan, S., Browston, L.: HyDE - a general framework for stochastic and hybrid modelbased diagnosis. In: 18th International Workshop on Principles of Diagnosis, pp. 162–169 (2007)
Ru, Y., Hadjicostis, C.N.: Fault diagnosis in discrete event systems modeled by partially observed Petri Nets. Discrete Event Dyn. Syst. 19(4), 551–575 (2009)
Sampath, M., Sengupta, R., Lafortune, S., Sinnamohideen, K., Teneketzis, D.: Diagnosability of discrete-event systems. IEEE Trans. Autom. Control 40(9), 1555–1575 (1995)
Soldani, S., Combacau, M., Subias, A., Thomas, J.: On-board diagnosis system for intermittent fault: application in automotive industry. In: 7th IFAC International Conference on Fieldbuses and Networks in Industrial and Embedded Systems, vol. 7-1, pp. 151–158 (2007)
Sweet, A., Gorospe, G., Daigle, M., Celaya, J.R., Balaban, E., Roychoudhury, I., Narasimhan, S.: Demonstration of prognostics-enabled decision making algorithms on a hardware mobile robot test platform. In: Annual Conference of the PHM Society, USA (2014)
Zouaghi, L., Alexopoulos, A., Wagner, A., Badreddin, E.: Modified particle Petri Nets for hybrid dynamical systems monitoring under environmental uncertainties. In: IEEE/SICE International Symposium on System Integration, pp. 497–502 (2011)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2016 Springer International Publishing Switzerland
About this paper
Cite this paper
Gaudel, Q., Ribot, P., Chanthery, E., Daigle, M.J. (2016). Health Monitoring of a Planetary Rover Using Hybrid Particle Petri Nets. In: Kordon, F., Moldt, D. (eds) Application and Theory of Petri Nets and Concurrency. PETRI NETS 2016. Lecture Notes in Computer Science(), vol 9698. Springer, Cham. https://doi.org/10.1007/978-3-319-39086-4_13
Download citation
DOI: https://doi.org/10.1007/978-3-319-39086-4_13
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-39085-7
Online ISBN: 978-3-319-39086-4
eBook Packages: Computer ScienceComputer Science (R0)