Advertisement

Synthesis of State Feedback Controllers for Parameterized Discrete Event Systems

  • Hans Bherer
  • Jules Desharnais
  • Marc Frappier
  • Richard St-Denis
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 3299)

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.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    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)CrossRefGoogle Scholar
  2. 2.
    Ramadge, P.J.G., Wonham, W.M.: The control of discrete event systems. Proceedings of the IEEE 77, 81–98 (1989)CrossRefGoogle Scholar
  3. 3.
    St-Denis, R.: Designing reactive systems: Integration of abstraction techniques into a synthesis procedure. The Journal of Systems and Software 60, 103–112 (2002)CrossRefGoogle Scholar
  4. 4.
    Wonham, W.M.: Notes on control of discrete-event systems. System Control Group ECE 1636F/1637S, University of Toronto (revised 2003) Google Scholar
  5. 5.
    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)CrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2004

Authors and Affiliations

  • Hans Bherer
    • 1
  • Jules Desharnais
    • 1
  • Marc Frappier
    • 2
  • Richard St-Denis
    • 2
  1. 1.Département d’informatique et de génie logicielUniversité LavalQuébecCanada
  2. 2.Département d’informatiqueUniversité de SherbrookeSherbrookeCanada

Personalised recommendations