Developments were made to the basic Tabu Search to adapt it to the optimisation problem. This paper explains the contribution ...

The formal verification of safety properties for hybrid systems is an important but challenging problem. Recently, barrier functions have been introduced to prove safety without requiring the ...