Minimizing Multi-resource Energy for Real-Time Systems with Discrete Operation Modes. - Fanxin Kong; Yiqun Wang; Qingxu Deng; Wang Yi 001 (ECRTS, 2010)

Sensor placement for lifetime maximization in monitoring oil pipelines. - Yifeng Guo; Fanxin Kong; Dakai Zhu 001; Ali Saman Tosun; Qingxu Deng (ICCPS, 2010)

Energy-efficient scheduling of real-time tasks on cluster-based multicores. - Fanxin Kong; Wang Yi 001; Qingxu Deng (DATE, 2011)

Energy-efficient scheduling for parallel real-time tasks based on level-packing. - Fanxin Kong; Nan Guan; Qingxu Deng; Wang Yi 001 (SAC, 2011)

Energy Minimizing for Parallel Real-Time Tasks Based on Level-Packing. - Huiting Xu; Fanxin Kong; Qingxu Deng (RTCSA, 2012)

Green power analysis for Geographical Load Balancing based datacenters. - Chuansheng Dong; Fanxin Kong; Xue Liu 001; Haibo Zeng 001 (IGCC, 2013)

Intelligent joint spatio-temporal management of electric vehicle charging and data center power consumption. - Zhonghao Sun; Fanxin Kong; Xue Liu 001; Xingshe Zhou 001; Xi Chen 009 (IGCC, 2014)

Blowing hard is not all we want: Quantity vs quality of wind power in the smart grid. - Fanxin Kong; Chuansheng Dong; Xue Liu 001; Haibo Zeng 001 (INFOCOM, 2014)

Optimal energy source selection and capacity planning for green datacenters. - Fanxin Kong; Xue Liu 001; Lei Rao (SIGMETRICS, 2014)

A Survey on Geographic Load Balancing Based Data Center Power Management in the Smart Grid Environment. - Ashikur Rahman; Xue Liu 001; Fanxin Kong (IEEE Commun. Surv. Tutorials, 2014)

A Survey on Green-Energy-Aware Power Management for Datacenters. - Fanxin Kong; Xue Liu 001 (ACM Comput. Surv., 2014)

Joint Management of Energy Harvesting, Storage, and Usage for Green Wireless Sensor Networks. - Xi Jin 001; Fanxin Kong; Peng Zeng 001; Qingxu Deng; Huiting Xu (Int. J. Distributed Sens. Networks, 2014)

Collision-free multichannel superframe scheduling for IEEE 802.15.4 cluster-tree networks. - Xi Jin 001; Qiong Zhang; Peng Zeng 001; Fanxin Kong; Yang Xiao 001 (Int. J. Sens. Networks, 2014)

Quantity Versus Quality: Optimal Harvesting Wind Power for the Smart Grid. - Fanxin Kong; Chuansheng Dong; Xue Liu 001; Haibo Zeng 001 (Proc. IEEE, 2014)

Geographical Job Scheduling in Data Centers with Heterogeneous Demands and Servers. - Xingjian Lu; Fanxin Kong; Jianwei Yin; Xue Liu 001; Huiqun Yu; Guisheng Fan (CLOUD, 2015)

Auc2Charge: An Online Auction Framework for Eectric Vehicle Park-and-Charge. - Qiao Xiang; Fanxin Kong; Xue Liu 001; Xi Chen 009; Linghe Kong; Lei Rao (e-Energy, 2015)

Distributed Optimal Datacenter Bandwidth Allocation for Dynamic Adaptive Video Streaming. - Fanxin Kong; Xingjian Lu; Mingyuan Xia 001; Xue Liu 001; Haibing Guan (ACM Multimedia, 2015)

A feedback scheduling framework for component-based soft real-time systems. - Nima Moghaddami Khalilzad; Fanxin Kong; Xue Liu 001; Moris Behnam; Thomas Nolte (RTAS, 2015)

Distributed Deadline and Renewable Aware Electric Vehicle Demand Response in the Smart Grid. - Fanxin Kong; Xue Liu 001 (RTSS, 2015)

