Skip to main content
European Commission logo
polski polski
CORDIS - Wyniki badań wspieranych przez UE
CORDIS

Learning to Control - Smart and Data-Driven Formal Methods for Cyber-Physical Systems control

Opis projektu

Nauka sterowania dzięki innowacyjnym technikom

Systemy zautomatyzowane są wykorzystywane do wielu procesów, od inteligentnych sieci aż po autonomiczne samochody i Przemysł 4.0 służąc pomocą w kontrolowaniu tych zmieniających się wraz z upływem czasu systemów. Nieustannym wyzwaniem jest znajdywanie najbardziej opłacalnych, trwałych i wydajnych rozwiązań dla problemów zmieniającego się świata. Złożoność tych systemów powoduje, że sterowanie nimi jest trudne, szczególnie w strategicznych obszarach wymuszających ograniczenia niezbędne do zachowania bezpieczeństwa. Obiecującym sposobem na sterowanie tymi złożonymi systemami jest dyskretyzacja różnych zmiennych i przekształcenie modelu na prosty problem kombinatoryczny na automacie skończonym. Jednak metoda ta nie cieszy się uznaniem wśród naukowców. Celem finansowanego ze środków UE interdyscyplinarnego projektu L2C realizowanego na styku inżynierii systemów sterowania, informatyki i matematyki stosowanej jest połączenie wysoce innowacyjnych technik do przekształcenia powyższej koncepcji w zaawansowane technologicznie podejście do przyszłych złożonych systemów sterowania.

Cel

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 specificities, the only sensible way of controlling these complex systems is often by discretizing the different variables, thus transforming the model into a simple combinatorial problem on a finite-state automaton, called an abstraction of this system. Until now, this approach has not been proved useful beyond academic, small examples, as it scales very poorly.

The goal of L2C is to transform this approach into an effective, scalable, cutting-edge technology that will address the CPS challenges and unlock their potential. This ambitious goal will be achieved by leveraging powerful tools from Mathematical Engineering. Out of this research, a state-of-the-art software platform will promote our results and translate them into directly usable solutions for the scientific and industrial communities.
L2C is a pluridisciplinary project at the frontier between Control Engineering, Computer Science and Applied Mathematics. It bridges the gap between rich innovative techniques and emerging challenges in Control. It impacts both fundamental Science and Engineering, as the theoretical research is driven and fostered by cutting edge technological challenges.

System finansowania

ERC-COG - Consolidator Grant

Instytucja przyjmująca

UNIVERSITE CATHOLIQUE DE LOUVAIN
Wkład UE netto
€ 1 911 250,00
Adres
PLACE DE L UNIVERSITE 1
1348 Louvain La Neuve
Belgia

Zobacz na mapie

Region
Région wallonne Prov. Brabant Wallon Arr. Nivelles
Rodzaj działalności
Higher or Secondary Education Establishments
Linki
Koszt całkowity
€ 1 911 250,00

Beneficjenci (1)