A New Supervisor Synthesis Approach for Discrete-Event Systems With Infinite Behavior

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...

Full description

Bibliographic Details
Main Authors: Wei Tang, Ting Jiao, Renyuan Zhang
Format: Article
Language:English
Published: IEEE 2019-01-01
Series:IEEE Access
Subjects:
Discrete-event systems
infinite behavior
<italic xmlns:ali="http://www.niso.org/schemas/ali/1.0/" xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance">ω–</italic>closure
<italic xmlns:ali="http://www.niso.org/schemas/ali/1.0/" xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance">ω–</italic>automata
Online Access:https://ieeexplore.ieee.org/document/8907818/

Internet

https://ieeexplore.ieee.org/document/8907818/

Similar Items