Architectural Transformations and Emerging Verification Demands in AI-Enabled Cyber-Physical Systems
By: Hadiza Umar Yusuf, Khouloud Gaaloul
Potential Business Impact:
AI makes smart systems work better, but harder to check.
In the world of Cyber-Physical Systems (CPS), a captivating real-time fusion occurs where digital technology meets the physical world. This synergy has been significantly transformed by the integration of artificial intelligence (AI), a move that dramatically enhances system adaptability and introduces a layer of complexity that impacts CPS control optimization and reliability. Despite advancements in AI integration, a significant gap remains in understanding how this shift affects CPS architecture, operational complexity, and verification practices. The extended abstract addresses this gap by investigating architectural distinctions between AI-driven and traditional control models designed in Simulink and their respective implications for system verification.
Similar Papers
Data-Driven Falsification of Cyber-Physical Systems
Cryptography and Security
Finds hidden dangers in self-driving cars.
High-level reasoning while low-level actuation in Cyber-Physical Systems: How efficient is it?
Software Engineering
Helps pick best tools for smart factory software.
Robust Recovery and Control of Cyber-physical Discrete Event Systems under Actuator Attacks
Systems and Control
Keeps machines working safely after cyberattacks.