Approximating Continuous Systems by Timed Automata
From MaRDI portal
Recommendations
- Complete abstractions of dynamical systems by timed automata
- Decidable approximations on generalized and parameterized discrete timed automata
- Discretization of Continuous Dynamical Systems Using UPPAAL
- On approximative reachability analysis of biochemical dynamical systems
- Computing approximating automata for a class of linear hybrid systems
Cites work
- A theory of timed automata
- Algorithmic analysis of nonlinear hybrid systems
- Approximate reachability analysis of piecewise-linear dynamical systems
- Computational techniques for hybrid system verification
- Controlling a Class of Nonlinear Systems on Rectangles
- scientific article; zbMATH DE number 1429792 (Why is no real title available?)
- Hybrid Systems: Computation and Control
- HyTech: A model checker for hybrid systems
- IF-2.0: A validation environment for component-based real-time systems
- Orthogonal polyhedra: Representation and computation
- Reachability analysis of dynamical systems having piecewise-constant derivatives
- Reachability analysis of nonlinear systems using conservative approximation
- The algorithmic analysis of hybrid systems
- The benefits of relaxing punctuality
- Uppaal in a nutshell
- Verification of hybrid systems with linear differential inclusions using ellipsoidal approximations.
- 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
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)
