A method for invariant generation for polynomial continuous systems

DOI10.1007/978-3-662-49122-5_13MaRDI QIDQ2796055zbMATH OpenOpenAlexFDO

Authors Andrew Sogokon, Khalil Ghorbal, Paul B. Jackson, André Platzer

Publication date 23 March 2016

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://eprints.soton.ac.uk/434324/1/vmcai_2016_abstraction_invgen.pdf

Mathematics Subject Classification ID

Symmetries, invariants of ordinary differential equations (34C14) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Hybrid Systems: Computation and Control
• Constructing invariants for hybrid systems
• Generating semi-algebraic invariants for non-autonomous polynomial hybrid systems
• Static Analysis
• Transcendental inductive invariants generation for non-linear differential and hybrid systems

Cited in

(19)

• Implicit semi-algebraic abstraction for polynomial dynamical systems
• Verifying safety and persistence in hybrid systems using flowpipes and continuous invariants
• Generating semi-algebraic invariants for non-autonomous polynomial hybrid systems
• Invariant set analysis for SISO discrete‐time polynomial systems with dynamic quantizers
• Invariant polynomials assignment by state feedback for singular systems
• Characterizing positively invariant sets: inductive and topological methods
• Generating invariants of hybrid systems via sums-of-squares of polynomials with rational coefficients
• Safety verification of nonlinear hybrid systems based on invariant clusters
• Deductive verification of continuous dynamical systems
• Pegasus: sound continuous invariant generation
• Transcendental inductive invariants generation for non-linear differential and hybrid systems
• Differential elimination and algebraic invariants of polynomial dynamical systems
• Invariants for continuous linear dynamical systems
• Safety verification of nonlinear systems based on rational invariants
• An efficient framework for barrier certificate generation of uncertain nonlinear hybrid systems
• Pegasus: a framework for sound continuous invariant generation
• Synthesizing ReLU neural networks with two hidden layers as barrier certificates for hybrid systems
• Verifying Neural Network Controlled Systems Using Neural Networks
• A hierarchy of proof rules for checking positive invariance of algebraic and semi-algebraic sets

This page was built for publication: A method for invariant generation for polynomial continuous systems

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