Events Calendar

Fly-by-Logic: Control of Multi-Drone Fleets with Temporal Logic Objectives

Houssam Abbas, Assistant Professor
Electrical Engineering and Computer Science
Oregon State University

Safe planning and control of multi-drone fleets is a challenging problem due to the complexity of the missions and the size of the fleets. Methods that offer guarantees on mission satisfaction generally do not scale well, while more computationally tractable approaches do not offer satisfaction guarantees. In this talk, I will present Fly-by-Logic, a method that overcomes these limitations for a wide variety of multi-drone missions that consist of a combination of the following objectives: 1) spatial objectives, e.g. geofenced no-fly zones, or delivery zones, 2) temporal objectives, e.g. a time window in which to monitor wireless signal strengths in an area, 3) reactive objectives, e.g. in case of a drone failure, another drone picks up its mission.

Fly-by-Logic uses Signal Temporal Logic (STL) to specify a wide variety of missions. Starting from the given STL mission specification, mission satisfaction is formulated as a non-convex optimization problem, solved to local optimality in a centralized manner. Additional constraints result in trajectories that can be tracked near perfectly by off-the-shelf lower-level controllers. I show the performance, scalability and real-time applicability of Fly-by-Logic method through simulations and experiments on real quadrotor drones. Finally I will also present on-going work on an extension of this method for solving the mission planning problem in a distributed manner.

Houssam Abbas is an Assistant Professor of Electrical Engineering and Computer Science at Oregon State University. Prior to that, he was a postdoctoral fellow in the Department of Electrical and Systems Engineering at the University of Pennsylvania. His research interests are in the verification, control and programming of autonomous Cyber-Physical Systems. Current research includes the verification of life-supporting medical devices, the verification and control of autonomous vehicles with a view towards certifying such systems, and anytime computation and control. Houssam holds a PhD in Electrical Engineering from Arizona State University.

Friday, January 11, 2019 at 10:00am to 11:00am

Rogers Hall, 226
2000 SW Monroe Avenue, Corvallis, OR 97331

Event Type

Lecture or Presentation

Event Topic


College of Engineering, Electrical Engineering and Computer Science, Mechanical, Industrial, and Manufacturing Engineering
Contact Name

Dylan Jones

Contact Email

Google Calendar iCal Outlook

Recent Activity