Automating the addition of fault tolerance with discrete controller synthesis
From MaRDI portal
Recommendations
- Automated constraint-based addition of nonmasking and stabilizing fault-tolerance
- Synthesis of fault-tolerant embedded systems using games: from theory to practice
- Synthesis of fault-tolerant distributed systems
- Mechanical Verification of Automatic Synthesis of Fault-Tolerant Programs
- Symbolic synthesis of masking fault-tolerant distributed programs
Cites work
- A trace-based compositional proof theory for fault tolerant distributed systems
- An Optimal Control Theory for Discrete Event Systems
- CONCUR 2005 – Concurrency Theory
- Decentralized Control of Discrete-Event Systems With Bounded or Unbounded Delay Communication
- Decentralized supervisory control of discrete-event systems
- Dynamic partitioning in linear relation analysis: application to the verification of reactive systems
- Formally verifying fault tolerant system designs
- Grammar Analysis and Parsing by Abstract Interpretation
- Graph-Based Algorithms for Boolean Function Manipulation
- scientific article; zbMATH DE number 3126094 (Why is no real title available?)
- scientific article; zbMATH DE number 42752 (Why is no real title available?)
- scientific article; zbMATH DE number 1956553 (Why is no real title available?)
- Mode-automata: A new domain-specific construct for the development of safe critical systems.
- On observability of discrete-event systems
- On optimal control of a class of partially observed discrete event systems
- On the control of discrete-event dynamical systems
- On the Synthesis of Optimal Schedulers in Discrete Event Control Problems with Multiple Goals
- Optimal Supervisory Control of Discrete Event Dynamical Systems
- Scheduler modeling based on the controller synthesis paradigm
- Supervisory Control of a Class of Discrete Event Processes
- Supervisory control of discrete-event processes with partial observations
- Synthesis of discrete-event controllers based on the signal environment
- The Byzantine Generals Problem
- Using branching time temporal logic to synthesize synchronization skeletons
Cited in
(14)- Automation of fault-tolerant graceful degradation
- Symbolic synthesis of masking fault-tolerant distributed programs
- Synthesizing robust systems
- Synthesizing optimally resilient controllers
- The complexity of automated addition of fault-tolerance without explicit legitimate states
- Synthesis of fault-tolerant embedded systems using games: from theory to practice
- Graph Games and Reactive Synthesis
- Synthesizing Optimally Resilient Controllers
- Synthesizing masking fault-tolerant systems from deontic specifications
- Active fault tolerant control of discrete event systems using online diagnostics
- Automated constraint-based addition of nonmasking and stabilizing fault-tolerance
- On tolerance of discrete systems with respect to transition perturbations
- Safe environmental envelopes of discrete systems
- Synthesizing bounded-time 2-phase fault recovery
This page was built for publication: Automating the addition of fault tolerance with discrete controller synthesis
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1041296)
