Publications


Journals

B. Zhong, M. Zamani, and M. Caccamo,  "Formal Synthesis of Controllers for Uncertain Linear Systems against omega-Regular Properties: A Set-based Approach",  in IEEE Transactions on Automatic Control,  Jan 2023 (conditionally accepted as a full paper).

Jiyang Chen, Tomasz Kloda, Rohan Tabish, Ayoosh Bansal, Chien-Ying Chen, Bo Liu, Sibin Mohan, Marco Caccamo, Lui Sha,  "SchedGuard++: Protecting against Schedule Leaks Using Linux Containers On Multi-core Processors",  in ACM Transactions on Cyber-Physical Systems,  Oct 2022.

B. Zhong, A. Lavaei, M. Zamani, and M. Caccamo,  "Automata-based Controller Synthesis for Stochastic Systems: A Game Framework via Approximate Probabilistic Relations",  in Automatica,  Sep 2022 (to appear as a regular paper).

J. Ponniah and O. Dantsker,  "Strategies for Scaleable Communication and Coordination in Multi-Agent (UAV) Systems",  in Aerospace,  Vol. 9,  No. 9,  Aug 2022 (Invited).

O. Dantsker, M. Theile, and M. Caccamo,  "A Cyber-Physical Prototyping and Testing Framework to Enable the Rapid Development of UAVs",  in Aerospace,  Vol. 9,  No. 5,  May 2022.

Mohammed Foughali, and Alexander Zuepke,  "Formal Verification of Real-Time Autonomous Robots: an Interdisciplinary Approach",  in Frontiers in Robotics and AI,  Vol. 9,  Apr 2022.

B. Zhong, A. Lavaei, H. Cao, M. Zamani, and M. Caccamo,  "Safe-visor Architecture for Sandboxing (AI-based) Unverified Controllers in Stochastic Cyber-Physical Systems",  in Nonlinear Analysis: Hybrid Systems,  Vol. 43,  Dec 2021.

H. Bayerlein, M. Theile, M. Caccamo, D. Gesbert,  "Multi-UAV Path Planning for Wireless Data Harvesting with Deep Reinforcement Learning",  in IEEE Open Journal of the Communications Society (2021),  Vol. 2,  May 2021.

B. Zhong, C. Jordan, and P. Julien,  "Extending Signal Temporal Logic with Quantitative Semantics by Intervals for Robust Monitoring of Cyber-Physical Systems",  in ACM Transactions on Cyber-Physical Systems,  Vol. 5,  No. 2,  Jan 2021.

Tomasz Kloda, Antoine Bertout, Yves Sorel,  "Latency upper bound for data chains of real-time periodic tasks",  in Journal of Systems Architecture,  Vol. 109,  Oct 2020.

R. Tabish, R. Mancuso, S. Wasly, R. Pellizzoni, and M. Caccamo,  "A real-time scratchpad-centric OS with predictable inter/intra-core communication for multi-core embedded systems",  in Real-Time Systems Journal,  Sep 2019.