A critical review of cyber-physical security for building automation systems

G Li, L Ren, Y Fu, Z Yang, V Adetola, J Wen… - Annual Reviews in …, 2023 - Elsevier
Abstract Modern Building Automation Systems (BASs), as the brain that enable the
smartness of a smart building, often require increased connectivity both among system …

Cyber resilience of power electronics-enabled power systems: A review

J Hou, C Hu, S Lei, Y Hou - Renewable and Sustainable Energy Reviews, 2024 - Elsevier
The demand for carbon neutrality leads to the transition from traditional synchronous
generator-based power systems to power electronics-enabled power systems. The …

Enforcing hard constraints with soft barriers: Safe reinforcement learning in unknown stochastic environments

Y Wang, SS Zhan, R Jiao, Z Wang… - International …, 2023 - proceedings.mlr.press
It is quite challenging to ensure the safety of reinforcement learning (RL) agents in an
unknown and stochastic environment under hard constraints that require the system state …

Efficient global robustness certification of neural networks via interleaving twin-network encoding

Z Wang, C Huang, Q Zhu - 2022 Design, Automation & Test in …, 2022 - ieeexplore.ieee.org
The robustness of deep neural networks has received significant interest recently, especially
when being deployed in safety-critical systems, as it is important to analyze how sensitive …

Polar-express: Efficient and precise formal reachability analysis of neural-network controlled systems

Y Wang, W Zhou, J Fan, Z Wang, J Li… - … on Computer-Aided …, 2023 - ieeexplore.ieee.org
Neural networks (NNs) playing the role of controllers have demonstrated impressive
empirical performance on challenging control problems. However, the potential adoption of …

Building a smart campus digital twin: System, analytics and lessons learned from a real-world project

L Roda-Sanchez, F Cirillo, G Solmaz… - IEEE Internet of …, 2023 - ieeexplore.ieee.org
Smart solutions increasingly involve the use of sensor data to represent the physical world in
the digital world and apply intelligence to such representation. The main approach is a …

Accelerate online reinforcement learning for building HVAC control with heterogeneous expert guidances

S Xu, Y Fu, Y Wang, Z Yang, Z O'Neill, Z Wang… - Proceedings of the 9th …, 2022 - dl.acm.org
Building heating, ventilation, and air conditioning (HVAC) systems account for nearly half of
building energy consumption and 20% of total energy consumption in the US. Their …

Weak adaptation learning: Addressing cross-domain data insufficiency with weak annotator

S Xu, L Wang, Y Wang, Q Zhu - Proceedings of the IEEE …, 2021 - openaccess.thecvf.com
Data quantity and quality are crucial factors for data-driven learning methods. In some target
problem domains, there are not many data samples available, which could significantly …

SQEE: A Machine Perception Approach to Sensing Quality Evaluation at the Edge by Uncertainty Quantification

S Li, J Shang, RK Gupta, D Hong - … of the 20th ACM Conference on …, 2022 - dl.acm.org
Cyber-physical systems are starting to adopt neural network (NN) models for a variety of
smart sensing applications. While several efforts seek better NN architectures for system …

Boosting Long-Delayed Reinforcement Learning with Auxiliary Short-Delayed Task

Q Wu, SS Zhan, Y Wang, CW Lin, C Lv, Q Zhu… - arXiv preprint arXiv …, 2024 - arxiv.org
Reinforcement learning is challenging in delayed scenarios, a common real-world situation
where observations and interactions occur with delays. State-of-the-art (SOTA) state …