From the 1 of 5 linked papers with an AI index.
5 papers
Stability Buys Time: A Re-Keying Game for Encrypted Multi-Agent Control
Sai Sandeep Damera, John S. Baras
The paper studies how to protect a cloud‑controlled fleet of agents that use approximate fully homomorphic encryption (CKKS) by modeling the security of the control loop as a two‑p…
An End-to-End Encrypted Control Pipeline for Multi-Agent Coordination via CKKS Homomorphic Encryption
Sai Sandeep Damera, Maria Charitidou, Asim Zoulkarni +1
Cloud-based coordination of multi-agent systems requires sharing state with a central server, creating a conflict between coordination and privacy. Fully homomorphic encryption (FH…
IDDMBSE: Integrating Data-Driven and Model-Based Systems Engineering for Trusted Autonomous Cyber-Physical Systems
John S. Baras, Sai Sandeep Damera, Ryan Matheu +2
Autonomous cyber-physical systems (CPS) sit at the intersection of Model-Based Systems Engineering (MBSE) and data-driven Machine Learning and Artificial Intelligence (ML/AI), yet…
On the Stability and Realizability of Recurrent Polynomial Surrogate Ternary Logic Gate Networks
Sai Sandeep Damera, Ryan Matheu, Aniruddh G. Puranic +2
Recurrent Neural Networks (RNNs) can learn to predict Signal Temporal Logic (STL) verdicts online from partial trajectories, but deploying them as runtime monitors in safety-critic…
Polynomial Surrogate Training for Differentiable Ternary Logic Gate Networks
Sai Sandeep Damera, Ryan Matheu, Aniruddh G. Puranic +1
Differentiable logic gate networks (DLGNs) learn compact, interpretable Boolean circuits via gradient-based training, but all existing variants are restricted to the 16 two-input b…