Kyoung-Dae Kim

19 papers A 1C 2Journal 11Unranked 4
YearRankTypeTitle / Venue / Authors
2025 J jnl
An RNN-Based Adaptive Hybrid Time Series Forecasting Model for Driving Data Prediction.
IEEE Access
Ji Hwan Seo, Kyoung-Dae Kim
2022 J jnl
Optimization-Based Approach for Resilient Connected and Autonomous Intersection Crossing Traffic Control Under V2X Communication.
IEEE Trans. Intell. Veh.
Qiang Lu, Hojin Jung, Kyoung-Dae Kim
2021 J jnl
A Parallelization Algorithm for Real-Time Path Shortening of High-DOFs Manipulator.
IEEE Access
Ji Hwan Seo, Hyuntae Lee, Kyoung-Dae Kim
2019 J jnl
Autonomous and connected intersection crossing traffic management using discrete-time occupancies trajectory.
Appl. Intell.
Qiang Lu, Kyoung-Dae Kim
2018 — conf
A Mixed Integer Programming Approach for Autonomous and Connected Intersection Crossing Traffic Control.
VTC Fall
Qiang Lu, Kyoung-Dae Kim
2018 C conf
An Approach for Reliable End-to-End Autonomous Driving Based on the Simplex Architecture.
ICARCV
Seong Kyung Kwon, Ji Hwan Seo, Jin-Woo Lee, Kyoung-Dae Kim
2017 J jnl
Autonomous and Connected Intersection Crossing Traffic Management using Discrete-Time Occupancies Trajectory.
CoRR
Qiang Lu, Kyoung-Dae Kim
2014 J jnl
An MPC-Based Approach to Provable System-Wide Safety and Liveness of Autonomous Ground Traffic.
IEEE Trans. Autom. Control.
Kyoung-Dae Kim, Panganamala Ramana Kumar
2013 — conf
Collision free autonomous ground traffic: a model predictive control approach.
ICCPS
Kyoung-Dae Kim
2013 J jnl
Real-Time Middleware for Networked Control Systems and Application to an Unstable System.
IEEE Trans. Control. Syst. Technol.
Kyoung-Dae Kim, P. R. Kumar
2012 J jnl
Bounded epsilon-Reach Set Computation of a Class of Deterministic and Transversal Linear Hybrid Automata
CoRR
Kyoung-Dae Kim, Sayan Mitra, P. R. Kumar
2012 J jnl
Cyber-Physical Systems: A Perspective at the Centennial.
Proc. IEEE
Kyoung-Dae Kim, P. R. Kumar
2012 J jnl
Prolog to the Section on Cyber-Physical Systems.
Proc. IEEE
Kyoung-Dae Kim, P. R. Kumar
2011 — conf
Computing bounded ε-reach set with finite precision computations for a class of linear hybrid automata.
HSCC
Kyoung-Dae Kim, Sayan Mitra, P. R. Kumar
2011 — —
Middleware and control of cyber-physical systems: temporal guarantees and hybrid system analysis
Kyoung-Dae Kim
2010 — conf
Bounded ∈-reachability of linear hybrid automata with a deterministic and transversal discrete transition condition.
CDC
Kyoung-Dae Kim, Sayan Mitra, P. R. Kumar
2010 C conf
Design and experimental verification of real-time mechanisms for middleware for networked control.
ACC
Kyoung-Dae Kim, P. R. Kumar
2009 J jnl
The Importance, Design and Implementation of a Middleware for Networked Control Systems
CoRR
Kyoung-Dae Kim, P. R. Kumar
2002 A conf
A locomotive mechanism for a robotic colonoscope.
IROS
Byungkyu Kim, Hun-Young Lim, Kyoung-Dae Kim, Younkoo Jeong, Jong-Oh Park