ATVA 2025 (series) / ATVA Papers /
Evaluation, Reduction, and Approximation of Dynamical Systems and Networks with ERODE (tool paper)
This program is tentative and subject to change.
We present ERODE, a tool introduced in 2016 to analyze and reduce differential equations and chemical reaction networks. Over the years, it has been extended with further analysis and reduction techniques, as well as formalisms including differential algebraic equations, Boolean networks, networks, and Markov chains. ERODE can import-export towards several tools including Matlab, BioNetGen, Modelica, PRISM, STORM, Stochkit, GINsim, SBML, and CoLoMoTo. It also has Python APIs.
This program is tentative and subject to change.
Tue 28 OctDisplayed time zone: Chennai, Kolkata, Mumbai, New Delhi change
Tue 28 Oct
Displayed time zone: Chennai, Kolkata, Mumbai, New Delhi change
16:00 - 17:30 | |||
16:00 30mPaper | Control Closure Certificates ATVA Papers Vishnu Murali University of Colorado Boulder, Mohammed Adib Oumer University of Colorado Boulder, Majid Zamani | ||
16:30 30mPaper | Deriving Liveness Properties of Hybrid Systems from Reachable Sets and Lyapunov-like Certificates ATVA Papers | ||
17:00 15mPaper | Evaluation, Reduction, and Approximation of Dynamical Systems and Networks with ERODE (tool paper) ATVA Papers Luca Cardelli Microsoft Research and University of Oxford, Giuseppe Squillace , Mirco Tribastone IMT Institute for Advanced Studies Lucca, Italy, Max Tschaikowski IMT Institute for Advanced Studies Lucca, Italy, Andrea Vandin DTU, Denmark | ||