On Computation Reduction of Liveness-Enforcing Supervisors
It is well recognized that the computation of an optimal liveness-enforcing supervisor (optimal supervisor for short) for a sequential resource allocation system is intractable due to the nature of the problem itself, since an integer linear programming model has to be formulated to find its solutio...
| Main Authors: | , , , , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
IEEE
2017-01-01
|
| Series: | IEEE Access |
| Subjects: | |
| Online Access: | https://ieeexplore.ieee.org/document/8006327/ |