Utilization Control and Optimization of Real-Time Embedded Systems. - Xue Liu 001; Xi Chen 009; Fanxin Kong (Found. Trends Electron. Des. Autom., 2015)

Datacenter Power Management in Smart Grids. - Xue Liu 001; Fanxin Kong (Found. Trends Electron. Des. Autom., 2015)

GreenPlanning: Optimal Energy Source Selection and Capacity Planning for Green Datacenters. - Fanxin Kong; Xue Liu 001 (ICCPS, 2016)

Smart Rate Control and Demand Balancing for Electric Vehicle Charging. - Fanxin Kong; Xue Liu 001; Zhonghao Sun; Qinglong Wang 003 (ICCPS, 2016)

On-Line Event-Driven Scheduling for Electric Vehicle Charging via Park-and-Charge. - Fanxin Kong; Qiao Xiang; Linghe Kong; Xue Liu 001 (RTSS, 2016)

Smart Charging for Electric Vehicles: A Survey From the Algorithmic Perspective. - Qinglong Wang 003; Xue Liu 001; Jian Du; Fanxin Kong (IEEE Commun. Surv. Tutorials, 2016)

Maximizing the lifetime of wireless sensor networks in trains for monitoring long-distance goods transportation. - Huiting Xu; Xi Jin 001; Fanxin Kong; Qingxu Deng (Int. J. Distributed Sens. Networks, 2017)

Reliability and Temporality Optimization for Multiple Coexisting WirelessHART Networks in Industrial Environments. - Xi Jin 001; Fanxin Kong; Linghe Kong; Wei Liu; Peng Zeng 001 (IEEE Trans. Ind. Electron., 2017)

A Hierarchical Data Transmission Framework for Industrial Wireless Sensor and Actuator Networks. - Xi Jin 001; Fanxin Kong; Linghe Kong; Huihui Wang 001; Changqing Xia; Peng Zeng 001; Qingxu Deng (IEEE Trans. Ind. Informatics, 2017)

Cyber-physical system checkpointing and recovery. - Fanxin Kong; Meng Xu 010; James Weimer; Oleg Sokolsky; Insup Lee 001 (ICCPS, 2018)

Joint Rate Control and Demand Balancing for Electric Vehicle Charging. - Fanxin Kong; Xue Liu 001; Insup Lee 001 (IoTDI, 2018)

Millimeter Wave Communication: A Comprehensive Survey. - Xiong Wang 006; Linghe Kong; Fanxin Kong; Fudong Qiu; Mingyu Xia; Shlomi Arnon; Guihai Chen (IEEE Commun. Surv. Tutorials, 2018)

Software Defined Wi-V2G: A V2G Network Architecture. - Jintao Wang 003; Peng Zeng 001; Xi Jin 001; Fanxin Kong; Zhaowei Wang 001; Dong Li 027; Ming Wan (IEEE Intell. Transp. Syst. Mag., 2018)

An efficient deep model for day-ahead electricity load forecasting with stacked denoising auto-encoders. - Chao Tong 001; Jun Li 045; Chao Lang; Fanxin Kong; Jianwei Niu 002; Joel J. P. C. Rodrigues (J. Parallel Distributed Comput., 2018)

ADMM-Based Decentralized Electric Vehicle Charging with Trip Duration Limits. - Gaoqi He; Zhifu Chai; Xingjian Lu; Fanxin Kong; Bing Sheng 001 (RTSS, 2019)

Distributed Data Center Bandwidth Allocation for Cloud-Based Streaming. - Fanxin Kong; Xingjian Lu; Xue Liu 001 (IEEE Trans. Sustain. Comput., 2019)

Exploring Inherent Sensor Redundancy for Automotive Anomaly Detection. - Tianjia He; Lin Zhang 039; Fanxin Kong; Asif Salekin (DAC, 2020)

Real-Time Attack-Recovery for Cyber-Physical Systems Using Linear Approximations. - Lin Zhang 039; Xin Chen 002; Fanxin Kong; Alvaro A. Cárdenas (RTSS, 2020)

