Verification of continuous dynamical systems by timed automata

DOI10.1007/s10703-011-0118-0zbMath1233.68158OpenAlexW2072215604MaRDI 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

verificationreachabilityLyapunov functionstimed automata

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Stability of topological dynamical systems (37B25) Dynamics induced by flows and semiflows (37C10) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (2)

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

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

This page was built for publication: Verification of continuous dynamical systems by timed automata