Automating the addition of fault tolerance with discrete controller synthesis

DOI10.1007/s10703-009-0084-yzbMath1186.68051OpenAlexW2089237214MaRDI QIDQ1041296

Alain Girault, Éric Rutten

Publication date: 2 December 2009

Published in: Formal Methods in System Design (Search for Journal in Brave)

Full work available at URL: https://hal.inria.fr/hal-00748687/file/main.pdf

zbMATH Keywords

fault tolerant systemsautomatic fault tolerancediscrete controller synthesis

Mathematics Subject Classification ID

Reliability, testing and fault tolerance of networks and computer systems (68M15)

Related Items (11)

Graph Games and Reactive Synthesis ⋮ Symbolic synthesis of masking fault-tolerant distributed programs ⋮ Synthesizing bounded-time 2-phase fault recovery ⋮ On tolerance of discrete systems with respect to transition perturbations ⋮ Automation of fault-tolerant graceful degradation ⋮ Synthesizing robust systems ⋮ Active fault tolerant control of discrete event systems using online diagnostics ⋮ Synthesis of Fault-Tolerant Embedded Systems Using Games: From Theory to Practice ⋮ Synthesizing Optimally Resilient Controllers ⋮ Synthesizing optimally resilient controllers ⋮ The complexity of automated addition of fault-tolerance without explicit legitimate states

Uses Software

• Sycraft

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Scheduler modeling based on the controller synthesis paradigm
• Using branching time temporal logic to synthesize synchronization skeletons
• On observability of discrete-event systems
• On the control of discrete-event dynamical systems
• A trace-based compositional proof theory for fault tolerant distributed systems
• Dynamic partitioning in linear relation analysis: application to the verification of reactive systems
• Synthesis of discrete-event controllers based on the signal environment
• Decentralized supervisory control of discrete-event systems
• On optimal control of a class of partially observed discrete event systems
• Mode-automata: A new domain-specific construct for the development of safe critical systems.
• Formally Verifying Fault Tolerant System Designs
• Grammar Analysis and Parsing by Abstract Interpretation
• Graph-Based Algorithms for Boolean Function Manipulation
• Supervisory Control of a Class of Discrete Event Processes
• Supervisory control of discrete-event processes with partial observations
• The Byzantine Generals Problem
• An Optimal Control Theory for Discrete Event Systems
• On the Synthesis of Optimal Schedulers in Discrete Event Control Problems with Multiple Goals
• Optimal Supervisory Control of Discrete Event Dynamical Systems
• Decentralized Control of Discrete-Event Systems With Bounded or Unbounded Delay Communication
• CONCUR 2005 – Concurrency Theory

This page was built for publication: Automating the addition of fault tolerance with discrete controller synthesis