The connection is shown by a reduction of the corresponding supervisory control problem to a problem of reactive synthesis with plants and maximal permissiveness, subject to a CTL temporal logic specification.
Since EFA is an extension to finite automata, EFA is also useful for modeling traditional supervisory control problems.
The main objectives are to develop and test intelligent techniques in an hybrid system, and to study measurement and supervisory control problems.
The main objectives are to develop and test intelligent tecniques in an hybrid system, and to study measurement and supervisory control problems.
In order to establish the desired reduction, we prove two new results regarding (i) a simplified version of the standard supervisory control problem and (ii) a class of reactive synthesis problems that admit unique maximally permissive solutions.
Hence, the design problem of fault-tolerant controllers is transformed to a supervisory control problem under partial observation.
It is shown that in the supervisory control problem considered in this paper, limitations on event observation are the factors that essentially restrict supervisory control.
The following themes emerged as important: supporting vulnerable communities; new tasks and new skills; supervisory support; problem solving approaches and incentives and sustainability.
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.
Third, the factors of unsafe supervision affecting the condition of operators and their environment should be identified and classified into inadequate supervision, planned inappropriate operations, failure to correct problems, and supervisory violations.
