27 citations · 89 across the 18 of their papers we have counts for
Showing 2020Show all
3 papers · 1 filter
eess.SY2020★ 21 cited
Energy-Efficient Control Adaptation with Safety Guarantees for Learning-Enabled Cyber-Physical Systems
Yixuan Wang, Chao Huang, Qi Zhu
Neural networks have been increasingly applied for control in learning-enabled cyber-physical systems (LE-CPSs) and demonstrated great promises in improving system performance and…
eess.SY2020
SAW: A Tool for Safety Analysis of Weakly-hard Systems
Chao Huang, Kai-Chieh Chang, Chung-Wei Lin +1
We introduce SAW, a tool for safety analysis of weakly-hard systems, in which traditional hard timing constraints are relaxed to allow bounded deadline misses for improving design…
eess.SY2020★ 3 cited
Opportunistic Intermittent Control with Safety Guarantees for Autonomous Systems
Chao Huang, Shichao Xu, Zhilu Wang +3
Control schemes for autonomous systems are often designed in a way that anticipates the worst case in any situation. At runtime, however, there could exist opportunities to leverag…