Deadlock recovery of Petri net models controlled using observers

• Published in: IEEE International Conference on Emerging Technologies and Factory Automation 2001 Vol. 2; pp. 441 - 449 vol.2
• Main Authors: Basile, F., Chiacchio, P., Giua, A., Seatzu, C.
• Format: Conference Proceeding
• Language: English
• Published: IEEE 2001
• Subjects: Control systems; Law; Legal factors; Observers; Petri nets; State estimation; State feedback; State-space methods; Sufficient conditions; System recovery
• ISBN: 0780372417; 9780780372412
• DOI: 10.1109/ETFA.2001.997718

Discusses the problem of controlling a Petri net whose marking cannot be measured but is estimated using an observer. The control objective is that of enforcing a set of generalized mutual exclusion constraints (GMEC) and all transitions are assumed to be controllable. The use of marking estimates (as opposed to the exact knowledge of the actual marking of the plant) leads to a worse performance of the closed-loop system and it may also be the case that, as a result of this, the controlled system reaches a deadlock. We present a general approach, based on siphon analysis, to recover from such an "observer induced" deadlock. The most interesting feature of our approach is that the observer, controller and deadlock recovery algorithms are all based on the same linear algebraic techniques, thus allowing the overall problem to be solved using a single formalism.