Méthodes de calcul
Pour que ces nouveaux concepts d’automation et de contrôle puissent être transférés dans la pratique, nous les intégrons dans des systèmes globaux extensibles. Nous développons des concepts de matériels et des méthodes de calcul nécessaires dans l’objectif, entre autre, de protéger les systèmes des cyberattaques.
Les concepts de contrôle hiérarchisés et les méthodes mathématiques développés dans le programme de travail «Bases méthodologiques» sont destinés à être transférés dans des systèmes réels. Pour ce faire, il faut que les unités informatiques effectuent des calculs locaux à travers les nombreuses composantes décentralisées du système, communiquent entre elles et se coordonnent. En outre, l’ensemble du système doit fonctionner de manière robuste et fiable. Pour parvenir à ces résultats, nous travaillons sur les thèmes de recherche ci-après :
- Scalable and correct by design synthesis: les circonstances du monde réel, comme la limitation des capacités de calcul, des vitesses de transmission ou de l’approvisionnement en énergie exigent de faire des compromis au moment d’appliquer les stratégies de contrôle aux différentes composantes. Pour autant, ces compromis ne doivent pas entraver le bon fonctionnement du réseau de contrôle. C’est dans cette optique que nous élaborons des méthodes de conception extensibles, des algorithmes coordonnés et des systèmes intégrés d’un nouveau genre, qui interagissent de manière optimale et forment un système de contrôle distribué et hiérarchisé.
- Secure Cyber-Physical Systems: la numérisation est synonyme de nouvelles possibilités pour une automation accrue, mais aussi de nouveaux risques en matière de cybersécurité. Ces derniers doivent être minimisés, ou idéalement éliminés, dans les domaines d’importance systémique, comme les réseaux énergétiques, les transports et les processus industriels. Nous développons ainsi des dispositifs de cybersécurité pour rendre les systèmes d’automation résistants aux attaques malveillantes.
