Modeling software requirement with timing diagram and Simulink Stateflow. - Hongsuk Lee; Kihyun Chung; Hyunsang Park; Kyunghee Choi (Inf. Softw. Technol., 2011)

Adaptive Fault Tolerant Flight Control for Input Redundant Systems Using a Nonlinear Reference Model. - Hyunsang Park; Youdan Kim (IEEE Trans. Aerosp. Electron. Syst., 2021)

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)

On The Controllability Preservation of Koopman Bilinear Surrogate Model. - Joonwon Choi; Minhyun Cho; Hyunsang Park; Vishnu Vijay; Inseok Hwang 002 (CDC, 2024)

Observability of Koopman Representations and Output Canonical Extended Dynamic Mode Decomposition. - Hyunsang Park; Inseok Hwang 002 (CDC, 2024)

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

C3D: Cascade Control with Change Point Detection and Deep Koopman Learning for Autonomous Surface Vehicles. - Jianwen Li; Hyunsang Park; Wenjian Hao; Lei Xin; Jalil Chavez-Galaviz; Ajinkya Chaudhary; Meredith Bloss; Kyle Pattison; Christopher Vo; Devesh Upadhyay; Shreyas Sundaram; Shaoshuai Mou; et al. (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)

Data-Driven Reachability Analysis for Nonlinear Systems. - Hyunsang Park; Vishnu Vijay; Inseok Hwang 002 (IEEE Control. Syst. Lett., 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)