Parameter synthesis of polynomial dynamical systems

DOI10.1016/J.IC.2022.104941MaRDI QIDQ2105425zbMATH OpenOpenAlexFDO

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

zbMATH Keywords

Bernstein coefficientssignal temporal logicneural network verificationparametric dynamical systems

Mathematics Subject Classification ID

Theory of computing (68Qxx)

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

Cites work

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

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.

Describes a project that uses

Uses Software

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

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)