Discretization of Continuous Dynamical Systems Using UPPAAL

DOI10.1007/978-3-319-68270-9_15MaRDI QIDQ5047046zbMATH OpenOpenAlexFDO

Authors Stefano Schivo, R. Langerak

Publication date 9 November 2022

Published in ModelEd, TestEd, TrustEd (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-319-68270-9_15

zbMATH Keywords

discretizationmodel checkingsystems biologytimed automataEuler method

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Systems biology, networks (92C42) Specification and verification (program logics, model checking, etc.) (68Q60) Discretization methods and integrators (symplectic, variational, geometric, etc.) for dynamical systems (37M15) Numerical methods for initial value problems involving ordinary differential equations (65L05)

Recommendations

• Discretization of continuous linear dynamic systems. Analysis of the methods
• Compatible discretizations for continuous dynamical systems
• scientific article; zbMATH DE number 4141910
• Discretization of Existing Continuous Control Systems
• Discretization of dynamical systems with first integrals
• scientific article; zbMATH DE number 1090370
• Discretization procedure for linear dynamical systems
• Invariance preserving discretization methods of dynamical systems
• Discretizing dynamical systems with generalized Hopf bifurcations
• Discretizing dynamical systems with Hopf-Hopf bifurcations

Cited in

(5)

• A model checking approach to discrete bifurcation analysis
• Improving the timed automata approach to biological pathway dynamics
• Reachability in dynamical systems with rounding
• Approximating Continuous Systems by Timed Automata
• scientific article; zbMATH DE number 816083 (Why is no real title available?)

This page was built for publication: Discretization of Continuous Dynamical Systems Using UPPAAL

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