Fanxin Kong

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., November, 2024

Recovery from Adversarial Attacks in Cyber-physical Systems: Shallow, Deep, and Exploratory Works.

[BibT_eX]

[DOI]

ACM Comput. Surv., August, 2024

Path Planning for UAVs under GPS Permanent Faults.

[BibT_eX]

[DOI]

ACM Trans. Cyber Phys. Syst., July, 2024

CPSim: Simulation Toolbox for Security Problems in Cyber-Physical Systems.

[BibT_eX]

[DOI]

ACM Trans. Design Autom. Electr. Syst., 2024

Fast Attack Recovery for Stochastic Cyber-Physical Systems.

[BibT_eX]

[DOI]

Proceedings of the 30th IEEE Real-Time and Embedded Technology and Applications Symposium, 2024

Work in Progress: Emerging from Shadows: Optimal Hidden Actuator Attack to Cyber-Physical Systems.

[BibT_eX]

[DOI]

Proceedings of the 30th IEEE Real-Time and Embedded Technology and Applications Symposium, 2024

Demo: Vulnerability Analysis for STL-Guided Safe Reinforcement Learning in Cyber-Physical Systems.

[BibT_eX]

[DOI]

Shixiong Jiang

Proceedings of the 30th IEEE Real-Time and Embedded Technology and Applications Symposium, 2024

Model-free PAC Time-Optimal Control Synthesis with Reinforcement Learning.

[BibT_eX]

[DOI]

Proceedings of the 22nd ACM-IEEE International Symposium on Formal Methods and Models for System Design, 2024

Poster Abstract: Assuring LLM-Enabled Cyber-Physical Systems.

[BibT_eX]

[DOI]

Proceedings of the 15th ACM/IEEE International Conference on Cyber-Physical Systems, 2024

Vulnerability Analysis for Safe Reinforcement Learning in Cyber-Physical Systems.

[BibT_eX]

[DOI]

Shixiong Jiang

Proceedings of the 15th ACM/IEEE International Conference on Cyber-Physical Systems, 2024

Pinpointing Actuator Attacks: A Novel Diagnostic Framework for Cyber-Physical Systems.

[BibT_eX]

[DOI]

Zifan Wang

Qinru Qiu

Proceedings of the International Conference on Assured Autonomy, 2024

2023

Optimal Checkpointing Strategy for Real-time Systems with Both Logical and Timing Correctness.

[BibT_eX]

[DOI]

Lin Zhang

Zifan Wang

ACM Trans. Embed. Comput. Syst., July, 2023

Fulfilling Formal Specifications ASAP by Model-free Reinforcement Learning.

[BibT_eX]

[DOI]

CoRR, 2023

Catch You if Pay Attention: Temporal Sensor Attack Diagnosis Using Attention Mechanisms for Cyber-Physical Systems.

[BibT_eX]

[DOI]

Proceedings of the IEEE Real-Time Systems Symposium, 2023

Learn-to-Respond: Sequence-Predictive Recovery from Sensor Attacks in Cyber-Physical Systems.

[BibT_eX]

[DOI]

Proceedings of the IEEE Real-Time Systems Symposium, 2023

Real-Time Data-Predictive Attack-Recovery for Complex Cyber-Physical Systems.

[BibT_eX]

[DOI]

Proceedings of the 29th IEEE Real-Time and Embedded Technology and Applications Symposium, 2023

Demo: Simulation and Security Toolbox for Cyber-Physical Systems.

[BibT_eX]

[DOI]

Lin Zhang

Proceedings of the 29th IEEE Real-Time and Embedded Technology and Applications Symposium, 2023

Variable Window and Deadline-Aware Sensor Attack Detector for Automotive CPS.

[BibT_eX]

[DOI]

Francis Akowuah

Kenneth Fletcher

Proceedings of the 26th IEEE International Symposium on Real-Time Distributed Computing, 2023

Design of Active Fault Diagnosis and Repair System for Active Distribution Networks Based on Decision Tree Algorithm.

[BibT_eX]

[DOI]

Tianqi Guo

Xinyu Zhang

Proceedings of the 6th International Conference on Information Technologies and Electrical Engineering, 2023

2022

Attack-resilient Fusion of Sensor Data with Uncertain Delays.

[BibT_eX]

[DOI]

ACM Trans. Embed. Comput. Syst., 2022

Work-in-Progress: Optimal Checkpointing Strategy for Real-time Systems with Both Logical and Timing Correctness.

[BibT_eX]

[DOI]

Lin Zhang

Zifan Wang

Proceedings of the IEEE Real-Time Systems Symposium, 2022

