Dynamically-Driven Timed Automaton Abstractions for Proving Liveness of Continuous Systems (original) (raw)
Related papers
Verification of continuous dynamical systems by timed automata
Formal Methods in System Design, 2011
Algorithmic Approach to Abstracting Linear Systems by Timed Automata*
IFAC Proceedings Volumes, 2011
Approximate timed abstractions of hybrid automata
2007 46th IEEE Conference on Decision and Control, 2007
bstraction of Dynamical Systems by Timed Automata
Modeling, Identification and Control: A Norwegian Research Bulletin, 2011
Dynamic controllability via Timed Game Automata
Acta Informatica, 2016
From Timed Automata to Logic - and Back
BRICS Report Series, 1995
Abstraction of continuous dynamical systems utilizing Lyapunov functions
49th IEEE Conference on Decision and Control (CDC), 2010
On Continuous Timed Automata with Input-Determined Guards
Lecture Notes in Computer Science, 2006
Model checking via reachability testing for timed automata
An Automata-Theoretic Approach to Infinite-State Systems
Lecture Notes in Computer Science, 2010
Theoretical Computer Science, 2003
Timed automata and robust control: Can we now control complex dynamical systems?
Durational Actions Timed Automata: Determinization and Expressiveness
International Journal of Applied Information Systems, 2012
Timed Game Abstraction of Control Systems
2010
Timed Temporal Logics for Abstracting Transient States
Proceedings of the 4th International Conference on Automated Technology For Verification and Analysis, 2006
Bounded Determinization of Timed Automata with Silent Transitions
Lecture Notes in Computer Science, 2015
Liveness of Parameterized Timed Networks
Lecture Notes in Computer Science, 2015
Mechanical verification of timed automata: a case study
1996
TAME: A Specialized Specification and Verification System for Timed Automata
1996
Reachability Preservation Based Parameter Synthesis for Timed Automata
Lecture Notes in Computer Science, 2015
The surprising robustness of (closed) timed automata against clock-drift
2008
Timed Automata with non-Instantaneous Actions
Fundamenta Informaticae, 2001
An Algorithmic approach for abstracting transient states in timed systems
International Journal of Advanced Computer Science and Applications, 2016
Proving properties of continuous systems: qualitative simulation and temporal logic
Artificial Intelligence, 1997
The Power of Reachability Testing for Timed Automata
Lecture Notes in Computer Science, 1998
Timed Automata with Asynchronous Processes: Schedulability and Decidability
2002
Towards continuous abstractions of dynamical and control systems
Lecture Notes in Computer Science, 1997
Counter-Free Input-Determined Timed Automata
Lecture Notes in Computer Science, 2007
Automated verification of continuous and hybrid dynamical systems
2017