Bulk Savings for Bulk Transfers: Minimizing the Energy-Cost for Geo-Distributed Data Centers. - Xingjian Lu; Fanxin Kong; Xue Liu 001; Jianwei Yin; Qiao Xiang; Huiqun Yu (IEEE Trans. Cloud Comput., 2020)

Two Level Colocation Demand Response with Renewable Energy. - Huiting Xu; Xi Jin 001; Fanxin Kong; Qingxu Deng (IEEE Trans. Sustain. Comput., 2020)

Towards scalable, secure, and smart mission-critical IoT systems: review and vision. - Xiaolong Guo; Song Han 002; X. Sharon Hu; Xun Jiao; Yier Jin; Fanxin Kong; Michael Lemmon 001 (EMSOFT, 2021)

Applying Machine Learning in Designing Distributed Auction for Multi-agent Task Allocation with Budget Constraints. - Chen Luo; Qinwei Huang; Fanxin Kong; Simon Khan; Qinru Qiu (ICAR, 2021)

Real-Time Adaptive Sensor Attack Detection in Autonomous Cyber-Physical Systems. - Francis Akowuah; Fanxin Kong (RTAS, 2021)

Brief Industry Paper: HDAD: Hyperdimensional Computing-based Anomaly Detection for Automotive Sensor Attacks. - Ruixuan Wang; Fanxin Kong; Hasshi Sudler; Xun Jiao (RTAS, 2021)

Recovery-by-Learning: Restoring Autonomous Cyber-physical Systems from Sensor Attacks. - Francis Akowuah; Romesh Prasad; Carlos Omar Espinoza; Fanxin Kong (RTCSA, 2021)

Real-time Attack-recovery for Cyber-physical Systems Using Linear-quadratic Regulator. - Lin Zhang 039; Pengyuan Lu; Fanxin Kong; Xin Chen 002; Oleg Sokolsky; Insup Lee 001 (ACM Trans. Embed. Comput. Syst., 2021)

Adaptive window-based sensor attack detection for cyber-physical systems. - Lin Zhang 039; Zifan Wang; Mengyu Liu; Fanxin Kong (DAC, 2022)

Smart Power Service System Based on Edge Data Center and Cloud Computing Technology. - Fanxin Kong; Jianxiong Gan; Anqi Wang 001 (ICITEE, 2022)

Fail-Safe: Securing Cyber-Physical Systems against Hidden Sensor Attacks. - Mengyu Liu; Lin Zhang 039; Pengyuan Lu; Kaustubh Sridhar; Fanxin Kong; Oleg Sokolsky; Insup Lee 001 (RTSS, 2022)

Work-in-Progress: Optimal Checkpointing Strategy for Real-time Systems with Both Logical and Timing Correctness. - Lin Zhang 039; Zifan Wang; Fanxin Kong (RTSS, 2022)

Attack-resilient Fusion of Sensor Data with Uncertain Delays. - Yanfeng Chen; Tianyu Zhang 001; Fanxin Kong; Lin Zhang 039; Qingxu Deng (ACM Trans. Embed. Comput. Syst., 2022)

Design of Active Fault Diagnosis and Repair System for Active Distribution Networks Based on Decision Tree Algorithm. - Fanxin Kong; Tianqi Guo; Xinyu Zhang (ICITEE, 2023)

Variable Window and Deadline-Aware Sensor Attack Detector for Automotive CPS. - Francis Akowuah; Kenneth Fletcher; Fanxin Kong (ISORC, 2023)

Demo: Simulation and Security Toolbox for Cyber-Physical Systems. - Lin Zhang 039; Mengyu Liu; Fanxin Kong (RTAS, 2023)

Real-Time Data-Predictive Attack-Recovery for Complex Cyber-Physical Systems. - Lin Zhang 039; Kaustubh Sridhar; Mengyu Liu; Pengyuan Lu; Xin Chen 002; Fanxin Kong; Oleg Sokolsky; Insup Lee 001 (RTAS, 2023)

