Get started
Award

N00014-17-1-2012

Funded outputs count: 29
Funder award ID: N00014-17-1-2012
OpenAlex ID: G8519615577
Attack-Resilient Supervisory Control of Discrete-Event Systems: A Finite-State Transducer Approach
2023 · Yu Wang, Alper Kamil Bozkurt, et al. · IEEE Open Journal of Control Systems · 14
PDF
Learning Enabled Fast Planning and Control in Dynamic Environments with Intermittent Information
2022 · Matthew Cleaveland, Esen Yel, et al. · IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS) · 3
PDF
IoT-Enabled Motion Control: Architectural Design Challenges and Solutions
2022 · Vuk Lesi, Zivana Jakovljevic, et al. · IEEE Transactions on Industrial Informatics · 11
Detection of Nonrandom Sign-Based Behavior for Resilient Coordination of Robotic Swarms
2022 · Paul J Bonczek, Rahul Peddi, et al. · IEEE Transactions on Robotics · 11
Detection and Inference of Randomness-based Behavior for Resilient Multi-vehicle Coordinated Operations
2021 · Paul J Bonczek, Nicola Bezzo · IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS) · 3
PDF
Security Analysis for Distributed IoT-Based Industrial Automation
2021 · Vuk Lesi, Zivana Jakovljevic, et al. · IEEE Transactions on Automation Science and Engineering · 38
PDF
Detection of Hidden Attacks on Cyber-Physical Systems from Serial Magnitude and Sign Randomness Inconsistencies
2021 · Paul J Bonczek, Nicola Bezzo · Proceedings of the ... American Control Conference/Proceedings of the American Control Conference · 7
PDF
Learning lyapunov functions for hybrid systems
2021 · Shaoru Chen, Mahyar Fazlyab, et al. · International Conference on Hybrid Systems: computation and control · 34
PDF
Real-time detectors for digital and physical adversarial inputs to perception systems
2021 · Yiannis Kantaros, Taylor Carpenter, et al. · ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS) · 16
PDF
Model Checking Resiliency and Sustainability of In-Vehicle Network for Real-Time Authenticity
2021 · Jin Hyun Kim, Hyo Jin Jo, et al. · Applied Sciences · 5
PDF
Model-based Randomness Monitor for Stealthy Sensor Attacks
2020 · Paul J Bonczek, Shijie Gao, et al. · Proceedings of the ... American Control Conference/Proceedings of the American Control Conference · 3
PDF
Cloud-Based Quadratic Optimization With Partially Homomorphic Encryption
2020 · Andreea B. Alexandru, Konstantinos Gatsis, et al. · IEEE Transactions on Automatic Control · 24
PDF
Integrating Security in Resource-Constrained Cyber-Physical Systems
2020 · Vuk Lesi, Ilija Jovanov, et al. · ACM Transactions on Cyber-Physical Systems · 35
PDF
Memoryless Cumulative Sign Detector for Stealthy CPS Sensor Attacks
2020 · Paul J Bonczek, Nicola Bezzo · IFAC-PapersOnLine · 5
State-Secrecy Codes for Networked Linear Systems
2019 · Anastasios Tsiamis, Konstantinos Gatsis, et al. · IEEE Transactions on Automatic Control · 86
PDF
Distributing Sequential Control for Manufacturing Automation Systems
2019 · Zivana Jakovljevic, Vuk Lesi, et al. · IEEE Transactions on Control Systems Technology · 20
Encrypted LQG using labeled homomorphic encryption
2019 · Andreea B. Alexandru, George J. Pappas · ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS) · 27
PDF
Reliable industrial IoT-based distributed automation
2019 · Vuk Lesi, Zivana Jakovljevic, et al. · IEEE/ACM International Conference on Internet-of-Things Design and Implementation (IoTDI) · 15
PDF
Operator Strategy Model Development in UAV Hacking Detection
2019 · Haibei Zhu, Mary L. Cummings, et al. · IEEE Transactions on Human-Machine Systems · 47
PDF
Relaxing Integrity Requirements for Attack-Resilient Cyber-Physical Systems
2019 · Ilija Jovanov, Miroslav Pajic · IEEE Transactions on Automatic Control · 64
PDF
Security-Aware Synthesis Using Delayed-Action Games
2019 · Mahmoud Elfar, Yu Wang, et al. · Lecture notes in computer science · 5
PDF
LCV: A Verification Tool for Linear Controller Software
2019 · Junkil Park, Miroslav Pajic, et al. · Lecture notes in computer science · 2
PDF
Cloud-Based MPC with Encrypted Data
2018 · Andreea B. Alexandru, Manfred Morari, et al. · IEEE Conference on Decision and Control (CDC) · 108
PDF
An Information Matrix Approach for State Secrecy
2018 · Tsiamis, Anastasios, Gatsis, Konstantinos, et al. · arXiv (Cornell University)
PDF
Continuous Estimation Using Context-Dependent Discrete Measurements
2018 · Radoslav Ivanov, Nikolay Atanasov, et al. · IEEE Transactions on Automatic Control · 6
Year
Topic