Abstract
Complex, computer controlled plants can be analyzed efficiently by reducing the very large state space to a finite state space, using abstraction. At the same time the model can be decomposed in smaller components. Automata can be used as models for — components of — such discrete event systems. Proper behaviour of the system means that the global state of the system never reaches forbidden subsets, or equivalently, that certain forbidden sequences of transitions between states never occur. Ramadge and Wonham [6] developed a framework for control of discrete event systems. The state evolution can be constrained by blocking some controllable transitions. For a class of untimed Petri nets Holloway and Krogh [4] developed an efficient algorithm for synthesizing maximally permissive control laws, guaranteeing that the state never reaches some forbidden set. It turns out that this maximally permissive control law only depends on the marking of places in a subnet of the Petri net, and that control action is only required at transitions at the boundary of this same subnet. This subnet is called the influencing net [1, 4, 7].
The results presented in this paper have been obtained within the framework of the Belgian Program on Interuniversity Attraction Poles, initiated by the Belgian State, Prime Minister’s Office, Science Policy Programming. The scientific responsibility rests with its authors. R.K. Boel is supported by the Flemish Foundation for Scientific Research as Senior Research Associate.
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
R.K. Boel, L. Ben-Naoum and V. Van Breusegem, On Forbidden State Problems for a Class of Controlled Petri Nets, IEEE-T-AC-40(10), pp. 1717–1731, 1995.
B. Brandin and W. M. Wonham, Supervisory Control of Timed Discrete Event Systems, IEEE-T-AC-39(2), pp. 329–342, 1994.
B. De Schutter, Max-algebraic System Theory for Discrete Event Systems, Ph.D. Thesis, K.U. Leuven, 1996.
L. Holloway and B.H. Krogh, Synthesis of Feedback Control Logic for a Class of Controlled Petri Nets, IEEE-T-AC-35(5), pp. 514–523, 1990.
L. Holloway, Time Measures and State Maintainability for a Class of Composed Systems, Proceedings WODES96, pp. 24–30, 1996.
P. Ramadge and W. M. Wonham, The Control of Discrete Event Systems, Proceedings IEEE, vol. 77, no.1, pp. 81–98, 1989.
R.K. Boel, B. Bordbar and G. Stremersch, A Min-Plus Polynomial Approach to Forbidden State Control for General Petri Nets, Proceedings WODES98, 1998.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1999 Springer-Verlag London Limited
About this chapter
Cite this chapter
Boel, R.K., Stremersch, G. (1999). Forbidden state control synthesis for timed Petri net models. In: Blondel, V., Sontag, E.D., Vidyasagar, M., Willems, J.C. (eds) Open Problems in Mathematical Systems and Control Theory. Communications and Control Engineering. Springer, London. https://doi.org/10.1007/978-1-4471-0807-8_13
Download citation
DOI: https://doi.org/10.1007/978-1-4471-0807-8_13
Publisher Name: Springer, London
Print ISBN: 978-1-4471-1207-5
Online ISBN: 978-1-4471-0807-8
eBook Packages: Springer Book Archive