Approximating Continuous Systems by Timed Automata

DOI10.1007/978-3-540-68413-8_6MaRDI QIDQ3506869zbMATH OpenOpenAlexFDO

Authors 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

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

Recommendations

• Complete abstractions of dynamical systems by timed automata
• scientific article; zbMATH DE number 1798172
• Discretization of Continuous Dynamical Systems Using UPPAAL
• On approximative reachability analysis of biochemical dynamical systems
• scientific article; zbMATH DE number 1301612

Cites work

• A theory of timed automata
• Algorithmic analysis of nonlinear hybrid systems
• Computational techniques for hybrid system verification
• Controlling a Class of Nonlinear Systems on Rectangles
• scientific article; zbMATH DE number 1303061 (Why is no real title available?)
• scientific article; zbMATH DE number 1956619 (Why is no real title available?)
• scientific article; zbMATH DE number 1905116 (Why is no real title available?)
• scientific article; zbMATH DE number 1429792 (Why is no real title available?)
• scientific article; zbMATH DE number 1444339 (Why is no real title available?)
• scientific article; zbMATH DE number 1444343 (Why is no real title available?)
• Hybrid Systems: Computation and Control
• HyTech: A model checker for hybrid systems
• Reachability analysis of dynamical systems having piecewise-constant derivatives
• The algorithmic analysis of hybrid systems
• The benefits of relaxing punctuality
• Uppaal in a nutshell
• What's decidable about hybrid automata?

Cited in

(16)

• Timed-automata abstraction of switched dynamical systems using control invariants
• Analyzing oscillatory behavior with formal methods
• Timed-automata abstraction of switched dynamical systems using control funnels
• Complete abstractions of dynamical systems by timed automata
• On a simplified untiming procedure for supervisory control of timed automata when the time increases strictly monotonically
• Dynamically-driven timed automaton abstractions for proving liveness of continuous systems
• Automata-Based Computation of Temporal Equilibrium Models
• On approximative reachability analysis of biochemical dynamical systems
• Abstractions Refinement for Hybrid Systems Diagnosability Analysis
• A menagerie of timed automata
• Discrete abstraction of multiaffine systems
• Model checking of biological systems
• Computing reachable states for nonlinear biological models
• Reachability in dynamical systems with rounding
• Verification of continuous dynamical systems by timed automata
• Detecting synchronisation of biological oscillators by model checking

Describes a project that uses

Uses Software

• PHAVer
• IF-2.0
• HyTech
• Uppaal

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3506869)