Abstract
We consider the state feedback control of parameterized discrete event systems consisting of N similar processes. The basic idea underlying the proposed approach is to exploit both the symmetry of the system to be controlled and the symmetry of the control specification in order to avoid the exploration of the entire state space. Under some assumptions, it is shown that it suffices i) to synthesize off-line a control policy for a small value of the parameter N, and ii) to infer on-line acontrol policy for a larger system, consisting of an arbitrarily large number of processes, from its current state and the previously calculated control policy. Soundness of the new synthesis method is also established.
The research described in this paper was supported in part by the Natural Sciences and Engineering Research Council of Canada (NSERC) and the Fonds québécois de la recherche sur la nature et les technologies (FQRNT).
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.
Similar content being viewed by others
References
Emerson, E.A., Kahlon, V.: Reducing model checking of the many to the few. In: McAllester, D. (ed.) CADE 2000. LNCS, vol. 1831, pp. 236–354. Springer, Heidelberg (2000)
Ramadge, P.J.G., Wonham, W.M.: The control of discrete event systems. Proceedings of the IEEE 77, 81–98 (1989)
St-Denis, R.: Designing reactive systems: Integration of abstraction techniques into a synthesis procedure. The Journal of Systems and Software 60, 103–112 (2002)
Wonham, W.M.: Notes on control of discrete-event systems. System Control Group ECE 1636F/1637S, University of Toronto (revised 2003)
Attie, P.C., Emerson, E.A.: Synthesis of concurrent systems with many similar processes. ACM Transactions on Programming Languages and Systems 20, 1–65 (1998)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2004 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Bherer, H., Desharnais, J., Frappier, M., St-Denis, R. (2004). Synthesis of State Feedback Controllers for Parameterized Discrete Event Systems. In: Wang, F. (eds) Automated Technology for Verification and Analysis. ATVA 2004. Lecture Notes in Computer Science, vol 3299. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-30476-0_42
Download citation
DOI: https://doi.org/10.1007/978-3-540-30476-0_42
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-23610-8
Online ISBN: 978-3-540-30476-0
eBook Packages: Springer Book Archive