Modular control of large distributed discrete event systems

• Autorzy: Komenda J.
• Języki publikacji: EN

Abstrakty

EN

Coalgebra and coinduction provide new results and insights for modular supervisory control of discrete-event systems (DES), where the overall system is composed of subsystems that are combined in synchronous (parallel) product. Modular supervisory control is studied within the coalgebraic framework. Coinduction has been used to define an operation on languages called supervised product, and synchronous product is defined by coinduction. We have shown recently that the supremal controllable sublanguage of a given language can be defined by coinduction as well. We study the commutativity between the synchronous product and supremal controllable and normal sublanguage. The results guarantee that under the conditions derived in the paper control synthesis can be done locally without affecting the optimality of the solution.

Słowa kluczowe

EN

discrete event system; coalgebraic framework; control system synthesis; control synthesis; distributed control; large scale system

• Wydawca: Oficyna Wydawnicza Politechniki Wrocławskiej
• Czasopismo: Systems Science
• Rocznik: 2004
• Tom: Vol. 30, no 1
• Strony: 51--63
• Opis fizyczny: Bibliogr. 12 poz.

Twórcy

autor

Komenda J.

• Institute of Mathematics, Czech Academy of Sciences, Brno Branch, Zizkova 22, 616 62 Brno, Czech Republic,

Bibliografia

• [1] Cassandras S. G., Lafortune S., Introduction to Discrete Event Systems, Kluwer Academic Publishers, Dordrecht 1999.
• [2] Komenda J., Computation of Supremal Sublanguages of Supervisory Control Using Coalgebra, Proceedings IFAC WODES'02, Workshop on Discrete-Event Systems Zaragoza (Spain), October 2002, 26-33.
• [3] Komenda J., Van Schuppen J. H., Supremal Normal Sublanguages of Large Distributed Discrete Event Systems, to Appear in Proceedings IFAC WODES'04, Workshop on Discrete-Event Systems, Reims (France), September 22-24, 2004.
• [4] Milner R., Communication and Concurrency, Prentice-Hall International Series in Computer Science, New York 1989.
• [5] Rutten J. J. M. M., Coalgebra, Concurrency, and Control, Research Report CWI, SEN-R9921, Amsterdam, November 1999. Available also at http://www.cwi.nl/~janr.
• [6] Rutten J. J. M. M., Universal Coalgebra: A Theory of Systems, Theoretical Computer Science 249(1): 3-80, 2000.
• [7] Ramadge p. J., wonham W. M., The Control of Discrete-Event Systems, Proc. IEEE, 77: 81-98, 1989.
• [8] Tsitsiklis J. N., On the Control of Discrete-Event Dynamical Systems, Mathematics of Control, Signal, and Systems, 95-107, 1989.
• [9] Willner Y., Heymann M., Supervisory control of concurrent discrete-event systems. International Journal of Control, 54(5): 1143-1166, 1991.
• [10] Wong K. C., Lee S., Structural Decentralized Control of Concurrent Discrete-Event Systems, European Journal of Control, 0: 1-15, 2002.
• [11] Wonham w. M., Ramadge P. J., Modular supervisory control of discrete-event processes. Mathematics of Control, Signal and Systems, 1: 13-30, 1988.
• [12] Yog T. S., Lafortune S., Lin F., A Uniform Approach for Computing Supremal Sublanguages Arising in Supervisory Control Theory, Preprint, Dept. of Electrical Engineering and Computer Science, University of Michigan, Ann Arbor 2001.