Accepted papers

2019

  1. Robustness Evaluation of Computer-aided Clinical trials for Medical Devices Jang, Kuk Jin, Pant, Yash Vardhan, Zhang, Bo, Weimer, James, and Mangharam, Rahul In Proceedings of the ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS) 2019 [Abstract] [Link]
  2. Temporal Logic Robustness for General Signal Classes Abbas, Houssam, Pant, Yash Vardhan, and Mangharam, Rahul In Proceedings of the ACM International Conference on Hybrid Systems: Computation and Control (HSCC) 2019 [Abstract] [Link]
  3. Fly-by-Logic: A Tool for Unmanned Aircraft System Fleet Planning using Temporal Logic Pant, Yash Vardhan, Quaye, Rhudii A., Abbas, Houssam, Varre, Akarsh, and Mangharam, Rahul In NASA Formal Methods Symposium 2019 [Abstract] [Link] [Code]

2018

  1. Design and implementation of a centralized system for autonomous unmanned aerial vehicle trajectory conflictresolution Li, Max Z., Tan, William R., Prakash, Sahithya M., Kennedy, John F., Ryerson, Megan S., Lee, Daewon, and Pant, Yash Vardhan In Proceedings of the IEEE National Aerospace and Electronics Conference (NAECON) 2018 [Abstract] [Link]
  2. Fly-by-Logic: Control of Multi-Drone Fleets with Temporal Logic Objectives Pant, Yash Vardhan, Abbas, Houssam, Quaye, Rhudii A, and Mangharam, Rahul In Proceedings of the ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS) 2018 [Abstract] [Link] [Code]

2017

  1. Smooth Operator: Control using the Smooth Robustness of Temporal Logic Pant, Yash Vardhan, Abbas, Houssam, and Mangharam, Rahul In IEEE Conference on Control Technology and Applications (CCTA) 2017 [Abstract] [Link] [Code]

2016

  1. Robust Model Predictive Control for Non-Linear Systems with Input and State Constraints via Feedback Linearization Pant, Yash Vardhan, Abbas, Houssam, and Mangharam, Rahul In IEEE Conference on Decision and Control (CDC) 2016 [Abstract] [Link]

2015

  1. Co-design of Anytime Computation and Robust Control Pant, Yash Vardhan, Abbas, Houssam, Mohta, Kartik, Nghiem, Truong X, Devietti, Joseph, and Mangharam, Rahul In IEEE Real-Time Systems Symposium (RTSS) 2015 [Abstract] [Link]
  2. Power-efficient Algorithms for Autonomous Navigation Pant, Yash Vardhan, Abbas, Houssam, Nischal, KN, Kelkar, Paritosh, Kumar, Dhruva, Devietti, Joseph, and Mangharam, Rahul In International Conference on Complex Systems Engineering (ICCSE) 2015 [Abstract] [Link]

2014

  1. Peak Power Reduction in Hybrid Energy Systems with Limited Load Forecasts Pant, Yash Vardhan, Nghiem, Truong X, and Mangharam, Rahul In American Control Conference (ACC) 2014 [Abstract] [Link]

2011

  1. Autoplug: An automotive test-bed for electronic controller unit testing and verification Drolia, Utsav, Wang, Zhenyan, Pant, Yash, and Mangharam, Rahul In International IEEE Conference on Intelligent Transportation Systems (ITSC) 2011 [Abstract] [Link]

Submitted and in preparation

2019

  1. FADS: Framework for Autonomous Drone Safety Pant, Yash Vardhan, Li, Max Z., Quaye, Rhudii A., Abbas, Houssam, Ryerson, Megan, and Mangharam, Rahul In Under preparation 2019
  2. Distributed planning for multi-rotor drone fleets with Signal Temporal Logic objectives Pant, Yash Vardhan, Abbas, Houssam, Quaye, Rhudii A., and Mangharam, Rahul In Under preparation 2019
  3. Anytime Computation and Control for Autonomous Systems Pant, Yash Vardhan, Abbas, Houssam, Mohta, Kartik, Nghiem, Truong X, Devietti, Joseph, and Mangharam, Rahul In Submitted to the IEEE Transactions on Control Systems Technology 2019

Demo abstracts, Workshop papers and Works-in-Progress

2019

  1. Distributed planning of Multi-rotor drone fleets using the Smooth Robustness of Signal Temporal Logic Pant, Yash Vardhan, Abbas, Houssam, and Mangharam, Rahul In Monitoring and Testing of CPS Workshop (MTCPS) at CPS Week 2019

2017

  1. Control with Temporal Logic Requirements (poster) Pant, Yash Vardhan, Abbas, Houssam, and Mangharam, Rahul In SRC TECHCON 2017
  2. Control using the Smooth Robustness of Temporal Logic Pant, Yash Vardhan, Abbas, Houssam, and Mangharam, Rahul In Monitoring and Testing of CPS Workshop (MTCPS) at CPS Week 2017

2015

  1. Hardware Optimizations for Anytime Perception and Control Nischal, K. N., Kelkar, Paritosh, Kumar, Dhruva, Pant, Yash Vardhan, Abbas, Houssam, Devietti, Joseph, and Mangharam, Rahul In Work-in-progress, Real-Time Systems Symposium (RTSS) 2015

2014

  1. Demo: Low-cost Autonomous Navigation with Anytime Control and Computation Gurniak, Paul, and Pant, Yash Vardhan In University Transportation Center (UPenn-CMU) Annual Meeting 2014

2013

  1. Knock NOx: Model-based Remote Diagnostics of a Diesel Exhaust Control System Pant, Yash Vardhan, Nghiem, Truong X, and Mangharam, Rahul In Work-in-Progress IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS) 2013
  2. Final Report: Protodrive: Rapid Prototyping and Simulation of Electric Vehicle Powertrains Pant, Yash Vardhan, Jain, Harsh, Mulay, Abhijeet, and Dutta, Rajib In Intel Cornell Cup 2013
  3. Final Report: Protodrive: Simulation of Electric Vehicle Powertrains Price, William, Jain, Harsh, Pant, Yash Vardhan, and Mangharam, Rahul In World Embedded Software Competition 2013

2012

  1. Protodrive: An experimental platform for electric vehicle energy scheduling and control Diaz, Stephanie, Jain, Harsh, Pant, Yash Vardhan, and Mangharam, Rahul In Demo Abstract Real-Time Systems Symposium (RTSS) 2012
  2. AutoPlug 2.0 Pant, Yash Vardhan In Real-Time and Embedded Technology and Applications Symposium (RTAS): Demo session at CPS Week 2012
  3. Observer-based Sensor Fault Detection and Isolation Pant, Yash Vardhan, and Mangharam, Rahul In Work-in-progress, ACM International Conference on High Confidence Networked Systems (HiCoNS) at CPS Week 2012