Cyber-Physical Systems
In cyber-physical systems (CPS), physical and software components are deeply intertwined. Our work in this area involves virtual integration and research and development to enable the rapid, scalable automatic verification of CPS systems.
Blog Posts
Accelerating Safety Assurance
Systems in which software components closely interact with physical processes are known as cyber-physical systems. This post describes promising results in assuring the safety of cyber-physical systems.
• By Dionisio de Niz
In Cyber-Physical Systems
