Sentence examples for supervisory control theory from inspiring English sources

Supervisory control theory deals with automatic synthesis of supervisory controllers that ensure safe behavior of the supervised system, based on the models of the uncontrolled system and the (safety) control requirements.

Mainly devoted to practical demonstrations for laboratory classes, the simulation experiments aim to illustrate the efficiency of the procedural controllers designed along the lines of supervisory control theory.

Supervisory control theory is used to test the controllability of the specifications and to derive a finite automaton representation of the admissible behaviour of the system.

Supervisory control theory is used to test the controllability of the specifications and in the final stage, to derive a model of the admissible behaviour of the system which serves as a specification for the sequential part of the controller.

Necessary and sufficient conditions for the solvability of the coordinated supervisory control synthesis problem are characterized in terms analogous to the terms of controllable and closed languages used in supervisory control theory of monolithic discrete-event systems.

Supervisory control theory deals with automated synthesis of provably correct models of supervisory controllers based on formal models of the system components and a formalization of the coordination requirements.

Furthermore, the use of symbolic models enables one to leverage techniques from supervisory control and algorithms from game theory for controller synthesis purposes.

The controller design approach is built around the theory of supervisory control based on discrete-event simulation with an event condition action (ECA) real-time rule-based system.

The object-oriented design approach is built around the formal theory of supervisory control based on Finite Automata.

Two important problems in switching control are then addressed using the DES formulation and the theory of supervisory control under partial observation.

The supervisory control is designed using the theory of hybrid systems so that an additional system is incorporated, which evolves according to the occurrence of uncontrolled events like communication intenuptions, etc. Simulations have been carried out to show the system's performance.