Protocol-based conflict resolution for finite information horizon. - Inseok Hwang 002; Claire J. Tomlin (ACC, 2002)

Reachability Analysis of Delta-NotchLateral Inhibition Using Predicate Abstraction. - Inseok Hwang 002; Hamsa Balakrishnan; Ronojoy Ghosh; Claire J. Tomlin (HiPC, 2002)

Applications of polytopic approximations of reachable sets to linear dynamic games and a class of nonlinear systems. - Inseok Hwang 002; Dusan M. Stipanovic; Claire J. Tomlin (ACC, 2003)

Performance analysis of hybrid estimation algorithms. - Inseok Hwang 002; Hamsa Balakrishnan; Claire J. Tomlin (CDC, 2003)

Immediate observability of discrete event systems with application to user-interface design. - Meeko Oishi; Inseok Hwang 002; Claire J. Tomlin (CDC, 2003)

Observability criteria and estimator design for stochastic linear hybrid systems. - Inseok Hwang 002; Hamsa Balakrishnan; Claire J. Tomlin (ECC, 2003)

Computation of an over-approximation of the backward reachable set using subsystem level set functions. - Dusan M. Stipanovic; Inseok Hwang 002; Claire J. Tomlin (ECC, 2003)

Multiple-target tracking and identity management in clutter, with application to aircraft tracking. - Inseok Hwang 002; Hamsa Balakrishnan; Kaushik Roy 007; Claire J. Tomlin (ACC, 2004)

Polynomial approximation algorithms for belief matrix maintenance in identity management. - Hamsa Balakrishnan; Inseok Hwang 002; Claire J. Tomlin (CDC, 2004)

A distributed multiple-target identity management algorithm in sensor networks. - Inseok Hwang 002; Kaushik Roy 007; Hamsa Balakrishnan; Claire J. Tomlin (CDC, 2004)

Inference Methods for Autonomous Stochastic Linear Hybrid Systems. - Hamsa Balakrishnan; Inseok Hwang 002; Jung Soon Jang; Claire J. Tomlin (HSCC, 2004)

An Estimation Algorithm for Stochastic Linear Hybrid Systems with Continuous-State-Dependent Mode Transitions. - Inseok Hwang 002; Chze Eng Seah (CDC, 2006)

A Computational Approach to Solve Optimal Control Problems Using Differential Transformation. - Dzung Du; Inseok Hwang 002 (ACC, 2007)

A computational method for optimal control of hybrid systems using differential transformation. - Dzung Du; Jinhua Li; Inseok Hwang 002 (CDC, 2007)

A differential transformation based computational method for switched linear quadratic optimal control. - Jinhua Li; Dzung Du; Inseok Hwang 002 (CDC, 2007)

Hybrid Estimation for Stochastic Piecewise Linear Systems. - Chze Eng Seah; Inseok Hwang 002 (HSCC, 2007)

Stability analysis of the Interacting Multiple Model algorithm. - Chze Eng Seah; Inseok Hwang 002 (ACC, 2008)

A numerical algorithm for optimal control of a class of hybrid systems: differential transformation based approach. - Inseok Hwang 002; Jinhua Li; Dzung Du (Int. J. Control, 2008)

Intent-Based Probabilistic Conflict Detection for the Next Generation Air Transportation System. - Inseok Hwang 002; Chze Eng Seah (Proc. IEEE, 2008)

A new nonlinear model predictive control algorithm using differential transformation with application to interplanetary low-thrust trajectory tracking. - Rosemary Huang; Inseok Hwang 002; Martin Corless (ACC, 2009)

Estimation algorithm for stochastic linear hybrid systems with quadratic guard conditions. - Weiyi Liu; Chze Eng Seah; Inseok Hwang 002 (CDC, 2009)

Fault detection and isolation for stochastic linear hybrid systems. - Chze Eng Seah; Inseok Hwang 002 (CDC, 2009)

Stochastic Linear Hybrid Systems: Modeling, Estimation, and Application in Air Traffic Control. - Chze Eng Seah; Inseok Hwang 002 (IEEE Trans. Control. Syst. Technol., 2009)

Hybrid system's model and algorithm for highway traffic monitoring. - Alinda Aligawesa; Inseok Hwang 002 (ACC, 2010)

