'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.
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.
Tuesday, November 19, 2019 at 4:40pm to 5:30pm
Eliot Hall, 314
3203 Southeast Woodstock Boulevard, Portland, Oregon 97202-8199
Reed Community Members
If you are a member of the Reed community, you MUST LOG IN to see events that are open ONLY to the Reed community. Log in with your Reed ID (your Kerberos account information). If you don’t remember your account username or password, go to reed.edu/cis/help/kerberos.html.Log in with Reed ID