A New Supervisor Synthesis Approach for Discrete-Event Systems With Infinite Behavior
w-closure (together with w-controllability) plays an important role in the supervisor synthesis for liveness specifications imposed on discrete-event systems (DESs) with infinite behavior. However, it is not closed under arbitrary unions, and thus there does not exist the supremal w-closed (and w-co...
Main Authors: | , , |
---|---|
Format: | Article |
Language: | English |
Published: |
IEEE
2019-01-01
|
Series: | IEEE Access |
Subjects: | |
Online Access: | https://ieeexplore.ieee.org/document/8907818/ |