论文信息 - Optimal sensor choice for observability in free-choice Petri nets

Optimal sensor choice for observability in free-choice Petri nets

This paper studies the optimal sensor choice for observability problem in discrete event systems (DES) modeled by interpreted free-choice Petri nets (IFCN). Taking advantage of the fact that, event-detectability is a necessary and sufficient condition for observability in live, cyclic and bounded IFCN, a structural characterization of event-detectability and a simple polynomial algorithm to choose a minimal cost sensor configuration for observability in this claw of nets are provided. This algorithm is successfully applied to an illustrative example.

O. Begovich | A. Ramirez-Trevino | L. Aguirre-Salas

[1] Nico Sanna,et al. Control and error recovery of Petri net models with event observers , 1997 .

[3] Kunihiko Hiraishi,et al. Analysis and control of discrete event systems represented by petri nets , 1988 .

[4] W. M. Wonham,et al. Decentralized control and coordination of discrete-event systems with partial observation , 1990 .

[5] E. Lopez-Mellado,et al. A Petri net scheme for DES state estimation , 2000, Proceedings of the 39th IEEE Conference on Decision and Control (Cat. No.00CH37187).

[6] Vijay K. Garg,et al. Optimal Sensor and Actuator Choices for Discrete Event Systems , 1994 .

[7] Edwin K. P. Chong,et al. Automated fault diagnosis using a discrete event systems framework , 1994, Proceedings of 1994 9th IEEE International Symposium on Intelligent Control.

[8] K. Loparo,et al. Minimizing the cardinality of an events set for supervisors of discrete-event dynamical systems , 1996, IEEE Trans. Autom. Control..