Houssam Abbas

Autonomous Vehicles and Anytime Control

Predicate Monitoring in Distributed Cyber-physical Systems

Anik Momtaz, Niraj Basnet, Houssam Abbas and Borzoo Bonakdarpour, in Runtime Verification (RV) 2021.
Best Paper Award!

Learning a Robot’s Social Obligations from Comparisons of Observed Behavior

C. Shea-Blymyer and H. Abbas, In IEEE Conf. on Advanced Robotics and its Social Impacts (July 2021)

Algorithmic Ethics: Formalization and Verification of Autonomous Vehicle Obligations

C. Shea-Blymyer and H. Abbas, ACM Transactions on Cyber-Physical Systems, 2021 (Accepted)

Learning-‘N-Flying: A Learning-based, Decentralized Mission Aware UAS Collision Avoidance Scheme

A. Rodionova, Y. V. Pant, C. Kurtz, K. Jang, H. Abbas, and R. Mangharam, In ACM Transactions on Cyber-Physical Systems (Accepted 2021)

A Deontic Logic Analysis of Autonomous Systems’ Safety

C. Shea-Blymyer and H. Abbas, In the Proc. of Hybrid Systems: Computation and Control (HSCC), April 2020

FairFly: A Fair Motion Planner for Fleets of Autonomous UAVs in Urban Airspace

C. Kurtz and H. Abbas, In IEEE International Conference on Intelligent Transportation Systems (ITSC), Sept. 2020

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.

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

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.

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

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.

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.

Computer-Aided Design for Safe Autonomous Vehicles

M. O’Kelly, H. Abbas and R. Mangharam, In Resilience Week, 2017.

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.

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.