research
∙
06/21/2023
Polynomial Logical Zonotopes: A Set Representation for Reachability Analysis of Logical Systems
In this paper, we introduce a set representation called polynomial logic...
share
research
∙
05/12/2023
Differentially Private Set-Based Estimation Using Zonotopes
For large-scale cyber-physical systems, the collaboration of spatially d...
research
∙
02/10/2023
Shared Situational Awareness with V2X Communication and Set-membership Estimation
The ability to perceive and comprehend a traffic situation and to predic...
research
∙
11/20/2022
Safe Reinforcement Learning using Data-Driven Predictive Control
Reinforcement learning (RL) algorithms can achieve state-of-the-art perf...
research
∙
11/15/2022
Resilient Set-based State Estimation for Linear Time-Invariant Systems Using Zonotopes
This paper considers the problem of set-based state estimation for linea...
research
∙
10/16/2022
Logical Zonotope: A Set Representation for Binary Vectors
In this paper, we propose a new set representation for binary vectors ca...
research
∙
04/15/2022
Safe Reinforcement Learning Using Black-Box Reachability Analysis
Reinforcement learning (RL) is capable of sophisticated motion planning ...
research
∙
11/08/2021
Privacy Guarantees for Cloud-based State Estimation using Partially Homomorphic Encryption
The privacy aspect of state estimation algorithms has been drawing high ...
research
∙
11/08/2021
Data-driven Set-based Estimation of Polynomial Systems with Application to SIR Epidemics
This paper proposes a data-driven set-based estimation algorithm for a c...
research
∙
09/15/2021
Enhancing Data-Driven Reachability Analysis using Temporal Logic Side Information
This paper presents algorithms for performing data-driven reachability a...
research
∙
05/15/2021
Data-Driven Reachability Analysis from Noisy Data
We consider the problem of computing reachable sets directly from noisy ...
research
∙
03/25/2021
Robust Data-Driven Predictive Control using Reachability Analysis
We present a robust data-driven control scheme for unknown linear system...
research
∙
03/02/2021
Set-Membership Estimation in Shared Situational Awareness for Automated Vehicles in Occluded Scenarios
One of the main challenges in developing autonomous transport systems ba...
research
∙
11/17/2020
Data-Driven Reachability Analysis Using Matrix Zonotopes
In this paper, we propose a data-driven reachability analysis approach f...
research
∙
10/19/2020
Privacy Preserving Set-Based Estimation Using Partially Homomorphic Encryption
Set-based estimation has gained a lot of attention due to its ability to...
research
∙
02/03/2018
Realizing Uncertainty-Aware Timing Stack in Embedded Operating System
Time awareness is critical to a broad range of emerging applications – i...
research
∙
01/22/2018
SecSens: Secure State Estimation with Application to Localization and Time Synchronization
Research evidence in Cyber-Physical Systems (CPS) shows that the introdu...
research
∙
11/10/2017
D-SLATS: Distributed Simultaneous Localization and Time Synchronization
Through the last decade, we have witnessed a surge of Internet of Things...
research
∙
11/03/2017
Dynamic FPGA Detection and Protection of Hardware Trojan: A Comparative Analysis
Hardware Trojan detection and protection is becoming more crucial as mor...
research
∙
11/01/2017