Verification of continuous dynamical systems by timed automata

DOI10.1007/s10703-011-0118-0zbMath1233.68158MaRDI QIDQ763240

Rafael Wisniewski, Christoffer Sloth

Publication date: 9 March 2012

Published in: Formal Methods in System Design (Search for Journal in Brave)

Full work available at URL: https://vbn.aau.dk/ws/files/56661348/Verification_of_continuous_dynamical_systems_by_timed_automata.pdf

zbMATH Keywords

verification; reachability; Lyapunov functions; timed automata

Mathematics Subject Classification ID

68Q45: Formal languages and automata

37B25: Stability of topological dynamical systems

37C10: Dynamics induced by flows and semiflows

68Q60: Specification and verification (program logics, model checking, etc.)

Related Items

A menagerie of timed automata, Deadness and how to disprove liveness in hybrid dynamical systems

Uses Software

• Uppaal

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Structural stability on two-dimensional manifolds
• Geometric analysis of nondeterminacy in dynamical systems
• A theory of timed automata
• Abstractions for hybrid systems
• Verification, Performance Analysis and Controller Synthesis for Real-Time Systems
• Approximating Continuous Systems by Timed Automata
• Approximately Bisimilar Symbolic Models for Incrementally Stable Switched Systems
• Linear Matrix Inequalities in System and Control Theory
• Energy Functions for Morse Smale Systems
• Hybrid Systems: Computation and Control