Cyber-Physical Systems Foundations
| Title | Authors |
|---|---|
| Decentralized Predicate Detection over Partially Synchronous Continuous-Time Signal | Charles Koll, Anik Momtaz, Borzoo Bonakdarpour and Houssam Abbas, in Runtime Verification (RV) 2023. |
| 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) |
| 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 |
| Logical Signal Processing: a Fourier Analysis of Temporal Logic | N. Basnet and H. Abbas, In ACM International Conference on Runtime Verification (RV), Oct. 2020 |
| Formal Property Verification in a Conformance Testing Framework | H. Abbas, H. Mittelmann and G. Fainekos, In the Proc. of MEMOCODE 2014, Lausanne, October 2014. |
| Linear Hybrid System Falsification through Local Search | H. Abbas and G. Fainekos, In the Proc. Of Automated Technology for Verification and Analysis, Taipei, 2011. |
| Probabilistic Temporal Logic Falsification of Cyber-Physical Systems | H. Abbas, G. Fainekos, S. Sankaranarayanan, F. Ivancic, and A. Gupta, ACM Transactions on Embedded Computing Systems, Vol. 12, Issue 2, May 2013 |
| Relaxed Decidability and the Robust Semantics of Metric Temporal | H. Abbas, M. O’Kelly, and R. Mangharam, In Proceedings of the 20th ACM International Conference on Hybrid Systems: Computation and Control, Pittsburgh, April 2017 |
| Convergence Proofs for Simulated Annealing Falsification of Safety Properties | H. Abbas and G. Fainekos, (Invited) In the Proc. of 50th Annual Allerton Conference on Communication, Control and Computing, Monticello, IL, Oct. 2012. |
| Computing Descent Direction of MTL Robustness for Nonlinear Systems | H. Abbas and G. Fainekos, In the Proc. of 2013 American Control Conference, Washington D.C., June 2013. |
| Functional Gradient Descent Method for Metric Temporal Logic Specifications | H. Abbas, A. Winn, G. Fainekos and A. Julius, In the Proc. of 2014 American Control Conference, Portland, June 2014. |
| Robustness-Guided Temporal Logic Testing and Verification for Stochastic Cyber-Physical Systems | H. Abbas, B. Hoxha, G. Fainekos and K. Ueda, In the Proc. of IEEE-CYBER 2014, Hong Kong, June 2014. |
| Towards Formal Specification Visualization for Testing and Monitoring of Cyber-Physical Systems | B. Hoxha, H. Bach, H. Abbas, A. Dokhanchi, Y. Kobayashi, and G. Fainekos, In the Proc. of DIFTS 2014, Lausanne, October 2014 |
| Model validation of PWM DC-DC converters | O. Beg, H. Abbas, T. Johnson and A. Davoudi. In IEEE Transactions on Industrial Electronics. March 2017. |
| Temporal Logic Robustness for General Signal Classes | H. Abbas, Y.V. Pant and R. Mangharam. In Hybrid Systems: Computation and Control (HSCC). April 2019. |