Diagnosis of Hybrid Systems Using Hybrid Particle Petri Nets: Theory and Application on a Planetary Rover

Health Monitoring of a Planetary Rover Using Hybrid Particle Petri Nets

Application and Theory of Petri Nets and Concurrency - Lecture Notes in Computer Science ◽

10.1007/978-3-319-39086-4_13 ◽

2016 ◽

pp. 196-215 ◽

Cited By ~ 1

Author(s):

Quentin Gaudel ◽

Pauline Ribot ◽

Elodie Chanthery ◽

Matthew J. Daigle

Keyword(s):

Petri Nets ◽

Health Monitoring ◽

Planetary Rover ◽

Hybrid Particle

Download Full-text

Hybrid Particle Petri Nets for Systems Health Monitoring under Uncertainty

International Journal of Prognostics and Health Management ◽

10.36001/ijphm.2015.v6i4.2323 ◽

2020 ◽

Vol 6 (4) ◽

Author(s):

Quentin Gaudel ◽

Elodie Chanthery ◽

Pauline Ribot

Keyword(s):

Petri Nets ◽

Hybrid Systems ◽

Health Monitoring ◽

Particle Filtering ◽

Experimental Results ◽

Hybrid Technique ◽

Discrete Events ◽

Hybrid Particle ◽

Continuous State ◽

Tank System

This paper focuses on how to treat uncertainty in health monitoring of hybrid systems by using a model-based method. The Hybrid Particle Petri Nets (HPPN) formalism is definedin the context of health monitoring to model hybrid systems and to generate diagnosers of such systems. The main advantage of this formalism is that it takes into account knowledgebased uncertainty and uncertainty in diagnosis process. The HPPN-based diagnoser deals with occurrences of unobservable discrete events (such as faults) and is robust to false observations. It also estimates the continuous state of the system by using particle filtering. Finally, HPPN can represent the system degradation that is often dealt with using probabilistic tools. A hybrid technique is thus used to group all this knowledge and to deduce the diagnosis results. The approach is demonstrated on a three-tank system. Experimental results are given, illustrating how different kinds of uncertainty are taken into account when using HPPN.

Download Full-text

New Software Tool for Modeling and Control of Discrete-Event and Hybrid Systems Using Timed Interpreted Petri Nets

Applied Sciences ◽

10.3390/app10155027 ◽

2020 ◽

Vol 10 (15) ◽

pp. 5027 ◽

Cited By ~ 1

Author(s):

Erik Kučera ◽

Oto Haffner ◽

Peter Drahoš ◽

Ján Cigánek ◽

Roman Leskovský ◽

...

Keyword(s):

Petri Nets ◽

Hybrid Systems ◽

Industry 4.0 ◽

Discrete Event Systems ◽

Production Systems ◽

Discrete Event ◽

Software Tool ◽

Modeling And Control ◽

Event Systems ◽

And Control

For the development of modern complex production processes in Industry 4.0, it is appropriate to effectively use advanced mathematical models based on Petri nets. Due to their versatility in modeling discrete-event systems, Petri nets are an important support in creating new platforms for digitized production systems. The main aim of the proposed article is to design a new software tool for modeling and control of discrete-event and hybrid systems using Arduino and similar microcontrollers. To accomplish these tasks, a new tool called PN2ARDUINO based on Petri nets is proposed able to communicate with the microcontroller. Communication with the microcontroller is based on the modified Firmata protocol hence, the control algorithm can be implemented on all microcontrollers that support this type of protocol. The developed software tool was successfully verified in control of laboratory systems. In addition, it can be used for education and research purposes as it offers a graphical environment for designing control algorithms for hybrid and mainly discrete-event systems. The proposed software tool can improve education and practice in cyber-physical systems (Industry 4.0).

Download Full-text