Uncertainty Theories for Real-Time Systems
Real-time systems are typically reactive embedded software-intensive systems that are part
of a larger technical system such as a vehicle or an airplane. Real-time systems perform …
of a larger technical system such as a vehicle or an airplane. Real-time systems perform …
Formal Methods for Sandboxing Controllers in Cyber-Physical Systems
B Zhong - 2023 - mediatum.ub.tum.de
This dissertation is motivated by the growing demand for deploying high-performance but
unverified controllers, especially those developed using artificial intelligence (AI) …
unverified controllers, especially those developed using artificial intelligence (AI) …