Automating the addition of fault tolerance with discrete controller synthesis
type: Item
instance of: scholarly article
title: Automating the addition of fault tolerance with discrete controller synthesis
zbMATH Open document ID: 1186.68051
author: Alain Girault
author: E. Rutten
published in: Formal Methods in System Design
publication date: 2009-12-02T00:00:00Z
full work available at URL: main.pdf
Mathematics Subject Classification ID: 68M15
zbMATH DE Number: 5641454
zbMATH Keywords: fault tolerant systems
zbMATH Keywords: discrete controller synthesis
zbMATH Keywords: automatic fault tolerance
describes a project that uses: Sycraft
MaRDI profile type: MaRDI publication profile
OpenAlex ID: W2089237214
cites work: Q4417893
cites work: Scheduler modeling based on the controller synthesis paradigm
cites work: Q3241581
cites work: Formally verifying fault tolerant system designs
cites work: Graph-Based Algorithms for Boolean Function Manipulation
cites work: CONCUR 2005 – Concurrency Theory
cites work: Supervisory control of discrete-event processes with partial observations
cites work: Grammar Analysis and Parsing by Abstract Interpretation
cites work: Using branching time temporal logic to synthesize synchronization skeletons
cites work: Dynamic partitioning in linear relation analysis: application to the verification of reactive systems
cites work: Optimal Supervisory Control of Discrete Event Dynamical Systems
cites work: The Byzantine Generals Problem
cites work: Decentralized supervisory control of discrete-event systems
cites work: On observability of discrete-event systems
cites work: Mode-automata: A new domain-specific construct for the development of safe critical systems.
cites work: On the Synthesis of Optimal Schedulers in Discrete Event Control Problems with Multiple Goals
cites work: Synthesis of discrete-event controllers based on the signal environment
cites work: On optimal control of a class of partially observed discrete event systems
cites work: Q3992568
cites work: Supervisory Control of a Class of Discrete Event Processes
cites work: A trace-based compositional proof theory for fault tolerant distributed systems
cites work: An Optimal Control Theory for Discrete Event Systems
cites work: Decentralized Control of Discrete-Event Systems With Bounded or Unbounded Delay Communication
cites work: On the control of discrete-event dynamical systems
DOI: 10.1007/S10703-009-0084-Y
description: scientific article; zbMATH DE number 5641454