Submodule Construction and Supervisory Control: A Generalization

We consider the following problem: For a system consisting of two submodules, the behavior of one submodule is known as well as the desired behavior S of the global system. What should be the behavior of the second submodule such that the behavior of the composition of the two submodules conforms to S? - This problem has also been called equation solving, and in the context of supervisory control, it is the problem of designing a suitable controller (second submodule) which controls a given system to be controlled (first submodule). Solutions to this problem have been described by different authors for various assumptions about the underlying communication mechanisms and conformance relations. We present a generalization of this problem and its solution using concepts from relational database theory. We also show that several of the existing solutions are special cases of our general formulation.

[1]  Jana Kosecka,et al.  Control of Discrete Event Systems , 1992 .

[2]  Tiziano Villa,et al.  Synthesis of FSMs: functional optimization , 1997 .

[3]  Nina Yevtushenko,et al.  Testing in context: framework and test derivation , 1996, Comput. Commun..

[4]  John G. Thistle,et al.  On control of systems modelled as deterministic Rabin automata , 1995, Discret. Event Dyn. Syst..

[5]  Joseph Sifakis,et al.  On the Synthesis of Discrete Controllers for Timed Systems (An Extended Abstract) , 1995, STACS.

[6]  Joachim Parrow,et al.  Submodule Construction as Equation Solving in CCS , 1989, Theor. Comput. Sci..

[7]  Hasan Ural,et al.  Submodule construction from concurrent system specifications , 1999, Inf. Softw. Technol..

[8]  Submodule construction for systems of I / O automata * , 1999 .

[9]  David Maier,et al.  The Theory of Relational Databases , 1983 .

[10]  Gregor von Bochmann,et al.  On the Construction of Submodule Specifications and Communication Protocols , 1983, TOPL.

[11]  George W. Hart,et al.  Synthesis of Protocols and Protocol Converters Using the Submodule Construcion Approach , 1993, PSTV.

[12]  W. M. Wonham,et al.  The control of discrete event systems , 1989 .

[13]  Serge Abiteboul,et al.  Foundations of Databases , 1994 .

[14]  W. Wonham,et al.  The supervisory control of timed discrete-event systems , 1992, [1992] Proceedings of the 31st IEEE Conference on Decision and Control.

[15]  Gregor von Bochmann,et al.  A formal method for synthesizing optimized protocol converters and its application to mobile data networks , 1997, Mob. Networks Appl..

[16]  Tiziano Villa,et al.  Synthesis by Language Equation Solving : Extended Abstract , .

[17]  A. Tustin.  Automatic Control , 1951, Nature.

[18]  Nina Yevtushenko,et al.  Solving Asynchronous Equations , 1998, FORTE.

[19]  G. Bochmann.  Submodule construction – the inverse of composition , 2022 .

[20]  G. Bochmann,et al.  Submodule construction for systems of timed I / O automata * , 2000 .

[21]  C. A. R. Hoare,et al.  Communicating sequential processes , 1978, CACM.