A hierarchy of proof rules for checking positive invariance of algebraic and semi-algebraic sets
type: Item
instance of: scholarly article
title: A hierarchy of proof rules for checking positive invariance of algebraic and semi-algebraic sets
zbMATH Open document ID: 1379.68238
author: Khalil Ghorbal
author: Andrew Sogokon
author: André Platzer
published in: Computer Languages, Systems \& Structures
publication date: 2018-01-30T00:00:00Z
Mathematics Subject Classification ID: 68Q60
zbMATH DE Number: 6832417
zbMATH Keywords: formal verification
zbMATH Keywords: polynomial differential equations
zbMATH Keywords: positive invariance
zbMATH Keywords: deductive power
zbMATH Keywords: dynamical systems
describes a project that uses: QEPCAD
MaRDI profile type: Publication
full work available at URL: j.cl.2015.11.003
OpenAlex ID: W2217989345
cites work: On the combinatorial and algebraic complexity of quantifier elimination
cites work: Set-theoretic methods in control
cites work: Partial cylindrical algebraic decomposition for quantifier elimination
cites work: Simplification of quantifier-free formulae over ordered fields
cites work: Qualitative theory of planar differential systems
cites work: A Hierarchy of Proof Rules for Checking Differential Invariance of Algebraic Sets
cites work: Integrability and nonintegrability of dynamical systems
cites work: Generating Invariants for Non-linear Hybrid Systems by Linear Algebraic Methods
cites work: Membership in polynomial ideals over Q is exponential space complete
cites work: Q5839061
cites work: Q4942663
cites work: Differential dynamic logic for hybrid systems
cites work: Differential-algebraic Dynamic Logic for Differential-algebraic Programs
cites work: A Differential Operator Approach to Equational Differential Invariants
cites work: The Structure of Differential Invariants and Differential Cut Elimination
cites work: Hybrid Systems: Computation and Control
cites work: A Framework for Worst-Case and Stochastic Safety Verification Using Barrier Certificates
cites work: Some undecidable problems involving elementary functions of a real variable
cites work: Constructing invariants for hybrid systems
cites work: Deductive verification of continuous dynamical systems
cites work: Q5807665
cites work: Abstractions for hybrid systems
cites work: Q3838091
cites work: Tangent cone and contingent cone to the intersection of two closed sets
DOI: 10.1016/J.CL.2015.11.003
description: scientific article; zbMATH DE number 6832417