Abstract In this paper we seek to provide greater automation for formal deduc-tive verification tools working with continuous and hybrid dynamical systems. We present an efficient procedure to check invariance of conjunctions of poly-nomial equalities under the flow of polynomial ordinary differential equations. The procedure is based on a necessary and sufficient condition that characterizes invariant conjunctions of polynomial equalities. We contrast this approach to an alternative one which combines fast and sufficient (but not necessary) conditions using differential cuts for soundly restricting the system evolution domain.
In this paper, we consider dynamical systems with multiple modes of operation and state jumps. Withi...
AbstractThis paper deals with flow-invariance properties with respect to x′ ⩾ f(t, x) and resulting ...
International audienceWe investigate decoupling abstractions, by which we seek to simulate (i.e. abs...
n this paper we seek to provide greater automation for formal deductive verification tools working w...
International audienceThis paper studies sound proof rules for checking positive invariance of algeb...
The biggest challenge in hybrid systems verification is the handling ofdifferential equations. Becau...
International audienceThis paper presents a method for generating semi-algebraic invariants for syst...
Abstract We prove that any invariant algebraic set of a given polynomial vector field can be algebra...
We introduce a fixedpoint algorithm for verifying safety properties of hybrid systems with different...
Abstract: "We introduce a fixedpoint algorithm for verifying safety properties of hybrid systems wit...
A simple criterion for the involutivity of a system of partial differential equations of polynomial ...
This thesis is concerned with the problem of formal verification of correctness specifications for ...
Abstract. We present a powerful computational method for automat-ically generating polynomial invari...
We present a set of conditions enabling a polynomial system of ordinary differential equations in th...
Abstract. This work deals with the polynomial and formal (formal series) inte-grability of the polyn...
In this paper, we consider dynamical systems with multiple modes of operation and state jumps. Withi...
AbstractThis paper deals with flow-invariance properties with respect to x′ ⩾ f(t, x) and resulting ...
International audienceWe investigate decoupling abstractions, by which we seek to simulate (i.e. abs...
n this paper we seek to provide greater automation for formal deductive verification tools working w...
International audienceThis paper studies sound proof rules for checking positive invariance of algeb...
The biggest challenge in hybrid systems verification is the handling ofdifferential equations. Becau...
International audienceThis paper presents a method for generating semi-algebraic invariants for syst...
Abstract We prove that any invariant algebraic set of a given polynomial vector field can be algebra...
We introduce a fixedpoint algorithm for verifying safety properties of hybrid systems with different...
Abstract: "We introduce a fixedpoint algorithm for verifying safety properties of hybrid systems wit...
A simple criterion for the involutivity of a system of partial differential equations of polynomial ...
This thesis is concerned with the problem of formal verification of correctness specifications for ...
Abstract. We present a powerful computational method for automat-ically generating polynomial invari...
We present a set of conditions enabling a polynomial system of ordinary differential equations in th...
Abstract. This work deals with the polynomial and formal (formal series) inte-grability of the polyn...
In this paper, we consider dynamical systems with multiple modes of operation and state jumps. Withi...
AbstractThis paper deals with flow-invariance properties with respect to x′ ⩾ f(t, x) and resulting ...
International audienceWe investigate decoupling abstractions, by which we seek to simulate (i.e. abs...