Cyber-Physical Systems Foundations
|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.