
Learned Uncertainty Calibration for Visual Inertial Localization
The widelyused Extended Kalman Filter (EKF) provides a straightforward ...
read it

Being correct is not enough: efficient verification using robust linear temporal logic
While most approaches in formal methods address system correctness, ensu...
read it

Joint Continuous and Discrete Model Selection via Submodularity
In model selection problems for machine learning, the desire for a well...
read it

Universal Approximation Power of Deep Neural Networks via Nonlinear Control Theory
In this paper, we explain the universal approximation capabilities of de...
read it

Distortion based Lightweight Security for CyberPhysical Systems
In CyberPhysical Systems (CPS), inference based on communicated data is...
read it

Rapid TopDown Synthesis of LargeScale IoT Networks
Advances in optimization and constraint satisfaction techniques, togethe...
read it

Symmetries and isomorphisms for privacy in control over the cloud
Cloud computing platforms are being increasingly used for closing feedba...
read it

Securing State Estimation Under Sensor and Actuator Attacks: Theory and Design
This paper discusses the problem of estimating the state of a linear tim...
read it

Distorting an Adversary's View in CyberPhysical Systems
In CyberPhysical Systems (CPSs), inference based on communicated data i...
read it

Cloudbased Quadratic Optimization with Partially Homomorphic Encryption
The development of largescale distributed control systems has led to th...
read it

Robust Monitoring of Linear Temporal Properties
Runtime verification is commonly used to detect and, if possible, react ...
read it
Paulo Tabuada
is this you? claim profile