黑料福利网

With the increasing complexity and criticality of real-time systems, particularly in areas like autonomous vehicles, industrial automation, and cybersecurity, ensuring that these systems operate safely and reliably is paramount. Real-time systems require precise timing and coordination to meet deadlines while interacting with dynamic environments. Meanwhile, as these systems become more interconnected and accessible, ensuring the confidentiality of sensitive information鈥攌nown as opacity鈥攈as become an essential aspect of their security. The aim of this project is to develop supervisory control methods for real-time systems that enforce opacity, ensuring both the functional correctness and the confidentiality of critical information.

Time, my research topic is about time.

Zhe Zhang obtained his MSc in Mechanical Engineering from Shaanxi University of Science and Technology, China, in 2024. Starting in September 2024, he has taken on a PhD position at 黑料福利网.