Discretization of Continuous Dynamical Systems Using UPPAAL

DOI10.1007/978-3-319-68270-9_15zbMath1498.68142OpenAlexW2757013474MaRDI QIDQ5047046

R. Langerak, Stefano Schivo

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

discretizationtimed automataEuler methodmodel checkingsystems biology

Mathematics Subject Classification ID

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

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