Robust estimation algorithm for a class of hybrid systems with unknown continuous fault inputs. - Weiyi Liu; Inseok Hwang 002 (ACC, 2010)

Probabilistic 4D trajectory prediction and conflict detection for air traffic control. - Weiyi Liu; Inseok Hwang 002 (CDC, 2010)

A Survey of Fault Detection, Isolation, and Reconfiguration Methods. - Inseok Hwang 002; Sungwan Kim; Youdan Kim; Chze Eng Seah (IEEE Trans. Control. Syst. Technol., 2010)

Optimal Arrival Flight Sequencing and Scheduling Using Discrete Airborne Delays. - Yeonju Eun; Inseok Hwang 002; Hyochoong Bang (IEEE Trans. Intell. Transp. Syst., 2010)

Optimal sensor scheduling for hybrid estimation. - Weiyi Liu; Inseok Hwang 002 (ACC, 2011)

Stochastic approximation algorithm with application to event-triggered filtering. - Weiyi Liu; Inseok Hwang 002 (CDC/ECC, 2011)

Algorithm for Performance Analysis of the IMM Algorithm. - Chze Eng Seah; Inseok Hwang 002 (IEEE Trans. Aerosp. Electron. Syst., 2011)

A stochastic approximation based state estimation algorithm for Stochastic Hybrid Systems. - Weiyi Liu; Inseok Hwang 002 (ACC, 2012)

Probabilistic aircraft conflict resolution: A stochastic optimal control approach. - Weiyi Liu; Inseok Hwang 002 (ACC, 2012)

Event-triggered filtering with application to target tracking in binary sensor networks. - Sangjin Lee; Weiyi Liu; Inseok Hwang 002 (CDC, 2012)

Dynamical filtering equations for Stochastic Hybrid System state estimation. - Weiyi Liu; Inseok Hwang 002 (CDC, 2012)

Numerical Analysis of Cyberattacks on Unmanned Aerial Systems. - James Goppert; Weiyi Liu; Andrew Shull; Vincent Sciandra; Inseok Hwang 002; Hal Aldridge (Infotech@Aerospace, 2012)

ArduPilotOne: Extending the Capabilities of the Open-Source ArduPilotMega Autopilot System. - James Goppert; Nathanael Xie Wenyao; Inseok Hwang 002 (Infotech@Aerospace, 2012)

Cyber Attack Vulnerabilities Analysis for Unmanned Aerial Vehicles. - Alan Kim; Brandon Wampler; James Goppert; Inseok Hwang 002; Hal Aldridge (Infotech@Aerospace, 2012)

Security analysis for Cyber-Physical Systems against stealthy deception attacks. - Cheolhyeon Kwon; Weiyi Liu; Inseok Hwang 002 (ACC, 2013)

Hybrid robust controller design: Cyber attack attenuation for Cyber-Physical Systems. - Cheolhyeon Kwon; Inseok Hwang 002 (CDC, 2013)

Event-based state estimation algorithm using Markov chain approximation. - Sangjin Lee; Weiyi Liu; Inseok Hwang 002 (CDC, 2013)

Model Checking of a Flapping-Wing Mirco-Air-Vehicle Trajectory Tracking Controller Subject to Disturbances. - James Goppert; John C. Gallagher; Inseok Hwang 002; Eric T. Matson (RiTA, 2013)

A hybrid distributed-centralized conflict resolution approach for multi-aircraft based on cooperative co-evolutionary. - Xuejun Zhang; Xiangmin Guan; Inseok Hwang 002; Kaiquan Cai (Sci. China Inf. Sci., 2013)

Multi-Sensor Fusion and Fault Detection using Hybrid Estimation for Air Traffic Surveillance. - Weiyi Liu; Jian Wei; Mengchen Liang; Yi Cao; Inseok Hwang 002 (IEEE Trans. Aerosp. Electron. Syst., 2013)

Software/Hardware-in-the-Loop Analysis of Cyberattacks on Unmanned Aerial Systems. - James Goppert; Andrew Shull; Nandagopal Sathyamoorthy; Weiyi Liu; Inseok Hwang 002; Hal Aldridge (J. Aerosp. Inf. Syst., 2014)

Analysis and Design of Stealthy Cyber Attacks on Unmanned Aerial Systems. - Cheolhyeon Kwon; Weiyi Liu; Inseok Hwang 002 (J. Aerosp. Inf. Syst., 2014)

