We propose an automatic and formally sound method for synthesising Lyapunov functions
for the asymptotic stability of autonomous non-linear systems. Traditional methods are either …

This paper accompanies FOSSIL: a software tool for the synthesis of Lyapunov functions
and of barrier certificates (or functions) for dynamical systems modelled as differential …

We present a technique for learning control Lyapunov-like functions, which are used in turn
to synthesize controllers for nonlinear dynamical systems that can stabilize the system, or …

This article presents a robust adaptive controller for electrically driven robots using Bernstein
polynomials as universal approximator. The lumped uncertainties including unmodeled …

Increasing penetration of renewable energy introduces significant uncertainty into power
systems. Traditional simulation‐based verification methods may not be applicable due to the …

We consider the classical problem of invariant generation for programs with polynomial
assignments and focus on synthesizing invariants that are a conjunction of strict polynomial …

Converter-interfaced power sources (CIPS) are hybrid control systems as they may switch
between multiple operating modes. Due to increasing penetration, the hybrid behavior of …

Semidefinite programming (SDP) solvers are increasingly used as primitives in many
program verification tasks to synthesize and verify polynomial invariants for a variety of …

We consider the problem of approximating the reachable set of a discrete-time polynomial
system from a semialgebraic set of initial conditions under general semialgebraic set …

This paper presents a linear programming (LP) relaxation based approach for generating
polynomial barrier certificates for safety verification of semi-algebraic hybrid systems. The …