Skip to main content
Go to the home page of the European Commission (opens in new window)
English English
CORDIS - EU research results
CORDIS

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

Project description

Learning to control with highly innovative techniques

Automated systems are present in a wide range of processes, from smart grids to self-driving cars, and the Industry 4.0. They provide assistance in the dynamical control of these time-evolving systems. A constant challenge is to provide the best economic, robust, and efficient solutions for these real-world changing issues. The complexity of these systems makes them difficult to control, especially in the most critical areas with safety-critical constraints. A promising way to control these complex systems is by discretising the different variables and transforming the model into a simple combinatorial problem on a finite-state automaton. But this approach is not yet accepted by scientists. The EU-funded L2C is a multidisciplinary project at the boundary between control engineering, computer science and applied mathematics aiming to interconnect highly innovative techniques in order to transform the above-mentioned idea into the state-of-the-art control approach for the complex systems of tomorrow.

Objective

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.

Fields of science (EuroSciVoc)

CORDIS classifies projects with EuroSciVoc, a multilingual taxonomy of fields of science, through a semi-automatic process based on NLP techniques. See: The European Science Vocabulary.

You need to log in or register to use this function

Keywords

Project’s keywords as indicated by the project coordinator. Not to be confused with the EuroSciVoc taxonomy (Fields of science)

Programme(s)

Multi-annual funding programmes that define the EU’s priorities for research and innovation.

Topic(s)

Calls for proposals are divided into topics. A topic defines a specific subject or area for which applicants can submit proposals. The description of a topic comprises its specific scope and the expected impact of the funded project.

Funding Scheme

Funding scheme (or “Type of Action”) inside a programme with common features. It specifies: the scope of what is funded; the reimbursement rate; specific evaluation criteria to qualify for funding; and the use of simplified forms of costs like lump sums.

ERC-COG - Consolidator Grant

See all projects funded under this funding scheme

Call for proposal

Procedure for inviting applicants to submit project proposals, with the aim of receiving EU funding.

(opens in new window) ERC-2019-COG

See all projects funded under this call

Host institution

UNIVERSITE CATHOLIQUE DE LOUVAIN
Net EU contribution

Net EU financial contribution. The sum of money that the participant receives, deducted by the EU contribution to its linked third party. It considers the distribution of the EU financial contribution between direct beneficiaries of the project and other types of participants, like third-party participants.

€ 1 911 250,00
Address
PLACE DE L UNIVERSITE 1
1348 LOUVAIN LA NEUVE
Belgium

See on map

Region
Région wallonne Prov. Brabant Wallon Arr. Nivelles
Activity type
Higher or Secondary Education Establishments
Links
Total cost

The total costs incurred by this organisation to participate in the project, including direct and indirect costs. This amount is a subset of the overall project budget.

€ 1 911 250,00

Beneficiaries (1)

My booklet 0 0