On Hybrid State Estimation for Stochastic Hybrid Systems. - Weiyi Liu; Inseok Hwang 002 (IEEE Trans. Autom. Control., 2014)

Probabilistic Aircraft Midair Conflict Resolution Using Stochastic Optimal Control. - Weiyi Liu; Inseok Hwang 002 (IEEE Trans. Intell. Transp. Syst., 2014)

Augmented sensing-based state estimation for cooperative Multi-Agent Systems. - Cheolhyeon Kwon; David Kun; Inseok Hwang 002 (ACC, 2015)

Intent Inference-Based Flight-Deck Human-Automation Mode-Confusion Detection. - Sangjin Lee; Inseok Hwang 002; Kenneth Leiden (J. Aerosp. Inf. Syst., 2015)

Markov Chain Approximation Algorithm for Event-Based State Estimation. - Sangjin Lee; Weiyi Liu; Inseok Hwang 002 (IEEE Trans. Control. Syst. Technol., 2015)

Recursive reachable set computation for on-line safety assessment of the Cyber-Physical System against stealthy cyber attacks. - Cheolhyeon Kwon; Inseok Hwang 002 (Allerton, 2016)

Constrained stochastic hybrid system modeling to road map - GPS integration for vehicle positioning. - Cheolhyeon Kwon; Inseok Hwang 002 (CDC, 2016)

A large-scale flight multi-objective assignment approach based on multi-island parallel evolution algorithm with cooperative coevolutionary. - Renli Lü; Xiangmin Guan; Xueyuan Li; Inseok Hwang 002 (Sci. China Inf. Sci., 2016)

A strategic conflict avoidance approach based on cooperative coevolutionary with the dynamic grouping strategy. - Xiangmin Guan; Xuejun Zhang; Jian Wei; Inseok Hwang 002; Yanbo Zhu; Kaiquan Cai (Int. J. Syst. Sci., 2016)

Real-Time Safety Assessment of Unmanned Aircraft Systems Against Stealthy Cyber Attacks. - Cheolhyeon Kwon; Scott Yantek; Inseok Hwang 002 (J. Aerosp. Inf. Syst., 2016)

Formal Verification for Mode Confusion in the Flight Deck Using Intent-Based Abstraction. - Jayaprakash Suraj Nandiganahalli; Sangjin Lee; Inseok Hwang 002 (J. Aerosp. Inf. Syst., 2016)

Data-Driven Modeling and Analysis Framework for Cockpit Human-Machine Interaction Issues. - Abhishek Vaidya; Sangjin Lee; Inseok Hwang 002 (J. Aerosp. Inf. Syst., 2016)

Optimal discrete-time Kalman Consensus Filter. - Raj Deshmukh; Cheolhyeon Kwon; Inseok Hwang 002 (ACC, 2017)

Optimal state estimation for LTI systems with imperfect observations. - Omanshu Thapliyal; Jayaprakash Suraj Nandiganahalli; Inseok Hwang 002 (CDC, 2017)

Trustworthy design architecture: Cyber-physical system. - Sung Choi; Adrian R. Chavez; Marcos Torres; Cheolhyeon Kwon; Inseok Hwang 002 (ICCST, 2017)

Invariant Kalman filter application to optical flow based visual odometry for UAVs. - James Goppert; Scott Yantek; Inseok Hwang 002 (ICUFN, 2017)

Data-Mining-Based Computer Vision Analytics for Automated Helicopter Flight State Inference. - Sanghyun Shin; Inseok Hwang 002 (J. Aerosp. Inf. Syst., 2017)

A Study on Stability of the Interacting Multiple Model Algorithm. - Inseok Hwang 002; Chze Eng Seah; Sangjin Lee (IEEE Trans. Autom. Control., 2017)

Prediction-based Adaptive Robust Compensation for Motion Control of Time-delayed Uncertain Linear Motors. - Jayaprakash Suraj Nandiganahalli; Cheolhyeon Kwon; Inseok Hwang 002 (ACC, 2018)

Reachability Analysis for Safety Assurance of Cyber-Physical Systems Against Cyber Attacks. - Cheolhyeon Kwon; Inseok Hwang 002 (IEEE Trans. Autom. Control., 2018)