Fail-Safe: Securing Cyber-Physical Systems against Hidden Sensor Attacks.

[BibT_eX]

[DOI]

Proceedings of the IEEE Real-Time Systems Symposium, 2022

Smart Power Service System Based on Edge Data Center and Cloud Computing Technology.

[BibT_eX]

[DOI]

Jianxiong Gan

Anqi Wang

Proceedings of the 5th International Conference on Information Technologies and Electrical Engineering, 2022

Adaptive window-based sensor attack detection for cyber-physical systems.

[BibT_eX]

[DOI]

Proceedings of the DAC '22: 59th ACM/IEEE Design Automation Conference, San Francisco, California, USA, July 10, 2022

2021

Real-time Attack-recovery for Cyber-physical Systems Using Linear-quadratic Regulator.

[BibT_eX]

[DOI]

ACM Trans. Embed. Comput. Syst., 2021

Recovery-by-Learning: Restoring Autonomous Cyber-physical Systems from Sensor Attacks.

[BibT_eX]

[DOI]

Proceedings of the 27th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, 2021

Brief Industry Paper: HDAD: Hyperdimensional Computing-based Anomaly Detection for Automotive Sensor Attacks.

[BibT_eX]

[DOI]

Proceedings of the 27th IEEE Real-Time and Embedded Technology and Applications Symposium, 2021

Real-Time Adaptive Sensor Attack Detection in Autonomous Cyber-Physical Systems.

[BibT_eX]

[DOI]

Francis Akowuah

Proceedings of the 27th IEEE Real-Time and Embedded Technology and Applications Symposium, 2021

Applying Machine Learning in Designing Distributed Auction for Multi-agent Task Allocation with Budget Constraints.

[BibT_eX]

[DOI]

Proceedings of the 20th International Conference on Advanced Robotics, 2021

Towards scalable, secure, and smart mission-critical IoT systems: review and vision.

[BibT_eX]

[DOI]

Proceedings of the EMSOFT '21: Proceedings of the 2021 International Conference on Embedded Software, Virtual Event, October 8, 2021

2020

Two Level Colocation Demand Response with Renewable Energy.

[BibT_eX]

[DOI]

IEEE Trans. Sustain. Comput., 2020

Bulk Savings for Bulk Transfers: Minimizing the Energy-Cost for Geo-Distributed Data Centers.

[BibT_eX]

[DOI]

IEEE Trans. Cloud Comput., 2020

Real-Time Attack-Recovery for Cyber-Physical Systems Using Linear Approximations.

[BibT_eX]

[DOI]

Proceedings of the 41st IEEE Real-Time Systems Symposium, 2020

Exploring Inherent Sensor Redundancy for Automotive Anomaly Detection.

[BibT_eX]

[DOI]

Proceedings of the 57th ACM/IEEE Design Automation Conference, 2020

2019

Distributed Data Center Bandwidth Allocation for Cloud-Based Streaming.

[BibT_eX]

[DOI]

Xingjian Lu

IEEE Trans. Sustain. Comput., 2019

ADMM-Based Decentralized Electric Vehicle Charging with Trip Duration Limits.

[BibT_eX]

[DOI]

Proceedings of the IEEE Real-Time Systems Symposium, 2019

2018

An efficient deep model for day-ahead electricity load forecasting with stacked denoising auto-encoders.

[BibT_eX]

[DOI]

Joel J. P. C. Rodrigues

J. Parallel Distributed Comput., 2018

Software Defined Wi-V2G: A V2G Network Architecture.

[BibT_eX]

[DOI]

IEEE Intell. Transp. Syst. Mag., 2018

Millimeter Wave Communication: A Comprehensive Survey.

[BibT_eX]

[DOI]

IEEE Commun. Surv. Tutorials, 2018

Joint Rate Control and Demand Balancing for Electric Vehicle Charging.

[BibT_eX]

[DOI]

Insup Lee

Proceedings of the 2018 IEEE/ACM Third International Conference on Internet-of-Things Design and Implementation, 2018

Cyber-physical system checkpointing and recovery.

[BibT_eX]

[DOI]

Proceedings of the 9th ACM/IEEE International Conference on Cyber-Physical Systems, 2018

2017

A Hierarchical Data Transmission Framework for Industrial Wireless Sensor and Actuator Networks.

[BibT_eX]

[DOI]

IEEE Trans. Ind. Informatics, 2017

Reliability and Temporality Optimization for Multiple Coexisting WirelessHART Networks in Industrial Environments.

[BibT_eX]

[DOI]

IEEE Trans. Ind. Electron., 2017

Maximizing the lifetime of wireless sensor networks in trains for monitoring long-distance goods transportation.

