Login with your Reed credentials to view all events.

3203 Southeast Woodstock Boulevard, Portland, Oregon 97202-8199

View map Free Event

'Control and Communication of Multi-Drone Fleets with Temporal Logic Objectives' - 

We tackle the problem of correct-by-construction control for autonomous multi-drone fleets. Control of multi-drone fleets is challenging due to the complexity of their missions and the size of the fleets. Existing methods either offer mathematical guarantees on mission satisfaction, or are tractable, but not both. In this talk, I will present Fly-by-Logic, a method that overcomes these limitations for a wide variety of 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.

I show the performance, scalability and real-time applicability of Fly-by-Logic method through simulations and experiments on real quadrotors. I will conclude with some open problems on signal basis design for temporal logic monitoring, and private runtime verification.


Bio
Houssam is an Assistant Professor of Electrical Engineering and Computer Science at Oregon State University. His research interests are in the verification, control and testing of autonomous systems. Current research includes the verification and control of autonomous ground and aerial vehicles, and cyber-physical security. He was a postdoctoral fellow at the University of Pennsylvania, and a design automation engineer in the SoC Verification group at Intel. Houssam holds a PhD in Electrical Engineering from Arizona State University.

Event Details

0 people are interested in this event