2 citations · 3 across the 5 of their papers we have counts for
6 papers
On Attack Detection and Identification for the Cyber-Physical System using Lifted System Model
Dawei Sun, Minhyun Cho, Inseok Hwang
Motivated by the safety and security issues related to cyber-physical systems with potentially multi-rate, delayed, and nonuniformly sampled measurements, we investigate the attack…
Data-driven Cyberattack Synthesis against Network Control Systems
Omanshu Thapliyal, Inseok Hwang
Network Control Systems (NCSs) pose unique vulnerabilities to cyberattacks due to a heavy reliance on communication channels. These channels can be susceptible to eavesdropping, fa…
Approximating Reachable Sets for Neural Network based Models in Real-Time via Optimal Control
Omanshu Thapliyal, Inseok Hwang
In this paper, we present a data-driven framework for real-time estimation of reachable sets for control systems where the plant is modeled using neural networks (NNs). We utilize…
Control Protocol Design and Analysis for Unmanned Aircraft System Traffic Management
Jiazhen Zhou, Dawei Sun, Inseok Hwang +1
Due to the rapid development technologies for small unmanned aircraft systems (sUAS), the supply and demand market for sUAS is expanding globally. With the great number of sUAS rea…
Safety Verification of Model Based Reinforcement Learning Controllers
Akshita Gupta, Inseok Hwang
Model-based reinforcement learning (RL) has emerged as a promising tool for developing controllers for real world systems (e.g., robotics, autonomous driving, etc.). However, real…
Safety-guaranteed Reinforcement Learning based on Multi-class Support Vector Machine
Kwangyeon Kim, Akshita Gupta, Hong-Cheol Choi +1
Several works have addressed the problem of incorporating constraints in the reinforcement learning (RL) framework, however majority of them can only guarantee the satisfaction of…