2 papers
eess.SY2024
A Note on an Upper-Bound for the Sum of a Class K and an Extended Class K Function
Adrian Wiltz, Dimos V. Dimarogonas
In this short note, we derive an upper-bound for the sum of two comparison functions, namely for the sum of a class K and an extended class K function. To the best of our knowledge…
eess.SY2022
Handling Disjunctions in Signal Temporal Logic Based Control Through Nonsmooth Barrier Functions
Adrian Wiltz, Dimos V. Dimarogonas
For a class of spatio-temporal tasks defined by a fragment of Signal Temporal Logic (STL), we construct a nonsmooth time-varying control barrier function (CBF) and develop a contro…