Pages that link to "Item:Q1699229"
From MaRDI portal
The following pages link to Timed-automata abstraction of switched dynamical systems using control invariants (Q1699229):
Displaying 4 items.
- Zone-based verification of timed automata: extrapolations, simulations and what next? (Q2112098) (← links)
- Verification of \(N\)-\(M\) switching control system: a case study in temporal logic model checking (Q2922712) (← links)
- Abstraction, discretization, and robustness in temporal logic control of dynamical systems (Q2986982) (← links)
- On a simplified untiming procedure for supervisory control of timed automata when the time increases strictly monotonically (Q4454754) (← links)