2 citations · 6 across the 13 of their papers we have counts for
13 papers
Exploiting Sparsity for Localization of Large-Scale Wireless Sensor Networks
Shiraz Khan, Inseok Hwang, James Goppert
Wireless Sensor Network (WSN) localization refers to the problem of determining the position of each of the agents in a WSN using noisy measurement information. In many cases, such…
Distributed Gaussian Mixture PHD Filtering under Communication Constraints
Shiraz Khan, Yi-Chieh Sun, Inseok Hwang
The Gaussian Mixture Probability Hypothesis Density (GM-PHD) filter is an almost exact closed-form approximation to the Bayes-optimal multi-target tracking algorithm. Due to its op…
Recovery of Localization Errors in Sensor Networks using Inter-Agent Measurements
Shiraz Khan, Inseok Hwang
A practical challenge which arises in the operation of sensor networks is the presence of sensor faults, biases, or adversarial attacks, which can lead to significant errors incurr…
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…
Log-linear Dynamic Inversion Control with Provable Safety Guarantees in Lie Groups
Li-Yu Lin, James Goppert, Inseok Hwang
In this paper, we use the derivative of the exponential map to derive the exact evolution of the logarithm of the tracking error for mixed-invariant systems, a class of systems cap…
A Novel Approach to Set-Membership Observer for Systems with Unknown Exogenous Inputs
Marvin Jesse, Dawei Sun, Inseok Hwang
Motivated by the increasing need to monitor safety-critical systems subject to uncertainties, a novel set-membership approach is proposed to estimate the state of a dynamical syste…
Direct Data-Driven Discrete-time Bilinear Biquadratic Regulator
Shanelle G. Clarke, Omanshu Thapliyal, Inseok Hwang
We present a novel direct data-driven algorithm that learns an optimal control policy for the Bilinear Biquadratic Regulator (BBR) for an unknown bilinear system. The BBR is diffic…
State Prediction of Human-in-the-Loop Multi-rotor System with Stochastic Human Behavior Model
Joonwon Choi, Sooyung Byeon, Inseok Hwang
Reachability analysis is a widely used method to analyze the safety of a Human-in-the-Loop Cyber Physical System (HiLCPS). This strategy allows the HiLCPS to respond against an imm…
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…