research
∙
05/29/2023
Taming AI Bots: Controllability of Neural States in Large Language Models
We tackle the question of whether an agent can, by suitable choice of pr...
share
research
∙
10/14/2022
Let's Talk Through Physics! Covert Cyber-Physical Data Exfiltration on Air-Gapped Edge Devices
Although organizations are continuously making concerted efforts to hard...
research
∙
03/09/2022
Learning to control from expert demonstrations
In this paper, we revisit the problem of learning a stabilizing controll...
research
∙
10/05/2021
Learned Uncertainty Calibration for Visual Inertial Localization
The widely-used Extended Kalman Filter (EKF) provides a straightforward ...
research
∙
02/24/2021
Being correct is not enough: efficient verification using robust linear temporal logic
While most approaches in formal methods address system correctness, ensu...
research
∙
02/17/2021
Joint Continuous and Discrete Model Selection via Submodularity
In model selection problems for machine learning, the desire for a well-...
research
∙
07/12/2020
Universal Approximation Power of Deep Neural Networks via Nonlinear Control Theory
In this paper, we explain the universal approximation capabilities of de...
research
∙
06/25/2020
Distortion based Light-weight Security for Cyber-Physical Systems
In Cyber-Physical Systems (CPS), inference based on communicated data is...
research
∙
02/11/2020
Rapid Top-Down Synthesis of Large-Scale IoT Networks
Advances in optimization and constraint satisfaction techniques, togethe...
research
∙
06/18/2019
Symmetries and isomorphisms for privacy in control over the cloud
Cloud computing platforms are being increasingly used for closing feedba...
research
∙
04/03/2019
Securing State Estimation Under Sensor and Actuator Attacks: Theory and Design
This paper discusses the problem of estimating the state of a linear tim...
research
∙
09/12/2018
Distorting an Adversary's View in Cyber-Physical Systems
In Cyber-Physical Systems (CPSs), inference based on communicated data i...
research
∙
09/07/2018
Cloud-based Quadratic Optimization with Partially Homomorphic Encryption
The development of large-scale distributed control systems has led to th...
research
∙
07/21/2018