On tolerance of discrete systems with respect to transition perturbations

DOI10.1007/s10626-023-00386-8arXiv2110.04200OpenAlexW3207035465MaRDI QIDQ6201386

Eunsuk Kang, Stavros Tripakis, Stéphane Lafortune, Rômulo Meira-Góes

Publication date: 25 March 2024

Published in: Discrete Event Dynamic Systems (Search for Journal in Brave)

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

zbMATH Keywords

tolerancemodel uncertaintylabeled transition systemsdiscrete transition systems

Mathematics Subject Classification ID

Perturbations in control/observation systems (93C73) Discrete event control/observation systems (93C65)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Synthesis of Reactive(1) designs
• Automating the addition of fault tolerance with discrete controller synthesis
• Maximizing robustness of supervisors for partially observed discrete event systems.
• Supervisory control and reactive synthesis: a comparative introduction
• Automata, logics, and infinite games. A guide to current research
• Dealing with sensor and actuator deception attacks in supervisory control
• On the relation between reactive synthesis and supervisory control of non-terminating processes
• Synthesizing robust systems
• Synthesizing optimally resilient controllers
• Safe diagnosability for fault-tolerant supervision of discrete-event systems
• Lipschitz Robustness of Finite-state Transducers
• Robust discrete synthesis against unspecified disturbances
• On synthesizing robust discrete controllers under modeling uncertainty
• Synthesis of Fault-Tolerant Embedded Systems Using Games: From Theory to Practice
• Verification and Control of Hybrid Systems
• Supervisory Control of a Class of Discrete Event Processes
• Reaching Agreement in the Presence of Faults
• Robust and adaptive supervisory control of discrete event systems
• Robustness of supervisors for discrete-event systems
• The Modal Transition System Control Problem
• Model Uncertainty in Discrete Event Systems
• Introduction to Discrete Event Systems
• Synthesis of Supervisors Robust Against Sensor Deception Attacks
• Resilient abstraction-based controller design
• Robustness Analysis of String Transducers
• Deterministic generators and games for Ltl fragments
• Robust Linear Temporal Logic
• Formal Analysis of Discrete-Time Piecewise Affine Systems
• Control of Networked Discrete Event Systems: Dealing with Communication Delays and Losses

This page was built for publication: On tolerance of discrete systems with respect to transition perturbations