Intent-Based Detection and Characterization of Aircraft Maneuvers in En Route Airspace. - Kwangyeon Kim; Inseok Hwang 002 (J. Aerosp. Inf. Syst., 2018)

Automation Intent Inference Using the GFHMM for Flight Deck Mode Confusion Detection. - Hao Lyu; Jayaprakash Suraj Nandiganahalli; Inseok Hwang 002 (J. Aerosp. Inf. Syst., 2018)

Cooperative Multiple Agent-Based Algorithm for Evacuation Planning for Victims with Different Urgencies. - Byung Hoon Oh; Kwangyeon Kim; Han-Lim Choi; Inseok Hwang 002 (J. Aerosp. Inf. Syst., 2018)

Optimal Kalman Consensus Filter for Weighted Directed Graphs. - Shiraz Khan; Raj Deshmukh; Inseok Hwang 002 (CDC, 2019)

Predicting Mode Confusion Through Mixed Integer Linear Programming. - Vignesh Sivaramakrishnan; Omanshu Thapliyal; Abraham P. Vinod; Meeko Oishi; Inseok Hwang 002 (CDC, 2019)

Resilient Control Design for Hybrid Systems against Switching and Data Injection Attacks. - Dawei Sun; Inseok Hwang 002 (CDC, 2019)

Decentralized Multi-sensor Scheduling for Multi-target Tracking and Identity Management. - Chiyu Zhang; Inseok Hwang 002 (ECC, 2019)

Sensing-Based Distributed State Estimation for Cooperative Multiagent Systems. - Cheolhyeon Kwon; Inseok Hwang 002 (IEEE Trans. Autom. Control., 2019)

Incremental-Learning-Based Unsupervised Anomaly Detection Algorithm for Terminal Airspace Operations. - Raj Deshmukh; Inseok Hwang 002 (J. Aerosp. Inf. Syst., 2019)

Distributed State Estimation for Stochastic Linear Hybrid Systems. - Bin Du; Lian Yuan; Dengfeng Sun; Inseok Hwang 002 (CDC, 2020)

Safety-guaranteed Reinforcement Learning based on Multi-class Support Vector Machine. - Kwangyeon Kim; Akshita Gupta 001; Hong-Cheol Choi; Inseok Hwang 002 (CoRR, 2020)

Safety Verification of Model Based Reinforcement Learning Controllers. - Akshita Gupta 001; Inseok Hwang 002 (CoRR, 2020)

Multi-target identity management with decentralized optimal sensor scheduling. - Chiyu Zhang; Inseok Hwang 002 (Eur. J. Control, 2020)

Attitude control of rigid spacecraft with predefined-time stability. - Feng Wang 045; Yue Miao; Chaoyong Li; Inseok Hwang 002 (J. Frankl. Inst., 2020)

Gaussian mixture probability hypothesis density filter against measurement origin uncertainty. - Dohyeung Kim; Cheolhyeon Kwon; Inseok Hwang 002 (Signal Process., 2020)

Delay-Tolerant Adaptive Robust Tracking Control of Uncertain Time-Delay Systems. - Jayaprakash Suraj Nandiganahalli; Cheolhyeon Kwon; Inseok Hwang 002 (IEEE Trans. Autom. Control., 2020)

Path Planning for a Network of Robots with Distributed Multi-Objective Linear Programming. - Omanshu Thapliyal; Inseok Hwang 002 (ACC, 2021)

Gaussian Mixture Probability Hypothesis Density Filter with State-Dependent Probabilities. - Yi-Chieh Sun; Inseok Hwang 002 (ECC, 2021)

Learning based Cyberattack Design and Defense for Supervisory Control Systems. - Omanshu Thapliyal; Inseok Hwang 002 (ECC, 2021)

Skill-level-based Hybrid Shared Control for Human-Automation Systems. - Sooyung Byeon; Dawei Sun; Inseok Hwang 002 (SMC, 2021)

Distributed Fast-Tracking Alternating Direction Method of Multipliers (ADMM) Algorithm with Optimal Convergence Rate. - Shreyansh Shethia; Akshita Gupta 001; Omanshu Thapliyal; Inseok Hwang 002 (SMC, 2021)

Hybrid Machine Learning and Estimation-Based Flight Trajectory Prediction in Terminal Airspace. - Hong-Cheol Choi; Chuhao Deng; Inseok Hwang 002 (IEEE Access, 2021)

