Parameter synthesis of polynomial dynamical systems

DOI10.1016/J.IC.2022.104941OpenAlexW4285498081MaRDI QIDQ2105425FDOQ2105425

Authors: Alberto Casagrande, Thao Dang, Luca Dorigo, Tommaso Dreossi, Carla Piazza, Eleonora Pippia 

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

Recommendations

• Parameter synthesis for polynomial biological models
• Parameter synthesis through temporal logic specifications
• Accelerating parameter synthesis using semi-algebraic constraints
• Sapo: reachability computation and parameter synthesis of polynomial dynamical systems
• Precise parameter synthesis for stochastic biochemical systems

zbMATH Keywords

Bernstein coefficientssignal temporal logicneural network verificationparametric dynamical systems

Mathematics Subject Classification ID

Theory of computing (68Qxx)

Cites Work

• Ariadne: dominance checking of nonlinear hybrid automata using reachability analysis
• JuliaReach
• Sapo: reachability computation and parameter synthesis of polynomial dynamical systems
• The Bernstein polynomial basis: a centennial retrospective
• Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems
• Title not available (Why is that?)
• On reachability for hybrid automata over bounded time
• Introduction to Dynamical Systems
• Robustness of temporal logic specifications for continuous-time signals
• Title not available (Why is that?)
• Discrete Dynamical Systems
• Title not available (Why is that?)
• Title not available (Why is that?)
• Bernstein form of a polynomial
• \(\epsilon\)-semantics computations on biological systems
• Parameter synthesis for polynomial biological models
• Parameter synthesis through temporal logic specifications
• Reachability computation for polynomial dynamical systems
• Lumping-based equivalences in Markovian automata: algorithms and applications to product-form analyses
• Verisig
• Sherlock - A tool for verification of neural network feedback systems
• Checking Temporal Properties of Discrete, Timed and Continuous Behaviors
• Robust online monitoring of signal temporal logic
• Validated computation of the local truncation error of Runge-Kutta methods with automatic differentiation
• Sequential data assimilation of the stochastic SEIR epidemic model for regional COVID-19 dynamics
• Simulation-equivalent reachability of large linear systems with inputs
• Analog property checkers: a DDR2 case study

Cited In (7)

• A polynomial dynamic system approach to software design for attractivity requirement
• Adaptive directions for Bernstein-based polynomial set evolution
• Reverse-engineering of polynomial dynamical systems
• The use of polynomial partial derivatives in the synthesis of doubly- terminated multivariable networks
• Parameterized Synthesis
• Accelerating parameter synthesis using semi-algebraic constraints
• Analytical approach for simplifying dynamical systems of polynomial type.

Uses Software

• HyTech
• Ariadne
• d/dt
• SpaceEx
• Pyhybridanalysis
• Flow*
• dReach
• Breach
• ImageNet
• Sapo
• CORA
• JuliaReach
• HyPro
• AlexNet

This page was built for publication: Parameter synthesis of polynomial dynamical systems

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