37 citations · 106 across the 11 of their papers we have counts for
11 papers · 1 filter
Automatic Reconfiguration of Untimed Discrete-Event Systems
Matin Macktoobian, W. Murray Wonham
This work introduces a general formulation of the reconfiguration problem for untimed discrete-event systems (DES), which can be treated directly by supervisory control theory (SCT…
Timed Discrete-Event Systems are Synchronous Product Structures
Liyong Lin
Timed discrete-event systems (TDES), which is a modelling formalism proposed by Brandin and Wonham, can be used for modelling scheduling and production planning problems. This pape…
Automatic Generation of Optimal Reductions of Distributions
Liyong Lin, Tomáš Masopust, W. Murray Wonham +1
A reduction of a source distribution is a collection of smaller sized distributions that are collectively equivalent to the source distribution with respect to the property of deco…
Failsafe Mechanism Design of Multicopters Based on Supervisory Control Theory
Quan Quan, Zhiyao Zhao, Liyong Lin +3
In order to handle undesirable failures of a multicopter which occur in either the pre-flight process or the in-flight process, a failsafe mechanism design method based on supervis…
Characterizations and Effective Computation of Supremal Relatively Observable Sublanguages
Kai Cai, Renyuan Zhang, W. M. Wonham
Recently we proposed relative observability for supervisory control of discrete-event systems under partial observation. Relative observability is closed under set unions and hence…
Relative Coobservability in Decentralized Supervisory Control of Discrete-Event Systems
Kai Cai, Renyuan Zhang, W. M. Wonham
We study the new concept of relative coobservability in decentralized supervisory control of discrete-event systems under partial observation. This extends our previous work on rel…
Supervisor Localization of Discrete-Event Systems under Partial Observation
Renyuan Zhang, Kai Cai, W. M. Wonham
Recently we developed supervisor localization, a top-down approach to distributed control of discrete-event systems. Its essence is the allocation of monolithic (global) control ac…
Supervisor Localization of Discrete-Event Systems based on State Tree Structures
Kai Cai, W. M. Wonham
Recently we developed supervisor localization, a top-down approach to distributed control of discrete-event systems in the Ramadge-Wonham supervisory control framework. Its essence…
Relative Observability of Discrete-Event Systems and its Supremal Sublanguages
Kai Cai, Renyuan Zhang, W. Murray Wonham
We identify a new observability concept, called relative observability, in supervisory control of discrete-event systems under partial observation. A fixed, ambient language is giv…
Supervision Localization of Timed Discrete-Event Systems
Renyuan Zhang, Kai Cai, Yongmei Gan +2
We study supervisor localization for real-time discrete-event systems (DES) in the Brandin-Wonham framework of timed supervisory control. We view a real-time DES as comprised of as…
Distributed Supervisory Control of Discrete-Event Systems with Communication Delay
Renyuan Zhang, Kai Cai, Yongmei Gan +1
This paper identifies a property of delay-robustness in distributed supervisory control of discrete-event systems (DES) with communication delays. In previous work a distributed su…