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.
|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.
|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.