Fly-by-Logic: Safe-planning for Drone Fleets

Safe planning and control of multi-rotor drone fleets performing complex missions has been a challenging problem. Methods that offer guarantees on safety and mission satisfaction generally do not scale well. On the other hand, more computationally tractable approaches do not offer any safety guarantees. This project develops methods that overcomes these limitations for a wide variety of missions, e.g. the video below shows a mission where 2 pairs of drones are tasked with patrolling two regions within predefined time intervals, and while avoiding a no-fly zone and collisions with each other.

  1. Pant, Quaye, Abbas, Varre, Mangharam, Fly-by-Logic: A Tool for Unmanned Aircraft System Fleet Planning using Temporal Logic, NASA FM, 2019.
  2. Pant, Abbas, Quaye, Mangharam, Fly-by-Logic: Control of Multi-Drone Fleets with Temporal Logic Objectives, ICCPS, 2018.
  3. Pant, Abbas, Mangharam, Smooth Operator, Smooth Operator: Control using the Smooth Robustness of Temporal Logic, CCTA, 2017.

Co-design of Anytime Computation and Control for Autonomous Systems

Perception-based state estimation for autonomous system is generally a computationally expensive process, both in terms of execution time and energy consumption on the computation platform. This work develops a contract-driven framework for closed-loop interplay between: a) a predictive control algorithm and b) a flexible anytime perception-based state estimator to trade-off computation time (and energy) for estimation accuracy while guaranteeing robust (or chance-constrained) constraint satisfaction of the autonomous system. Experimental results show the benefit of this framework over approaches that do not leverage this co-design.


  1. Pant, Abbas, Mohta, Quaye, Nghiem, Devietti, Mangharam, Anytime Computation and Control for Autonomous Systems, submitted to the IEEE Transactions on Control Systems Technology.
  2. Pant, Abbas, Mangharam, Robust Model Predictive Control for Non-Linear Systems with Input and State Constraints via Feedback Linearization, CDC, 2016.
  3. Pant, Abbas, Mohta, Nghiem, Devietti, Mangharam Co-design of Anytime Computation and Robust Control, RTSS, 2015.
  4. Pant, Abbas, Nischal, Kelkar, Kumar, Devietti, Mangharam Power-efficient Algorithms for Autonomous Navigation, ICCSE, 2015.

Protodrive: Peak Power Reduction for Hybrid Energy Storage Systems with Limited Load Forecasts

  1. Pant, Nghiem, Manhgaram, Peak Power Reduction in Hybrid Energy Systems with Limited Load Forecasts, ACC, 2014.
  2. Price, Jain, Pant, Mangharam, Final Report: Protodrive: Simulation of Electric Vehicle Powertrains, World Embedded Software Competition (third place finish), 2013.

    AutoPlug: Hardware-in-the-loop Electronic Controller Unit Testing

  1. Drolia, Wang, Pant, Mangharam, Autoplug: An automotive test-bed for electronic controller unit testing and verification, ITSC, 2011.