Deterministic supervisory control with flexible upper-bounds on observation delay and control delay

Wang, Weilin; Zang, Yanwei; Takai, Shigemasa; Andrew, Lachlan L. H.; Gong, Chaohui

doi:10.1016/j.automatica.2022.110480

Cited by 4 publications

(1 citation statement)

References 36 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Nowadays, in many modern applications, the system and the agent are connected via networks to communicate sensor readings and control decisions. We call such a system as a networked DES, which has drawn considerable attention for supervisory control in the DES community over the past few years [15], [16], [18]- [23], [25]- [27]. Compared with nonnetworked DESs, the networked structure provides a more flexible and agile way to control a system.…”

Section: Introductionmentioning

confidence: 99%

Minimization of Sensor Activation in Discrete-Event Systems with Control Delays and Observation Delays

Hou¹,

Weng²,

Li³

2023

Preprint

View full text Add to dashboard Cite

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 observations. However, new challenges arise for sensor activations in networked discrete-event systems, where observation delays and control delays exist between the sensor systems and the agent. In this paper, a new framework for activating sensors in networked discrete-event systems is established. In this framework, we construct a communication automaton that explicitly expresses the interaction process between the agent and the sensor systems over the observation channel and the control channel. Based on the communication automaton, we can define dynamic observations of a communicated string. To guarantee that a sensor activation policy is physically implementable and insensitive to non-deterministic control delays and observation delays, we further introduce the definition of delay feasibility. We show that a delay feasible sensor activation policy can be used to dynamically activate sensors even if control delays and observation delays exist. A set of algorithms are developed to minimize sensor activations in a transition-based domain while ensuring a given specification condition is satisfied. A practical example is also provided to show the application of the proposed framework. Finally, we briefly discuss how to extend the proposed framework to a decentralized observation setting.

show abstract

Section: Introductionmentioning

confidence: 99%

Minimization of Sensor Activation in Discrete-Event Systems with Control Delays and Observation Delays

Hou¹,

Weng²,

Li³

2023

Preprint

View full text Add to dashboard Cite

show abstract

Offline supervisory control synthesis: taxonomy and recent developments

Fokkink,

Goorden

2024

Discrete Event Dyn Syst

View full text Add to dashboard Cite

This paper surveys recent advances in supervisory control theory since its 30th anniversary in 2017. We performed a systematic literature search and selected 272 relevant papers, with a focus on automata-based approaches. These were fitted into coherent narratives, based in part on a taxonomy of supervisor synthesis methods. The obtained papers show the fast and vast progress of the field, where recent research covers a wide range of new synthesis optimization techniques, different aspects such as fault tolerance, security, and timing, and new and diverse application domains. This survey refrains from in-depth descriptions of techniques, instead focusing on high-level contributions of recent works, how they relate to each other, and future directions for research.

show abstract