UCSD

Mechanical and Aerospace Engineering

• Home
• Publications
• Group
• Teaching
• Software
• Lab

---

A nonsmooth approach to controller synthesis for Boolean specifications
P. Glotfelter, J. Cortés, M. Egerstedt
IEEE Transactions on Automatic Control 66 (11) (2021), 5160-5174

Abstract

Robotic systems have been proposed as a solution to a wide array of problems, from autonomous warehousing to precision agriculture. Yet these systems typically require satisfaction of multiple constraints, such as collision avoidance and connectivity maintenance, while completing their primary objectives. Many such problems may be decomposed into stability and invariance criteria (e.g., monitor crop patches while avoiding collisions), and this work utilizes Lyapunov and barrier functions to encode stability and invariance, respectively. Barrier functions provide constraint-satisfaction guarantees, and prior results have established a Boolean composition and controller-synthesis framework for these objects via nonsmooth analysis. However, this past work has yet to address Boolean composition of Lyapunov functions directly and does not apply to all Boolean expressions. This paper resolves these issues by providing a general method to encode Boolean expressions of Lyapunov or barrier functions. Moreover, this work develops an associated controller-synthesis algorithm that yields discontinuous yet validating controllers with respect to these Boolean expressions. Experimental results show the efficacy of this work in a precision-agriculture scenario, where a robot swarm must visit crop patches while avoiding collisions.

pdf

Mechanical and Aerospace Engineering, University of California, San Diego
9500 Gilman Dr, La Jolla, California, 92093-0411

Ph: 1-858-822-7930
Fax: 1-858-822-3107

cortes at ucsd.edu
Skype id: jorgilliyo