Pages that link to "Item:Q360650"
From MaRDI portal
The following pages link to Complete abstractions of dynamical systems by timed automata (Q360650):
Displaying 11 items.
- Better abstractions for timed automata (Q342707) (← links)
- Asynchronous \(l\)-complete approximations (Q464604) (← links)
- Implicit semi-algebraic abstraction for polynomial dynamical systems (Q832202) (← links)
- Temporal logic model predictive control (Q889006) (← links)
- Modelling and supervisory control of hybrid dynamical systems via fuzzy \(l\)-complete approximation approach (Q1690519) (← links)
- Timed-automata abstraction of switched dynamical systems using control invariants (Q1699229) (← links)
- Dynamical properties of timed automata (Q1975199) (← links)
- Guaranteed cost \(H_\infty \) controller synthesis for switched systems defined on semi-algebraic sets (Q2252978) (← links)
- Timed-Automata Abstraction of Switched Dynamical Systems Using Control Funnels (Q2945582) (← links)
- Automatic Abstraction Refinement for Timed Automata (Q3510839) (← links)
- Abstraction Strategies for Computing Travelling or Looping Durations in Networks of Timed Automata (Q4603564) (← links)