Sentence examples for controller to enforce from inspiring English sources

Algorithms are presented to design a controller to enforce boundedness, reversibility, and liveness simultaneously.

Algorithms are presented to design a supervisory controller to enforce boundedness and reversibility simultaneously.

Algorithms are presented to design a controller to enforce these properties simultaneously.

It is shown that the proposed approach always finds a controller to enforce these properties whenever it is possible.

This interface is used by the SDRAN controller to enforce different policies according to requests from the virtual operators and realize effective virtualization of the access network and resource, enable quick configuration of network parameters.

Ctrl-Fis formally defined by translation to Finite State Automata models, which allow for the exploration of behavioural programs by verification or Discrete Controller Synthesis, i.e., by automatically generating a controller to enforce correct self-adaptive behaviours.

It enables model checking to verify properties (e.g., absence of objectives violations) and especially the synthesis of controllers to enforce properties.

Supervisory controller design to enforce boundedness, reversibility, and liveness in ordinary Petri nets with weighted arcs is considered.

Supervisory controller design to enforce boundedness, reversibility, and liveness in discrete-event systems with time-delays is considered.

Supervisory controller design to enforce boundedness, reversibility, and liveness in timed Petri nets with firing durations is considered.

Supervisory controller design to enforce boundedness, reversibility, and liveness in timed-transition Petri nets with firing durations is considered.