ERC Consolidator Grant · 2019
Learning to Control - Smart and Data-Driven Formal Methods for Cyber-Physical Systems control
The engineered systems surrounding us are increasingly hard to control. Not only the complicated interaction of the physical processes with the machines that control them, but also specifications (cyber-security, safety, privacy, resilience, resource-efficiency, decentralization) are more and more complex, and critical. Last but not least, in an increasing number of situations, no model of the system is available (or the model is too complex), and one needs to ‘learn’ the optimal way of controlling the system by the mere observation of data. Our technological world is living a paradigm shift, which is often coined as the Cyber-Physical Revolution, or the Industry 4.0. In view of these…
From the public funding record at EU CORDIS. Describes the funded project, not the reviews below.