Thats a unique idea.You should consider the following idea to enhance your idea so that it would impact uniquely: Summary form only given. Over the last 25 years, methods for supervisory control of discrete event systems and methods for submodule construction based on state machine specifications have been developed quite independently by different research communities. The purpose of this paper is to give a summary of the results in these two areas and to point out the many similarities and certain differences beten the approaches taken by these two communities. The basic problem, in both cases, is to find the behavior of a single submodule X such that combined with a given submodule C, this composition exhibits a behavior that conforms to a given specification S. In the case of supervisory control, the submodule C is an existing system that is to be controlled by the controller X in such a manner that a behavior compatible with S is obtained.  discuss the main issues that must be addressed for solving this problem, review certain conditions for the existence of a solution, and present the major solution algorithms.  also discuss the different treatment of allod and required behavior, and the difficulties that arise in the context of different communication paradigms (for instance, distinguishing controllability, observability, input/output, synchronous and asynchronous communication) and different specification formalisms.
['Gregor von Bochmann', 'Bassel Daou']
I am writing a research paper on a idea Comparison of methods for supervisory control and submodule construction
[{"from": "human", "value": "I am writing a research paper on a idea Comparison of methods for supervisory control and submodule construction"}, {"from": "gpt", "value": "Thats a unique idea.You should consider the following idea to enhance your idea so that it would impact uniquely: Summary form only given. Over the last 25 years, methods for supervisory control of discrete event systems and methods for submodule construction based on state machine specifications have been developed quite independently by different research communities. The purpose of this paper is to give a summary of the results in these two areas and to point out the many similarities and certain differences beten the approaches taken by these two communities. The basic problem, in both cases, is to find the behavior of a single submodule X such that combined with a given submodule C, this composition exhibits a behavior that conforms to a given specification S. In the case of supervisory control, the submodule C is an existing system that is to be controlled by the controller X in such a manner that a behavior compatible with S is obtained.  discuss the main issues that must be addressed for solving this problem, review certain conditions for the existence of a solution, and present the major solution algorithms.  also discuss the different treatment of allod and required behavior, and the difficulties that arise in the context of different communication paradigms (for instance, distinguishing controllability, observability, input/output, synchronous and asynchronous communication) and different specification formalisms."}]