Project type: Bridge Project
The research aim of the project is to develop methods and tools that will enable industry to automatically synthesise correct-by-construction and near-optimal controllers for safety critical 45 systems within a variety of domains. The project will involve a number of scientific challenges including representation of strategies – neural networks (for compactness), decision trees (for explainability). Also, development of strategy learning methods with statistical guarantees is crucial.
A key challenge is understanding and specifying what safety and risk means for model-free controllers based on neural networks. Once formal specifications are created, we aim at combining the existing knowledge about property-based testing, Bayesian probabilistic programming, and model checking.
The scientific value of the project are new fundamental theories, algorithmic methods and tools together with evaluation of their performance and adequacy in industrial settings. These are important contributions bridging between the core research themes on AI and Verification in DIREC.
For capacity building the value of the project is to educate PhD students and Post Docs in close collaboration with industry. The profile of these PhD students will meet a demand in the companies for staff with competences on both machine learning, data science and traditional software engineering. In addition, the project will offer a number of affiliated students projects at master-level.
For the growing number of companies relying of using AI in their products the ability to produce safety certification using approved processes and tools will be vital in order to bring safety critical applications to the market. At the societal level trustworthiness of AI-based systems is of prime concern within EU. Here methods and tools for providing safety guarantees can play a crucial role.
The project involves the research themes of Verification (WS7), AI (WS2), and CyPhys (WS6).
March 1, 2021 – March 1, 2024 – 3 years
Total budget DKK 9,12 million / DIREC investment DKK 3,73 million
Aalborg University
Department of Computer Science
IT University of Copenhagen
Department of Computer Science
Aalborg University
Department of Computer Science
Aalborg University
Department of Computer Science
IT University of Copenhagen
Department of Computer Science
Grundfos
HOFOR
Seluxit
Aarhus Vand
HOFOR A/S
Seluxit
Aarhus Vand
Aarhus Vand
Aalborg University
Department of Computer Science
Aalborg University
Department of Computer Science
Formålet med DIREC er at udbygge kapaciteten inden for forskning, innovation og uddannelse i digitale teknologier i Danmark. Derudover skal DIREC bidrage til Danmarks konkurrenceevne gennem samarbejde med danske virksomheder og den offentlige sektor om udvikling af nye innovative produkter og tjenester baseret på de nyeste digitale teknologier.
DIREC er delvist finansieret af Innovationsfonden.
© 2022 All Rights Reserved