37 citations · 110 across the 12 of their papers we have counts for
13 papers
Bounded-Time Nonblocking Supervisory Control of Timed Discrete-Event Systems
Renyuan Zhang, Jiale Wu, Junhua Gou +2
Recently an automaton property of quantitative nonblockingness was proposed in supervisory control of untimed discrete-event systems (DES), which quantifies the standard nonblockin…
Quantitatively Nonblocking Supervisory Control of Discrete-Event Systems
Renyuan Zhang, Jiahao Wang, Zenghui Wang +1
In this paper, we propose two new nonblocking properties of automata as quantitative measures of maximal distances to marker states. The first property, called {\em quantitative no…
nonblocking supervisory control of discrete-event systems with infinite behavior
Ting Jiao, Renyuan Zhang, Kai Cai
In the supervisory control framework of discrete-event systems (DES) with infinite behavior initiated by Thistle and Wonham, a supervisor satisfying the minimal acceptable specific…
Supervisor Localization of Discrete-Event Systems with Infinite Behavior
Renyuan Zhang, Kai Cai
Recently we developed supervisor localization, a top-down approach to distributed control of discrete-event systems (DES) with finite behavior. Its essence is the allocation of mon…
Supervisor Localization for Large-Scale Discrete-Event Systems under Partial Observation
Renyuan Zhang, Kai Cai
Recently we developed partial-observation supervisor localization, a top-down approach to distributed control of discrete-event systems (DES) under partial observation. Its essence…
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 Timed Discrete-Event Systems under Partial Observation and Communication Delay
Renyuan Zhang, Kai Cai
We study supervisor localization for timed discrete-event systems under partial observation and communication delay in the Brandin-Wonham framework. First, we employ timed relative…
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…
Delay-Robustness in Distributed Control of Timed Discrete-Event Systems Based on Supervisor Localization
Renyuan Zhang, Kai Cai, Yongmei Gan +1
Recently we studied communication delay in distributed control of untimed discrete-event systems based on supervisor localization. We proposed a property called delay-robustness: t…
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…