Autonomous Vehicles and Anytime Control
| Title | Authors |
|---|---|
| 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. |