Complete abstractions of dynamical systems by timed automata
From MaRDI portal
(Redirected from Publication:360650)
Recommendations
- Verification of continuous dynamical systems by timed automata
- Approximating Continuous Systems by Timed Automata
- Implicit semi-algebraic abstraction for polynomial dynamical systems
- Algorithms for exact and approximate linear abstractions of polynomial continuous systems
- Timed-automata abstraction of switched dynamical systems using control funnels
Cited in
(13)- Better abstractions for timed automata
- Temporal logic model predictive control
- Implicit semi-algebraic abstraction for polynomial dynamical systems
- Automatic Abstraction Refinement for Timed Automata
- Modelling and supervisory control of hybrid dynamical systems via fuzzy \(l\)-complete approximation approach
- Asynchronous \(l\)-complete approximations
- Approximating Continuous Systems by Timed Automata
- Timed-automata abstraction of switched dynamical systems using control invariants
- Dynamical properties of timed automata
- Timed-automata abstraction of switched dynamical systems using control funnels
- Abstraction Strategies for Computing Travelling or Looping Durations in Networks of Timed Automata
- Guaranteed cost \(H_\infty \) controller synthesis for switched systems defined on semi-algebraic sets
- Dynamically-driven timed automaton abstractions for proving liveness of continuous systems
This page was built for publication: Complete abstractions of dynamical systems by timed automata
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q360650)
