Barrier: Developing IoT and Ensuring Fitness for Purpose

Active

Certified policy synthesis for adaptive CPS/IoT automotive

Cyber-Physical Systems (CPS) and Internet of Things (IoT) are complex engineering systems encompassing analogue/physical quantities with digital/discrete controllers. This project will develop solutions for practical verification issues for complex CPS/IoT systems in the automotive domain, which include black-box learning/adaptive components.