The following pages link to (Q4736872):
Displayed 10 items.
- Synthesis of memory-efficient, clock-memory free, and non-Zeno safety controllers for timed systems (Q388224) (← links)
- MR4UM: a framework for adding fault tolerance to UML state diagrams (Q391245) (← links)
- A supervisory control method for ensuring the conformance of real-time discrete event systems (Q816702) (← links)
- Timed hyperproperties (Q821560) (← links)
- Folk theorems on the determinization and minimization of timed automata (Q845728) (← links)
- Synthesizing bounded-time 2-phase fault recovery (Q903518) (← links)
- Symbolic synthesis of masking fault-tolerant distributed programs (Q1938357) (← links)
- The complexity of automated addition of fault-tolerance without explicit legitimate states (Q2355327) (← links)
- Non-Interference Control Synthesis for Security Timed Automata (Q2864391) (← links)
- Synthesis of Non-Interferent Timed Systems (Q3648818) (← links)