Abstract: 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 controller based ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results