Machine Learning for Cyber-Physical Systems Verification (available)

Hybrid automata (HA) [1] are a formal model for cyber-physical systems, i.e., systems characterised by digital components (discrete) that control and interact with the physical environment (continuous). HAs have been applied to system designs in numerous domains including avionics, automotive, medical devices, and robotics. Formal verification of HAs is crucial for such safety-critical applications, as … full description “Machine Learning for Cyber-Physical Systems Verification (available)”