Abstract
Avoiding forbidden states by a supervisory control policy may lead to a non live system, even in the case of generalized mutual exclusion constraints (GMECs) enforced by monitor places. This leads to a problem which is very interesting in practice, but difficult even for the restricted class of marked graphs (MGs). We obtain two sufficient conditions that guarantee liveness of a MG plant with uncontrollable transitions, controlled by a monitor. A set of predicates are derived that enforce, in a maximally permissive way, a mutual exclusion constraint and closed-loop liveness for live control safe MG under some restrictions. These predicates can be implemented by a Petri Net.
This work has been carried on when Franccsco Basilc was visiting the University of Zaragoza from January to .June 1999.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Giua, A., Cesare, F. D., and Silva, M. (1993). Petri net supervisors for generalized mutual exclusion constraints. Proc. 1993 IFAC World Congress (Sydney, Australia), pages 267–270.
Giua, A., DiCesare, F., and Silva, M. (1992). Generalized mutual exclusion constraints on nets with uncontrollable transitions. 1992 IEEE Int. Conf. on Systems, Man, and Cybernetics (Chigago, Illinois), pages 974–979.
Holloway, L. and Krogh, B. (1992). On closed-loop liveness of discrete-event systems under maximally permissive control. IEEE Trans. on Automatic Control, 37(5):622–697.
L.E. Holloway, B.H. Krogh, and Giua, A. (1997). A survey of petri nets methods for controlled discrete event systems. Discrete Event Dynamic Systems: Theory and Applications, 7(7):151–190.
Li, Y. and Wonham, W. (1994). Control of vector discrete-event systems II — controller synthesis. IEEE Trans. on Automatic Control, 39(3):512–531.
Recalde, L., Teruel, E., and Silva, M. (1998). On linear algebraic tecniques for liveness analysis of p/t systems. J. of Circuits, Systems, and Computers, 1(8):223–265.
Wonham, W. (1989). The control of vector discrete-event systems. Proc. of IEEE, 77(1):81–98.
Yalimalidou, K., Moody, J., Lemmon, M., and Antsaklis, P. (1996). Feedback control of petri nets based on place invariants. Automatica, 32(1):15–28.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2000 Springer Science+Business Media New York
About this chapter
Cite this chapter
Basile, F., Chiacchio, P., Recalde, L., Silva, M. (2000). Closed-Loop Live Petri Net Supervisors for GMEC. In: Boel, R., Stremersch, G. (eds) Discrete Event Systems. The Springer International Series in Engineering and Computer Science, vol 569. Springer, Boston, MA. https://doi.org/10.1007/978-1-4615-4493-7_17
Download citation
DOI: https://doi.org/10.1007/978-1-4615-4493-7_17
Publisher Name: Springer, Boston, MA
Print ISBN: 978-1-4613-7025-3
Online ISBN: 978-1-4615-4493-7
eBook Packages: Springer Book Archive