Distributed Nonblocking Supervisory Control of Timed Discrete-Event Systems with Communication Delays and Losses
Y Hou, Q Li - arXiv preprint arXiv:2308.16545, 2023 - arxiv.org
In this paper, we investigate the distributed networked supervisory control problem of timed
discrete-event systems (DESs). The supervisors communicate with each other over a shared …
discrete-event systems (DESs). The supervisors communicate with each other over a shared …
Minimization of sensor activation in discrete-event systems with control delays and observation delays
Y Hou - International Journal of Control, 2024 - Taylor & Francis
In discrete-event systems, to save sensor resources, the agent continuously adjusts sensor
activation decisions according to a sensor activation policy based on the changing …
activation decisions according to a sensor activation policy based on the changing …
State Estimation for Decentralized Supervisory Control of Discrete-Event Systems with Communication Delays
Y Hou, Q Li, L Qiu, Y Ji, G Wang - 2023 42nd Chinese Control …, 2023 - ieeexplore.ieee.org
In this paper, we investigate the state estimation of decentralized supervisory control of
discrete-event systems (DESs) subject to random observation delays and control delays. We …
discrete-event systems (DESs) subject to random observation delays and control delays. We …
VERIFICATION METHOD FOR DISCRETE-EVENT SIMULATION BASED ON DISCRETE-EVENT SYSTEM FORMALISM.
As simulation models become more complex, their requirement specifications also become
more complicated and difficult to verify. This study proposes requirement modeling and …
more complicated and difficult to verify. This study proposes requirement modeling and …