Networked supervisor synthesis against lossy channels with bounded network delays as non-networked synthesis

DOI10.1016/j.automatica.2022.110279zbMath1494.93046arXiv2103.11273OpenAlexW3138285222MaRDI QIDQ2151821

Ruochen Tai, Simon Ware, Rong Su, Liyong Lin, Yu-Ting Zhu

Publication date: 5 July 2022

Published in: Automatica (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/2103.11273

zbMATH Keywords

supervisory controldelayspartial observationnetworked discrete-event systemslossy channelsFIFO channelnon-FIFO channel

Mathematics Subject Classification ID

Discrete event control/observation systems (93C65) Synthesis problems (93B50) Networked control (93B70)

Related Items

Observation-assisted heuristic synthesis of covert attackers against unknown supervisors

Uses Software

• TCT
• Supremica

Cites Work

• Decentralized control of networked discrete event systems with communication delays
• Supervisory control of discrete event systems with communication delays and partial observations
• Decentralized supervisory control of discrete event systems with communication delays based on conjunctive and permissive decision structures
• Input/output discrete event processes and communication delays
• Supervisor reduction for discrete-event systems
• A new modeling framework for networked discrete-event systems
• Synthesis of covert actuator attackers for free
• On computation of supremal controllable, normal sublanguages
• Synthesis of covert actuator and sensor attackers
• Deterministic Networked Control of Discrete Event Systems With Nondeterministic Communication Delays
• Supervisor Synthesis for Networked Discrete Event Systems With Communication Delays
• Supervisory control of timed discrete-event systems
• Predictive Networked Control of Discrete Event Systems
• Synthesis of Maximally-Permissive Supervisors for the Range Control Problem
• State Estimation of Multichannel Networked Discrete Event Systems
• Model Abstraction of Nondeterministic Finite-State Automata in Supervisor Synthesis
• Robust and nonblocking supervisory control of nondeterministic discrete event systems using trajectory models
• Decentralized Control of Discrete-Event Systems With Bounded or Unbounded Delay Communication
• Delay-Robust Supervisory Control of Discrete-Event Systems With Bounded Communication Delays
• Control of Networked Discrete Event Systems: Dealing with Communication Delays and Losses