Towards the Modular Specification and Validation of Cyber-Physical Systems

Andre Metelo, Christiano Braga, Diego Brandão

Cyber-Physical Systems (CPS) are systems controlled by one or more computer-based components tightly integrated with a set of physical components, typically described as sensors an…