2015/06/19 by Adel Djaballah, Alexandre Chapoutot, Djaballah, A +5
Computer Science · Decision Sciences · Engineering · #Dynamical Systems (math.DS) #FOS: Electrical engineering #FOS: Mathematics #Fault Detection and Control Systems #Formal Methods in Verification #Probabilistic and Robust Engineering Design #Systems and Control (eess.SY) #electronic engineering #information engineering
paper · pdf · doi:10.48550/arxiv.1506.05885
openalex publication_date 2015/06/19 · openalex created_date 2016/06/24 · openalex updated_date 2026/07/28
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, which partitions the state space in two subsets: the safe subset in which the state can be proved to remain and the complementary subset containing some unsafe region. This approach does not require any reachability analysis, but needs the computation of a valid barrier function, which is difficult when considering general nonlinear systems and barriers. This paper presents a new approach for the construction of barrier functions for nonlinear dynamical systems. The proposed technique searches for the parameters of a parametric barrier function using interval analysis. Complex dynamics can be considered without needing any relaxation of the constraints to be satisfied by the barrier function.