Devaprakash Muniraj

Publication Activity (10 Years)

Years Active: 2017-2023
Publications (10 Years): 10

Top Topics

Temporally Extended Goals

Mazurkiewicz Traces

Distributed Control

Top Venues

Publications

Devaprakash Muniraj, Mazen Farhood
A Scalable Compositional Falsification Approach for Identifying Challenging Scenarios in Cyber-Physical Systems. IEEE Syst. J. 17 (3) (2023)
Gökçen Yilmaz Dayanikli, Sourav Sinha, Devaprakash Muniraj, Ryan M. Gerdes, Mazen Farhood, Mani Mina
Physical-Layer Attacks Against Pulse Width Modulation-Controlled Actuators. USENIX Security Symposium (2022)
Devaprakash Muniraj, Hans He, Mazen Farhood, Daniel J. Stilwell
A Distributed Connectivity Maintenance Algorithm With Formal Guarantees for a Communication-Constrained Network of Unmanned Underwater Vehicles. IEEE Syst. J. 16 (2) (2022)
Sourav Sinha, Devaprakash Muniraj, Mazen Farhood
LFT Representation of a Class of Nonlinear Systems: A Data-Driven Approach. ECC (2021)
Sourav Sinha, Devaprakash Muniraj, Mazen Farhood
LFT Representation of a Class of Nonlinear Systems: A Data-Driven Approach. CoRR (2021)
Devaprakash Muniraj, Mazen Farhood, Daniel J. Stilwell
A Distributed Connectivity Maintenance Algorithm for a Network of Unmanned Underwater Vehicles Under Communication Constraints. CDC (2020)
Devaprakash Muniraj, Dany Abou Jaoude, Mazen Farhood
On Using Composability Tools for Reliability Analysis of Unmanned Multi-Aircraft Systems: A Case Study. IEEE Access 8 (2020)
Dany Abou Jaoude, Devaprakash Muniraj, Mazen Farhood
Robustness Analysis of Uncertain Time-Varying Interconnected Systems Using Integral Quadratic Constraints. ACC (2019)
Devaprakash Muniraj, Kyriakos G. Vamvoudakis, Mazen Farhood
Enforcing Signal Temporal Logic Specifications in Multi-Agent Adversarial Environments: A Deep Q-Learning Approach. CDC (2018)
Devaprakash Muniraj, Mazen Farhood
Distributed control of systems with uncertain initial conditions. ACC (2017)