Submodule Construction and Supervisory Control: A Generalization

  • Gregor v. Bochmann
Conference paper

DOI: 10.1007/3-540-36390-4_3

Part of the Lecture Notes in Computer Science book series (LNCS, volume 2494)
Cite this paper as:
Bochmann G.. (2002) Submodule Construction and Supervisory Control: A Generalization. In: Watson B.W., Wood D. (eds) Implementation and Application of Automata. CIAA 2001. Lecture Notes in Computer Science, vol 2494. Springer, Berlin, Heidelberg


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


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 2002

Authors and Affiliations

  • Gregor v. Bochmann
    • 1
  1. 1.School of Information Technology and Engineering (SITE)University of OttawaCanada

Personalised recommendations