2 papers
eess.SY2016
Control of nonlinear switched systems based on validated simulation
Adrien Le Coënt, Julien Alexandre Dit Sandretto, Alexandre Chapoutot +1
We present an algorithm of control synthesis for nonlinear switched systems, based on an existing procedure of state-space bisection and made available for nonlinear systems with t…
math.DS2015
Construction of Parametric Barrier Functions for Dynamical Systems using Interval Analysis
A Djaballah, Alexandre Chapoutot, Michel Kieffer +1
Recently, barrier certificates have been introduced to prove the safety of continuous or hybrid dynamical systems. A barrier certificate needs to exhibit some barrier function, whi…