research
∙
06/14/2023
System Information Decomposition
In order to characterize complex higher-order interactions among variabl...
share
research
∙
05/11/2023
Neural Lyapunov Control for Discrete-Time Systems
While ensuring stability for linear systems is well understood, it remai...
research
∙
04/28/2023
Pre-processing training data improves accuracy and generalisability of convolutional neural network based landscape semantic segmentation
In this paper, we trialled different methods of data preparation for Con...
research
∙
04/04/2023
Risk-Aware Distributed Multi-Agent Reinforcement Learning
Autonomous cyber and cyber-physical systems need to perform decision-mak...
research
∙
03/29/2021
Reinforcement Learning Beyond Expectation
The inputs and preferences of human users are important considerations i...
research
∙
03/29/2021
Scalable Planning in Multi-Agent MDPs
Multi-agent Markov Decision Processes (MMDPs) arise in a variety of appl...
research
∙
07/27/2020
Privacy-Preserving Resilience of Cyber-Physical Systems to Adversaries
A cyber-physical system (CPS) is expected to be resilient to more than o...
research
∙
07/22/2020
Secure Control in Partially Observable Environments to Satisfy LTL Specifications
This paper studies the synthesis of control policies for an agent that h...
research
∙
06/22/2020
Dynamic Information Flow Tracking for Detection of Advanced Persistent Threats: A Stochastic Game Approach
Advanced Persistent Threats (APTs) are stealthy customized attacks by in...
research
∙
01/19/2020
FRESH: Interactive Reward Shaping in High-Dimensional State Spaces using Human Feedback
Reinforcement learning has been successful in training autonomous agents...
research
∙
10/27/2019
Linear Temporal Logic Satisfaction in Adversarial Environments using Secure Control Barrier Certificates
This paper studies the satisfaction of a class of temporal properties fo...
research
∙
07/20/2019
Potential-Based Advice for Stochastic Policy Learning
This paper augments the reward received by a reinforcement learning agen...
research
∙
06/04/2019
A Differentially Private Incentive Design for Traffic Offload to Public Transportation
Increasingly large trip demands have strained urban transportation capac...
research
∙
03/16/2019
Secure Control under Partial Observability with Temporal Logic Constraints
This paper studies the synthesis of control policies for an agent that h...
research
∙
11/14/2018
A Game Theoretic Approach for Dynamic Information Flow Tracking to Detect Multi-Stage Advanced Persistent Threats
Advanced Persistent Threats (APTs) infiltrate cyber systems and compromi...
research
∙
08/31/2018
Minimum Violation Control Synthesis on Cyber-Physical Systems under Attacks
Cyber-physical systems are conducting increasingly complex tasks, which ...
research
∙
07/25/2018
Shape of the Cloak: Formal Analysis of Clock Skew-Based Intrusion Detection System in Controller Area Networks
This paper presents a new masquerade attack called the cloaking attack a...
research
∙
08/14/2017
Attacking Automatic Video Analysis Algorithms: A Case Study of Google Cloud Video Intelligence API
Due to the growth of video data on Internet, automatic video analysis ha...
research
∙
12/27/2012
Group theory, group actions, evolutionary algorithms, and global optimization
In this paper we use group, action and orbit to understand how evolution...
research
∙
06/28/2012
Piecewise Linear Topology, Evolutionary Algorithms, and Optimization Problems
Schemata theory, Markov chains, and statistical mechanics have been used...
research
∙
09/15/2011