[BibT_eX]

[DOI]

Int. J. Distributed Sens. Networks, 2017

2016

Smart Charging for Electric Vehicles: A Survey From the Algorithmic Perspective.

[BibT_eX]

[DOI]

IEEE Commun. Surv. Tutorials, 2016

On-Line Event-Driven Scheduling for Electric Vehicle Charging via Park-and-Charge.

[BibT_eX]

[DOI]

Proceedings of the 2016 IEEE Real-Time Systems Symposium, 2016

Smart Rate Control and Demand Balancing for Electric Vehicle Charging.

[BibT_eX]

[DOI]

Proceedings of the 7th ACM/IEEE International Conference on Cyber-Physical Systems, 2016

GreenPlanning: Optimal Energy Source Selection and Capacity Planning for Green Datacenters.

[BibT_eX]

[DOI]

Proceedings of the 7th ACM/IEEE International Conference on Cyber-Physical Systems, 2016

2015

Datacenter Power Management in Smart Grids.

[BibT_eX]

[DOI]

Found. Trends Electron. Des. Autom., 2015

Utilization Control and Optimization of Real-Time Embedded Systems.

[BibT_eX]

[DOI]

Xi Chen

Found. Trends Electron. Des. Autom., 2015

Distributed Deadline and Renewable Aware Electric Vehicle Demand Response in the Smart Grid.

[BibT_eX]

[DOI]

Nima Moghaddami Khalilzad

Proceedings of the 2015 IEEE Real-Time Systems Symposium, 2015

A feedback scheduling framework for component-based soft real-time systems.

[BibT_eX]

[DOI]

Proceedings of the 21st IEEE Real-Time and Embedded Technology and Applications Symposium, 2015

Distributed Optimal Datacenter Bandwidth Allocation for Dynamic Adaptive Video Streaming.

[BibT_eX]

[DOI]

Proceedings of the 23rd Annual ACM Conference on Multimedia Conference, MM '15, Brisbane, Australia, October 26, 2015

Auc2Charge: An Online Auction Framework for Eectric Vehicle Park-and-Charge.

[BibT_eX]

[DOI]

Proceedings of the 2015 ACM Sixth International Conference on Future Energy Systems, 2015

Geographical Job Scheduling in Data Centers with Heterogeneous Demands and Servers.

[BibT_eX]

[DOI]

Proceedings of the 8th IEEE International Conference on Cloud Computing, 2015

2014

Quantity Versus Quality: Optimal Harvesting Wind Power for the Smart Grid.

[BibT_eX]

[DOI]

Proc. IEEE, 2014

Collision-free multichannel superframe scheduling for IEEE 802.15.4 cluster-tree networks.

[BibT_eX]

[DOI]

Int. J. Sens. Networks, 2014

Joint Management of Energy Harvesting, Storage, and Usage for Green Wireless Sensor Networks.

[BibT_eX]

[DOI]

Int. J. Distributed Sens. Networks, 2014

A Survey on Green-Energy-Aware Power Management for Datacenters.

[BibT_eX]

[DOI]

ACM Comput. Surv., 2014

A Survey on Geographic Load Balancing Based Data Center Power Management in the Smart Grid Environment.

[BibT_eX]

[DOI]

Ashikur Rahman

IEEE Commun. Surv. Tutorials, 2014

Optimal energy source selection and capacity planning for green datacenters.

[BibT_eX]

[DOI]

Lei Rao

Proceedings of the ACM SIGMETRICS / International Conference on Measurement and Modeling of Computer Systems, 2014

Blowing hard is not all we want: Quantity vs quality of wind power in the smart grid.

[BibT_eX]

[DOI]

Proceedings of the 2014 IEEE Conference on Computer Communications, 2014

Intelligent joint spatio-temporal management of electric vehicle charging and data center power consumption.

[BibT_eX]

[DOI]

Proceedings of the International Green Computing Conference, 2014

2013

Green power analysis for Geographical Load Balancing based datacenters.

[BibT_eX]

[DOI]

Proceedings of the International Green Computing Conference, 2013

2012

Energy Minimizing for Parallel Real-Time Tasks Based on Level-Packing.

[BibT_eX]

[DOI]

Huiting Xu

Qingxu Deng

Proceedings of the 2012 IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, 2012

2011

Energy-efficient scheduling for parallel real-time tasks based on level-packing.

[BibT_eX]

[DOI]

Proceedings of the 2011 ACM Symposium on Applied Computing (SAC), TaiChung, Taiwan, March 21, 2011

Energy-efficient scheduling of real-time tasks on cluster-based multicores.

[BibT_eX]

[DOI]