Abstract: In this article, we study the problem of co-designing control barrier functions (CBFs) and affine state feedback controllers for continuous-time linear systems. The co-design problem is ...

The controller handles incoming requests and puts any data the client needs into a component called a model. When the controller's work is done, the model is passed to a view component for rendering.

Abstract: Linear temporal logic (LTL) is an intuitive and expressive language to specify complex control tasks, and how to design an efficient control strategy for LTL specification is still a ...