Learn-to-Respond: Sequence-Predictive Recovery from Sensor Attacks in Cyber-Physical Systems. - Mengyu Liu; Lin Zhang 039; Vir V. Phoha; Fanxin Kong (RTSS, 2023)

Catch You if Pay Attention: Temporal Sensor Attack Diagnosis Using Attention Mechanisms for Cyber-Physical Systems. - Zifan Wang; Lin Zhang 039; Qinru Qiu; Fanxin Kong (RTSS, 2023)

Fulfilling Formal Specifications ASAP by Model-free Reinforcement Learning. - Mengyu Liu; Pengyuan Lu; Xin Chen 002; Fanxin Kong; Oleg Sokolsky; Insup Lee 001 (CoRR, 2023)

Optimal Checkpointing Strategy for Real-time Systems with Both Logical and Timing Correctness. - Lin Zhang 039; Zifan Wang; Fanxin Kong (ACM Trans. Embed. Comput. Syst., 2023)

Pinpointing Actuator Attacks: A Novel Diagnostic Framework for Cyber-Physical Systems. - Zifan Wang; Qinru Qiu; Fanxin Kong (ICAA, 2024)

Vulnerability Analysis for Safe Reinforcement Learning in Cyber-Physical Systems. - Shixiong Jiang; Mengyu Liu; Fanxin Kong (ICCPS, 2024)

Poster Abstract: Assuring LLM-Enabled Cyber-Physical Systems. - Weizhe Xu; Mengyu Liu; Steven Drager 001; Matthew Anderson; Fanxin Kong (ICCPS, 2024)

Model-free PAC Time-Optimal Control Synthesis with Reinforcement Learning. - Mengyu Liu; Pengyuan Lu; Xin Chen 002; Oleg Sokolsky; Insup Lee 001; Fanxin Kong (MEMOCODE, 2024)

Demo: Vulnerability Analysis for STL-Guided Safe Reinforcement Learning in Cyber-Physical Systems. - Shixiong Jiang; Mengyu Liu; Fanxin Kong (RTAS, 2024)

Work in Progress: Emerging from Shadows: Optimal Hidden Actuator Attack to Cyber-Physical Systems. - Md Kausar Hamid Miji; Mengyu Liu; Francis E. Akowuah; Fanxin Kong (RTAS, 2024)

Fast Attack Recovery for Stochastic Cyber-Physical Systems. - Lin Zhang 039; Luis Burbano; Xin Chen 002; Alvaro A. Cárdenas; Steven Drager 001; Matthew Anderson; Fanxin Kong (RTAS, 2024)

Deadline-Safe Reach-Avoid Control Synthesis for Cyber-Physical Systems with Reinforcement Learning. - Mengyu Liu; Pengyuan Lu; Xin Chen 002; Oleg Sokolsky; Insup Lee 001; Fanxin Kong (RTSS, 2024)

CPSim: Simulation Toolbox for Security Problems in Cyber-Physical Systems. - Mengyu Liu; Lin Zhang 039; Weizhe Xu; Shixiong Jiang; Fanxin Kong (ACM Trans. Design Autom. Electr. Syst., 2024)

Path Planning for UAVs under GPS Permanent Faults. - M. Hani Sulieman; Mengyu Liu; Mustafa Cenk Gursoy; Fanxin Kong (ACM Trans. Cyber Phys. Syst., 2024)

Recovery from Adversarial Attacks in Cyber-physical Systems: Shallow, Deep, and Exploratory Works. - Pengyuan Lu; Lin Zhang 039; Mengyu Liu; Kaustubh Sridhar; Oleg Sokolsky; Fanxin Kong; Insup Lee 001 (ACM Comput. Surv., 2024)

Backdoor Attacks on Safe Reinforcement Learning-Enabled Cyber-Physical Systems. - Shixiong Jiang; Mengyu Liu; Fanxin Kong (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2024)

Recovery-Guaranteed Sensor Attack Detection for Cyber-Physical Systems. - Weizhe Xu; Xin Chen 002; Matthew Anderson; Steve Drager; Fanxin Kong (RTAS, 2025)