Multi-target identity management for unknown and time-varying number of targets in clutter. - Chiyu Zhang; Dohyeung Kim; Inseok Hwang 002 (Eur. J. Control, 2021)

Distributed State Estimation for Stochastic Linear Hybrid Systems With Finite-Time Fusion. - Bin Du; Dengfeng Sun; Inseok Hwang 002 (IEEE Trans. Aerosp. Electron. Syst., 2021)

Control Protocol Design and Analysis for Unmanned Aircraft System Traffic Management. - Jiazhen Zhou; Dawei Sun; Inseok Hwang 002; Dengfeng Sun (IEEE Trans. Intell. Transp. Syst., 2021)

Robust State Estimation in the Presence of Stealthy Cyberattacks. - Shiraz Khan; Inseok Hwang 002; James Goppert (ACC, 2022)

Evaluation of Cognitive State Feedback for Accelerating Human Learning. - Madeleine Yuh; Sooyung Byeon; Neera Jain; Inseok Hwang 002 (ACC, 2022)

A Low Complexity Approach to Model-Free Stochastic Inverse Linear Quadratic Control. - Shanelle G. Clarke; Sooyung Byeon; Inseok Hwang 002 (IEEE Access, 2022)

Approximate Reachability for Koopman Systems Using Mixed Monotonicity. - Omanshu Thapliyal; Inseok Hwang 002 (IEEE Access, 2022)

On controlled mode discernibility for nonlinear hybrid systems with unknown exogenous input. - Dawei Sun; Inseok Hwang 002 (Autom., 2022)

State Prediction of Human-in-the-Loop Multi-rotor System with Stochastic Human Behavior Model. - Joonwon Choi; Sooyung Byeon; Inseok Hwang 002 (CoRR, 2022)

Provably Stabilizing Model-Free Q-Learning for Unknown Bilinear Systems. - Shanelle G. Clarke; Omanshu Thapliyal; Inseok Hwang 002 (CoRR, 2022)

A Novel Approach to Set-Membership Observer for Systems with Unknown Exogenous Inputs. - Marvin Jesse; Dawei Sun; Inseok Hwang 002 (CoRR, 2022)

Correct-by-Construction Control Design for Mixed-Invariant Systems in Lie Groups. - Li-Yu Lin; James Goppert; Inseok Hwang 002 (CoRR, 2022)

Data-driven Cyberattack Synthesis against Network Control Systems. - Omanshu Thapliyal; Inseok Hwang 002 (CoRR, 2022)

An Open-Source Gazebo Plugin for GNSS Multipath Signal Emulation in Virtual Urban Canyons. - Kartik Anand Pant; Zhanpeng Yang; James M. Goppert; Inseok Hwang 002 (CoRR, 2022)

On Attack Detection and Identification for the Cyber-Physical System using Lifted System Model. - Dawei Sun; Minhyun Cho; Inseok Hwang 002 (CoRR, 2022)

Controlled Mode Distinguishability for Cybersecurity. - Dawei Sun; Inseok Hwang 002; Martin Corless (IEEE Control. Syst. Lett., 2022)

Data-Driven Forward Stochastic Reachability Analysis for Human-in-the-Loop Systems. - Joonwon Choi; Sooyung Byeon; Inseok Hwang 002 (CDC, 2023)

Recovery of Localization Errors in Sensor Networks using Inter-Agent Measurements. - Shiraz Khan; Inseok Hwang 002 (CoRR, 2023)

Exploiting Sparsity for Localization of Large-Scale Wireless Sensor Networks. - Shiraz Khan; Inseok Hwang 002; James Goppert (CoRR, 2023)

Collaborative Fault-Identification & Reconstruction in Multi-Agent Systems. - Shiraz Khan; Inseok Hwang 002 (CoRR, 2023)

An Inverse Optimal Control Approach for Learning and Reproducing Under Uncertainties. - Sooyung Byeon; Dawei Sun; Inseok Hwang 002 (IEEE Control. Syst. Lett., 2023)

An LMI-Based Risk Assessment of Leader-Follower Multi-Agent System Under Stealthy Cyberattacks. - Sounghwan Hwang; Minhyun Cho; Sungsoo Kim; Inseok Hwang 002 (IEEE Control. Syst. Lett., 2023)

