Related Experiment Video
Updated: Mar 26, 2026

Real-Time Proxy-Control of Re-Parameterized Peripheral Signals using a Close-Loop Interface
Published on: May 8, 2021
Monitor design with multiple self-loops for maximally permissive supervisors
YuFeng Chen1, ZhiWu Li2, Kamel Barkaoui3
1School of Electro-Mechanical Engineering Xidian University No. 2 South Taibai Road Xi׳an 710071, China; Cedric Lab and Computer Science Department Conservatoire National des Arts et Métiers, Paris 75141, France.
Abstract:
In this paper, we improve the previous work by considering that a control place can have multiple self-loops. Then, two integer linear programming problems (ILPPs) are formulated. Based on the first ILPP, an iterative deadlock control policy is developed, where a control place is computed at each iteration to implement as many marking/transition separation instances (MTSIs) as possible. The second ILPP can find a set of control places to implement all MTSIs and the objective function is used to minimize the number of control places. It is a non-iterative deadlock control strategy since we need to solve the ILPP only once. Both ILPPs can make all legal markings reachable in the controlled system, i.e., the obtained supervisor is behaviorally optimal. Finally, we provide examples to illustrate the proposed approaches.
More Related Videos
Related Concept Videos
Feedback Loops
Controller Configurations
Control-system compensation involves various configurations, most commonly series or cascade compensation, in which the controller...
Multi-input and Multi-variable systems
In the absence of...
PD Controller: Design
Designing a continuous-data controller requires selecting and linking components like adders and integrators, which are fundamental in Proportional,...
Positive and Negative Feedback Loops
Strategies of Self-Presentation III: Self-Monitoring

