Autonomous Vehicles and Anytime Control    |    Medical Devices and Clinical Trials    |    Cyber-Physical Systems Foundations

My Google Scholar page.

9. Embedded Software for Robotics: Challenges and Future Directions (Invited)
H. Abbas, I. Saha, Y. Shoukry, R. Ehlers, G. Fainekos, R. Gupta, R. Majumdar and D. Ulus. Invited, Int. Conf. on Embedded Software (EMSOFT), October 2018.
8. Fly-by-Logic: Control of Multi-Drone Fleets with Temporal Logic Objectives
Y. V. Pant, H. Abbas, R. A. Quaye and R. Mangharam. In Int. Conf. on Cyber-Physical Systems (ICCPS), April 2018.
7. A Driver’s License for Driverless Vehicles
H. Abbas, M. O'Kelly, A. Rodionova and R. Mangharam. In ASME Dynamic Systems and Control Magazine, December 2017.
6. Computer-Aided Design for Safe Autonomous Vehicles
M. O'Kelly, H. Abbas and R. Mangharam, In Resilience Week, 2017.
5. Smooth Operator: Control using the Smooth Robustness of Temporal Logic
Y. V. Pant*, H. Abbas* and R. Mangharam, In 1st IEEE Conference on Control Technology and Applications, Hawai, August 2017.
*Equal contribution
4. Robust model predictive control for non-linear systems with input and state constraints via feedback linearization
Y. V. Pant, H. Abbas and R. Mangharam, In Proceedings of the 55th IEEE Conference on Decision and Control, Las Vegas, Dec 2016.
3. An autonomous vehicle control stack
A. Rodionova, M. O'Kelly, H. Abbas, V. Pacelli, and R. Mangharam, In Workshop on Applied Verification for Continuous and Hybrid Systems, 2017.
2. APEX: A Tool for Autonomous Vehicle Plan Verification and Execution
M. O’Kelly, H. Abbas and R. Mangharam, In the Proc. of SAE World Congress, April 2016
1. Co-design of Anytime Computation and Robust Control
Y. V. Pant, K. Mohta, H. Abbas, T. X Nghiem, J. Devietti, and R. Mangharam, In the Proc. of RTSS 2015, San Antonio, TX, Oct 2015.