Skip to main content
Fachgebiete
Automobil + Motoren Bauwesen + Immobilien Business IT + Informatik Elektrotechnik + Elektronik Energie + Nachhaltigkeit Finance + Banking Management + Führung Marketing + Vertrieb Maschinenbau + Werkstoffe Versicherung + Risiko
DE
EN
Bücher
Zeitschriften
Themenseiten
Organisationspsychologie Projektmanagement Marketing Smart Manufacturing
Weitere Formate
Podcasts Webinare Technik Webinare Wirtschaft Kongresse Veranstaltungskalender Awards
Jetzt Einzelzugang starten
Zugang für Unternehmen
Referenzkunden
SLX-Digitalkonferenz: Zukunftswerkstatt 2024

Mehr Umsatz mit Top-Kontakten

Am 7. Mai erfahren Sie, wie Vertriebsteams Leadgenerierung, Leadnurturing und Leadstrategien effizient steuern können.
Erweiterte Suche
Anmelden
nach oben
Erschienen in:
Reasoning About Discovery Clouds Kapitel lesen Erstes Kapitel lesen

2016 | OriginalPaper | Buchkapitel

Health Monitoring of a Planetary Rover Using Hybrid Particle Petri Nets

verfasst von : Quentin Gaudel, Pauline Ribot, Elodie Chanthery, Matthew J. Daigle

Erschienen in: Application and Theory of Petri Nets and Concurrency

Verlag: Springer International Publishing

Einloggen

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

search-config
loading …

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.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 102.000 Bücher
  • über 537 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Jetzt informieren

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 390 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Maschinenbau + Werkstoffe




 

Jetzt Wissensvorsprung sichern!

Jetzt informieren

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 340 Zeitschriften

aus folgenden Fachgebieten:

  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Versicherung + Risiko




Jetzt Wissensvorsprung sichern!

Jetzt informieren
Vorheriges Kapitel ABCD: A User-Friendly Language for Formal Modelling and Analysis
Nächstes Kapitel Merging Alignments for Decomposed Replay
Literatur
1.
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)
2.
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)
3.
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)
4.
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)CrossRef
5.
Chanthery, E., Ribot, P.: An integrated framework for diagnosis and prognosis of hybrid systems. In: 3rd Workshop on Hybrid Autonomous System, Italy (2013)
6.
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)CrossRef
7.
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)
8.
Daigle, M., Sankararaman, S., Kulkarni, C.S.: Stochastic prediction of remaining driving time and distance for a planetary rover. In: IEEE Aerospace Conference (2015)
9.
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)
10.
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)
11.
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)
12.
Genc, S., Lafortune, S.: Distributed diagnosis of place-bordered Petri Nets. IEEE Trans. Autom. Sci. Eng. 4(2), 206–219 (2007)CrossRef
13.
Henzinger, T.: The theory of hybrid automata. In: 11th Annual IEEE Symposium on Logic in Computer Science, pp. 278–292 (1996)
14.
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)CrossRef
15.
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)
16.
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)
17.
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)CrossRefMATH
18.
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)
19.
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)
20.
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)MathSciNetCrossRefMATH
21.
Sampath, M., Sengupta, R., Lafortune, S., Sinnamohideen, K., Teneketzis, D.: Diagnosability of discrete-event systems. IEEE Trans. Autom. Control 40(9), 1555–1575 (1995)MathSciNetCrossRefMATH
22.
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)
23.
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)
24.
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)
Metadaten
Titel
Health Monitoring of a Planetary Rover Using Hybrid Particle Petri Nets
verfasst von
Quentin Gaudel
Pauline Ribot
Elodie Chanthery
Matthew J. Daigle
Copyright-Jahr
2016
Buch
Application and Theory of Petri Nets and Concurrency

Print ISBN: 978-3-319-39085-7

Electronic ISBN: 978-3-319-39086-4

Copyright-Jahr: 2016

DOI
https://doi.org/10.1007/978-3-319-39086-4_13