Complete abstractions of dynamical systems by timed automata
From MaRDI portal
Publication:360650
DOI10.1016/J.NAHS.2012.05.003zbMATH Open1271.68146OpenAlexW2031364117MaRDI QIDQ360650
Rafael Wisniewski, Christoffer Sloth
Publication date: 27 August 2013
Published in: Nonlinear Analysis. Hybrid Systems (Search for Journal in Brave)
Full work available at URL: http://www.sciencedirect.com/science/article/pii/S1751570X12000180
Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60)
Related Items (8)
Better abstractions for timed automata ⋮ Timed-Automata Abstraction of Switched Dynamical Systems Using Control Funnels ⋮ Temporal logic model predictive control ⋮ Modelling and supervisory control of hybrid dynamical systems via fuzzy \(l\)-complete approximation approach ⋮ Automatic Abstraction Refinement for Timed Automata ⋮ Timed-automata abstraction of switched dynamical systems using control invariants ⋮ 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
Uses Software
This page was built for publication: Complete abstractions of dynamical systems by timed automata