Synthesis of Robust State Estimation Algorithms Under Unknown Sensor Inputs. - Shiraz Khan; Kartik Anand Pant; Inseok Hwang 002 (IEEE Control. Syst. Lett., 2023)

Gaussian Mixture Model-Based Online Anomaly Detection for Vectored Area Navigation Arrivals. - Hong-Cheol Choi; Chuhao Deng; Hyunsang Park; Inseok Hwang 002 (J. Aerosp. Inf. Syst., 2023)

Distributed Denial-of-Service Resilient Control for Urban Air Mobility Applications. - Shanelle G. Clarke; Sounghwan Hwang; Omanshu Thapliyal; Inseok Hwang 002 (J. Aerosp. Inf. Syst., 2023)

Gaussian mixture probability hypothesis density filter with dynamic probabilities: Application to road traffic surveillance. - Yi-Chieh Sun; Inseok Hwang 002 (Eur. J. Control, 2023)

Approximating Reachable Sets for Neural Network-Based Models in Real Time via Optimal Control. - Omanshu Thapliyal; Inseok Hwang 002 (IEEE Trans. Control. Syst. Technol., 2023)

Optimal Kalman Filter With Information-Weighted Consensus. - Shiraz Khan; Raj Deshmukh; Inseok Hwang 002 (IEEE Trans. Autom. Control., 2023)

Reachability Analysis of Human-in-the-Loop Systems Using Gaussian Mixture Model with Side Information. - Cheng-Han Yang; Joonwon Choi; Suriyan Anandavel; Inseok Hwang 002 (AIM, 2024)

Risk Assessment of Multi-Agent System Under Denial-of-Service Cyberattacks Using Reachable Set Synthesis. - Minhyun Cho; Sounghwan Hwang; Inseok Hwang 002 (ACC, 2024)

Multi-Agent Based Transfer Learning for Data-Driven Air Traffic Applications. - Chuhao Deng; Hong-Cheol Choi; Hyunsang Park; Inseok Hwang 002 (CoRR, 2024)

Human Behavior Modeling via Identification of Task Objective and Variability. - Sooyung Byeon; Dawei Sun; Inseok Hwang 002 (CoRR, 2024)

MIXED-SENSE: A Mixed Reality Sensor Emulation Framework for Test and Evaluation of UAVs Against False Data Injection Attacks. - Kartik A. Pant; Li-Yu Lin; Jaehyeok Kim; Worawis Sribunma; James M. Goppert; Inseok Hwang 002 (CoRR, 2024)

Range-based Multi-Robot Integrity Monitoring Against Cyberattacks and Faults: An Anchor-Free Approach. - Vishnu Vijay; Kartik Anand Pant; Minhyun Cho; Yifan Guo; James M. Goppert; Inseok Hwang 002 (CoRR, 2024)

Application of Log-Linear Dynamic Inversion Control to a Multi-rotor. - Li-Yu Lin; James Goppert; Inseok Hwang 002 (CoRR, 2024)

Bootstrapped Gaussian Mixture Model-Based Data-Driven Forward Stochastic Reachability Analysis. - Joonwon Choi; Hyunsang Park; Inseok Hwang 002 (IEEE Control. Syst. Lett., 2024)

Exploiting sparsity for localisation of large-scale wireless sensor networks. - Shiraz Khan; Inseok Hwang 002; James Goppert (IET Wirel. Sens. Syst., 2024)

Temporal Precursor Discovery Using Long Short-Term Memory with Feature Attention. - Chuhao Deng; Hong-Cheol Choi; Hyunsang Park; Inseok Hwang 002 (J. Aerosp. Inf. Syst., 2024)

A stealthy man-in-the-middle attack strategy for switched systems. - Dawei Sun; Inseok Hwang 002; James Goppert (Int. J. Syst. Sci., 2024)

Log-Linear Dynamic Inversion Control With Provable Safety Guarantees in Lie Groups. - Li-Yu Lin; James Goppert; Inseok Hwang 002 (IEEE Trans. Autom. Control., 2024)

Stochastic-skill-level-based Shared Control for Human Training in Urban Air Mobility Scenario. - Sooyung Byeon; Joonwon Choi; Yutong Zhang; Inseok Hwang 002 (ACM Trans. Hum. Robot Interact., 2024)