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

discretizationEuler methodmodel checkingsystems biologytimed automata

Mathematics Subject Classification ID

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

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
• Approximating Continuous Systems by Timed Automata
• scientific article; zbMATH DE number 816083 (Why is no real title available?)
• Improving the timed automata approach to biological pathway dynamics
• Reachability in dynamical systems with rounding

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)