Know the unknowns: Addressing disturbances and uncertainties in autonomous systems

Q Zhu, W Li, H Kim, Y Xiang, K Wardega… - Proceedings of the 39th …, 2020 - dl.acm.org
Future autonomous systems will employ complex sensing, computation, and communication
components for their perception, planning, control, and coordination, and could operate in …

Waving the double-edged sword: Building resilient cavs with edge and cloud computing

X Liu, Y Luo, A Goeckner, T Chakraborty… - 2023 60th ACM/IEEE …, 2023 - ieeexplore.ieee.org
The rapid advancement of edge and cloud computing platforms, vehicular ad-hoc networks,
and machine learning techniques have brought both opportunities and challenges for next …

Formal verification of weakly-hard systems

C Huang, W Li, Q Zhu - Proceedings of the 22nd ACM International …, 2019 - dl.acm.org
Weakly-hard systems are real-time systems that can tolerate occasional deadline misses in
a bounded manner. Compared with traditional systems with hard deadline constraints, they …

Opportunistic intermittent control with safety guarantees for autonomous systems

C Huang, S Xu, Z Wang, S Lan, W Li… - 2020 57th ACM/IEEE …, 2020 - ieeexplore.ieee.org
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 leverage …

Weaklyhard. jl: Scalable analysis of weakly-hard constraints

N Vreman, R Pates, M Maggio - 2022 IEEE 28th Real-Time and …, 2022 - ieeexplore.ieee.org
Weakly-hard models have been used to analyse real-time systems subject to patterns of
deadline hits and misses. However, the tools that are available in the literature have a set of …

Weakly Hard Real-Time Model for Control Systems: A Survey

K Salamun, I Pavić, H Džapo, I Čuljak - Sensors, 2023 - mdpi.com
The concept of weakly hard real-time systems can be used to model real-time systems that
may tolerate occasional deadline misses in a bounded and predictable manner. This model …

Security-driven codesign with weakly-hard constraints for real-time embedded systems

H Liang, Z Wang, D Roy, S Dey… - 2019 IEEE 37th …, 2019 - ieeexplore.ieee.org
For many embedded systems, such as automotive electronic systems, security has become
a pressing challenge. Limited resources and tight timing constraints often make it difficult to …

Leveraging weakly-hard constraints for improving system fault tolerance with functional and timing guarantees

H Liang, Z Wang, R Jiao, Q Zhu - … of the 39th International Conference on …, 2020 - dl.acm.org
Many safety-critical real-time systems operate under harsh environment and are subject to
soft errors caused by transient or intermittent faults. It is critical and yet often very challenging …

Saw: A tool for safety analysis of weakly-hard systems

C Huang, KC Chang, CW Lin, Q Zhu - International Conference on …, 2020 - Springer
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 …

Cloud and Edge Computing for Connected and Automated Vehicles

Q Zhu, B Yu, Z Wang, J Tang, QA Chen… - … and Trends® in …, 2023 - nowpublishers.com
The recent development of cloud computing and edge computing shows great promise for
the Connected and Automated Vehicle (CAV), by enabling CAVs to offload their massive on …