Skip to main content
Aller à la page d’accueil de la Commission européenne (s’ouvre dans une nouvelle fenêtre)
français français
CORDIS - Résultats de la recherche de l’UE
CORDIS

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

Description du projet

Apprendre à contrôler grâce à des techniques très innovantes

De nombreux processus – réseaux intelligents, voitures autonomes ou encore industrie 4.0. – font appel aux systèmes automatisés. Ils prêtent assistance au contrôle dynamique de ces systèmes qui évoluent au fil du temps. Apporter de meilleures solutions économiques, robustes et efficaces pour ces questions en évolution permanente du monde réel constitue un défi constant. La complexité de ces systèmes les rend difficiles à contrôler, en particulier dans les domaines les plus critiques soumis à des contraintes essentielles en matière de sécurité. Un moyen prometteur de contrôler ces systèmes complexes consiste à discrétiser les différentes variables et à transformer le modèle en un simple problème de nature combinatoire sur un automate avec un nombre fini d’états. Cette approche n’est cependant pas encore acceptée par les scientifiques. Le projet L2C, financé par l’UE, est un projet multidisciplinaire à l’intersection entre l’ingénierie de la régulation, l’informatique et les mathématiques appliquées, qui vise à interconnecter des techniques hautement innovantes dans le but de transformer l’idée susmentionnée en une approche de contrôle à la pointe de la technologie destinée aux systèmes complexes de demain.

Objectif

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.

Champ scientifique (EuroSciVoc)

CORDIS classe les projets avec EuroSciVoc, une taxonomie multilingue des domaines scientifiques, grâce à un processus semi-automatique basé sur des techniques TLN. Voir: Le vocabulaire scientifique européen.

Vous devez vous identifier ou vous inscrire pour utiliser cette fonction

Mots‑clés

Les mots-clés du projet tels qu’indiqués par le coordinateur du projet. À ne pas confondre avec la taxonomie EuroSciVoc (champ scientifique).

Programme(s)

Programmes de financement pluriannuels qui définissent les priorités de l’UE en matière de recherche et d’innovation.

Thème(s)

Les appels à propositions sont divisés en thèmes. Un thème définit un sujet ou un domaine spécifique dans le cadre duquel les candidats peuvent soumettre des propositions. La description d’un thème comprend sa portée spécifique et l’impact attendu du projet financé.

Régime de financement

Régime de financement (ou «type d’action») à l’intérieur d’un programme présentant des caractéristiques communes. Le régime de financement précise le champ d’application de ce qui est financé, le taux de remboursement, les critères d’évaluation spécifiques pour bénéficier du financement et les formes simplifiées de couverture des coûts, telles que les montants forfaitaires.

ERC-COG - Consolidator Grant

Voir tous les projets financés dans le cadre de ce programme de financement

Appel à propositions

Procédure par laquelle les candidats sont invités à soumettre des propositions de projet en vue de bénéficier d’un financement de l’UE.

(s’ouvre dans une nouvelle fenêtre) ERC-2019-COG

Voir tous les projets financés au titre de cet appel

Institution d’accueil

UNIVERSITE CATHOLIQUE DE LOUVAIN
Contribution nette de l'UE

La contribution financière nette de l’UE est la somme d’argent que le participant reçoit, déduite de la contribution de l’UE versée à son tiers lié. Elle prend en compte la répartition de la contribution financière de l’UE entre les bénéficiaires directs du projet et d’autres types de participants, tels que les participants tiers.

€ 1 911 250,00
Adresse
PLACE DE L UNIVERSITE 1
1348 LOUVAIN LA NEUVE
Belgique

Voir sur la carte

Région
Région wallonne Prov. Brabant Wallon Arr. Nivelles
Type d’activité
Higher or Secondary Education Establishments
Liens
Coût total

Les coûts totaux encourus par l’organisation concernée pour participer au projet, y compris les coûts directs et indirects. Ce montant est un sous-ensemble du budget global du projet.

€ 1 911 250,00

Bénéficiaires (1)

Mon livret 0 0