Parameter synthesis of polynomial dynamical systems
From MaRDI portal
Publication:2105425
DOI10.1016/j.ic.2022.104941OpenAlexW4285498081MaRDI QIDQ2105425
Tommaso Dreossi, Alberto Casagrande, Thao Dang, Eleonora Pippia, Luca Dorigo, Carla Piazza
Publication date: 8 December 2022
Published in: Information and Computation (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.ic.2022.104941
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- The Bernstein polynomial basis: a centennial retrospective
- Reachability computation for polynomial dynamical systems
- Robustness of temporal logic specifications for continuous-time signals
- Lumping-based equivalences in Markovian automata: algorithms and applications to product-form analyses
- Simulation-equivalent reachability of large linear systems with inputs
- Sequential data assimilation of the stochastic SEIR epidemic model for regional COVID-19 dynamics
- Robust online monitoring of signal temporal logic
- \(\epsilon\)-semantics computations on biological systems
- Parameter synthesis for polynomial biological models
- On Reachability for Hybrid Automata over Bounded Time
- Validated computation of the local truncation error of Runge–Kutta methods with automatic differentiation
- Introduction to Dynamical Systems
- Ariadne: Dominance Checking of Nonlinear Hybrid Automata Using Reachability Analysis
- Parameter Synthesis Through Temporal Logic Specifications
- JuliaReach
- Verisig
- Sherlock - A tool for verification of neural network feedback systems
- Sapo
- Discrete Dynamical Systems
- Checking Temporal Properties of Discrete, Timed and Continuous Behaviors
- Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems
- Bernstein form of a polynomial
- Analog property checkers: a DDR2 case study
This page was built for publication: Parameter synthesis of polynomial dynamical systems
