Sentence examples for supervisory control synthesis from inspiring English sources

These formulae are used as input for a supervisory control synthesis tool chain, resulting in a logic controller that is correct by design.

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.

In this paper, the supervisory control synthesis of modular or distributed discrete-event systems is discussed.

We propose to integrate performance evaluation with supervisory control synthesis to bring higher confidence in the control design.

Moreover, supervisory control synthesis can be integrated in this setting, which can further contribute to the development of control systems.

To this end, we extend and employ a model-based engineering framework for supervisory controller synthesis.

The reduction complements prior work at the boundary of supervisory control and reactive synthesis.

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.

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.

In that way, advantages and drawbacks of the logic program synthesis using supervisory control theory are here discussed.

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