Parameter synthesis of polynomial dynamical systems
type: Item
instance of: scholarly article
title: Parameter synthesis of polynomial dynamical systems
author: Alberto Casagrande
author: Thao Dang
author: Luca Dorigo
author: Tommaso Dreossi
author: Carla Piazza
author: Eleonora Pippia
published in: Information and Computation
publication date: 2022-12-08T00:00:00Z
Mathematics Subject Classification ID: 68Qxx
zbMATH DE Number: 7629135
zbMATH Keywords: parametric dynamical systems
zbMATH Keywords: Bernstein coefficients
zbMATH Keywords: signal temporal logic
zbMATH Keywords: neural network verification
describes a project that uses: CORA
describes a project that uses: Ariadne
describes a project that uses: Pyhybridanalysis
describes a project that uses: Breach
describes a project that uses: SpaceEx
describes a project that uses: AlexNet
describes a project that uses: ImageNet
describes a project that uses: d/dt
describes a project that uses: HyTech
describes a project that uses: JuliaReach
describes a project that uses: Flow*
describes a project that uses: dReach
describes a project that uses: HyPro
describes a project that uses: Sapo
MaRDI profile type: Publication
full work available at URL: j.ic.2022.104941
OpenAlex ID: W4285498081
cites work: Lumping-based equivalences in Markovian automata: algorithms and applications to product-form analyses
cites work: Q4806208
cites work: Simulation-equivalent reachability of large linear systems with inputs
cites work: Ariadne: Dominance Checking of Nonlinear Hybrid Automata Using Reachability Analysis
cites work: JuliaReach
cites work: On Reachability for Hybrid Automata over Bounded Time
cites work: Introduction to Dynamical Systems
cites work: Bernstein form of a polynomial
cites work: \(\epsilon\)-semantics computations on biological systems
cites work: Q5227061
cites work: Parameter Synthesis Through Temporal Logic Specifications
cites work: Robust online monitoring of signal temporal logic
cites work: Sapo
cites work: Parameter synthesis for polynomial biological models
cites work: Reachability computation for polynomial dynamical systems
cites work: Sherlock - A tool for verification of neural network feedback systems
cites work: Sequential data assimilation of the stochastic SEIR epidemic model for regional COVID-19 dynamics
cites work: Robustness of temporal logic specifications for continuous-time signals
cites work: The Bernstein polynomial basis: a centennial retrospective
cites work: Discrete Dynamical Systems
cites work: Q4234084
cites work: Verisig
cites work: Analog property checkers: a DDR2 case study
cites work: Q5638871
cites work: Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems
cites work: Checking Temporal Properties of Discrete, Timed and Continuous Behaviors
cites work: Validated computation of the local truncation error of Runge–Kutta methods with automatic differentiation
DOI: 10.1016/J.IC.2022.104941
description: scientific article; zbMATH DE number 7629135