On tolerance of discrete systems with respect to transition perturbations
From MaRDI portal
Publication:6201386
Abstract: Control systems should enforce a desired property for both expected modeled situations as well as unexpected unmodeled environmental situations. Existing methods focus on designing controllers to enforce the desired property only when the environment behaves as expected. However, these methods lack discussion on how the system behaves when the environment is perturbed. In this paper, we propose an approach for analyzing control systems with respect to their tolerance against environmental perturbations. A control system tolerates certain environmental perturbations when it remains capable of guaranteeing the desired property despite the perturbations. Each controller inherently has a level of tolerance against environmental perturbations. We formally define this notion of tolerance and describe a general technique to compute it, for any given regular property. We also present a more efficient method to compute tolerance with respect to invariance properties. Moreover, we introduce a new controller synthesis problem based on our notion of tolerance. We demonstrate the application of our framework on an autonomous surveillance example.
Recommendations
- Robust discrete synthesis against unspecified disturbances
- Permissive controller synthesis for probabilistic systems
- On synthesizing robust discrete controllers under modeling uncertainty
- Safe environmental envelopes of discrete systems
- On tolerable and desirable behaviors in supervisory control of discrete event systems
Cites work
- Automata, logics, and infinite games. A guide to current research
- Automating the addition of fault tolerance with discrete controller synthesis
- Control of networked discrete event systems: dealing with communication delays and losses
- Dealing with sensor and actuator deception attacks in supervisory control
- Deterministic generators and games for LTL fragments
- Formal Analysis of Discrete-Time Piecewise Affine Systems
- scientific article; zbMATH DE number 1693039 (Why is no real title available?)
- scientific article; zbMATH DE number 996442 (Why is no real title available?)
- scientific article; zbMATH DE number 4124989 (Why is no real title available?)
- scientific article; zbMATH DE number 7559473 (Why is no real title available?)
- scientific article; zbMATH DE number 5585443 (Why is no real title available?)
- Introduction to Discrete Event Systems
- Lipschitz robustness of finite-state transducers
- Maximizing robustness of supervisors for partially observed discrete event systems.
- Model Uncertainty in Discrete Event Systems
- On synthesizing robust discrete controllers under modeling uncertainty
- On the relation between reactive synthesis and supervisory control of non-terminating processes
- Reaching Agreement in the Presence of Faults
- Resilient abstraction-based controller design
- Robust and adaptive supervisory control of discrete event systems
- Robust discrete synthesis against unspecified disturbances
- Robust linear temporal logic
- Robustness analysis of string transducers
- Robustness of supervisors for discrete-event systems
- Safe diagnosability for fault-tolerant supervision of discrete-event systems
- Supervisory control and reactive synthesis: a comparative introduction
- Supervisory Control of a Class of Discrete Event Processes
- Synthesis of fault-tolerant embedded systems using games: from theory to practice
- Synthesis of Reactive(1) designs
- Synthesis of Supervisors Robust Against Sensor Deception Attacks
- Synthesizing optimally resilient controllers
- Synthesizing robust systems
- The modal transition system control problem
- Verification and Control of Hybrid Systems
Cited in
(1)
This page was built for publication: On tolerance of discrete systems with respect to transition perturbations
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6201386)
