Approximating Continuous Systems by Timed Automata

DOI10.1007/978-3-540-68413-8_6zbMath1374.68262OpenAlexW1568502976MaRDI QIDQ3506869

Oded Maler, Grégory Batt

Publication date: 17 June 2008

Published in: Formal Methods in Systems Biology (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-68413-8_6

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Symbolic dynamics (37B10)

Related Items (9)

Model Checking of Biological Systems ⋮ Analyzing Oscillatory Behavior with Formal Methods ⋮ Timed-Automata Abstraction of Switched Dynamical Systems Using Control Funnels ⋮ Timed-automata abstraction of switched dynamical systems using control invariants ⋮ Abstractions Refinement for Hybrid Systems Diagnosability Analysis ⋮ Computing reachable states for nonlinear biological models ⋮ Detecting synchronisation of biological oscillators by model checking ⋮ A menagerie of timed automata ⋮ Verification of continuous dynamical systems by timed automata

Uses Software

• IF-2.0
• PHAVer
• HyTech
• Uppaal

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• The algorithmic analysis of hybrid systems
• What's decidable about hybrid automata?
• A theory of timed automata
• Reachability analysis of dynamical systems having piecewise-constant derivatives
• HyTech: A model checker for hybrid systems
• Uppaal in a nutshell
• The benefits of relaxing punctuality
• Algorithmic analysis of nonlinear hybrid systems
• Computational techniques for hybrid system verification
• Controlling a Class of Nonlinear Systems on Rectangles
• Hybrid Systems: Computation and Control

This page was built for publication: Approximating Continuous Systems by Timed Automata