Pages that link to "Item:Q1041296"
From MaRDI portal
The following pages link to Automating the addition of fault tolerance with discrete controller synthesis (Q1041296):
Displaying 12 items.
- Active fault tolerant control of discrete event systems using online diagnostics (Q534270) (← links)
- Synthesizing bounded-time 2-phase fault recovery (Q903518) (← links)
- Automation of fault-tolerant graceful degradation (Q1733388) (← links)
- Symbolic synthesis of masking fault-tolerant distributed programs (Q1938357) (← links)
- Synthesizing robust systems (Q2249662) (← links)
- Synthesizing optimally resilient controllers (Q2303880) (← links)
- The complexity of automated addition of fault-tolerance without explicit legitimate states (Q2355327) (← links)
- Synthesis of Fault-Tolerant Embedded Systems Using Games: From Theory to Practice (Q3075475) (← links)
- Graph Games and Reactive Synthesis (Q3176385) (← links)
- Synthesizing Optimally Resilient Controllers (Q5079759) (← links)
- On tolerance of discrete systems with respect to transition perturbations (Q6201386) (← links)
- Safe environmental envelopes of discrete systems (Q6535638) (← links)
