Loading...
 
[Show/Hide Left Column]

CODECSYS 

Contract Based Design of Cyber-Physical Systems 


Action line: SciLex
Subject : hybrid systems, compositional methods, contracts, verification and synthesis
Project Coordinator : Antoine Girard
Project Members : Laurent Fribourg, Luca Greco, Adnane Saoud (PhD student), Alina Eqtami (Postdoc), Daniele Zonetti (Postdoc)
Former Members : Lucien Etienne (Postdoc), Mohammad Al Khatib (Postdoc)
Host Laboratories : L2S, LSV
DigiCosme Funding : 2016/2019

Introduction
Cyber-physical systems (CPS) result from integrations of computational devices with physical processes and are to become ubiquitous in modern societies (autonomous vehicles, smart buildings, robots, etc.). The development of rigorous model based approaches to the design of CPS therefore constitutes a major challenge for the future years. Hybrid systems are natural models of CPS enabling to capture the tight interactions between "discrete" computing devices with the "continuous" physical world. Despite considerable progress in the field, current techniques apply to hybrid systems of moderate complexity.Thus, the design of complex CPS requires to divide large design problems in smaller sub-problems that can be solved using existing tools. The CODECSYS project aims at developing such approaches by decomposing a complex CPS into components which are designed independently. Each component is assigned a contract, which specifies guarantees that the component must fulfill under assumptions on the behavior of other components. For a given desired behavior of the global system, the decomposition into contracts to be satisfed by components is generally not unique: some contracts may be infeasible by components, resulting in an unsuccessful overall design; and even when all contracts can be satisfed, their choice may impact the robustness of the overall system.The CODECSYS project will contribute to contract based design of CPS by developing novel approaches, which explore systematically the space of possible design contracts. For that purpose, we consider contracts that are given by parametric assumptions and guarantees. For each component, we characterize a feasible region of parameter values for which the corresponding contract can be satisfied. The intersection of these feasible regions provides parameter values, which guarantee the correct behavior of the overall system. Moreover, one can also search for a particular parameter value, which optimizes the robustness of the design. Efficient computational techniques for contract parameter synthesis will be developed for design contracts that enjoy some monotonicity property with respect to parameters, using multiobjective optimization algorithms. Connections with control theoretic techniques such as small-gain theorems will be investigated. The development of our approach will be motivated by and validated on two applications: the first one deals with compositional controller synthesis for hybrid systems, the second one deals with digital implementation and scheduling of embedded controllers.

Documents:

Doctoral courses:
  • Antoine Girard, Hybrid systems, Politecnico Milano, Italy, July 2019.
  • Antoine Girard, Vérification et synthèse de systèmes cyber-physiques, Ecole MACS, Bordeaux, France, June 2019.
  • Antoine Girard, Formal Methods in Control Design. EECI IGSC, Gif-sur-Yvette, France, January 2019.
Highlights:
  • Plenary Talk, Antoine Girard, Symbolic control - from discrete synthesis to certified continuous controllers, Journées de l’Automatique, November 2018.
  • Keynote Talk, Antoine Girard, Timing contracts for networked cyber-physical systems, IFAC Workshop on Distributed Estimation and Control in Networked Systems, Groningen, Netherlands, August 2018.
  • Plenary Talk, Antoine Girard, Symbolic control - from discrete synthesis to certified continuous controllers, European Control Conference, Limassol, Cyprus, June 2018.
  • Finalist, Best Student Paper Award, Adnane Saoud, European Control Conference, Limassol, Cyprus, June 2018.
  • CODECSYS is the news: L'Edition de l'université Paris-Saclay, May 2018.
  • Keynote Talk, Antoine Girard, Compositional synthesis for symbolic control, International Conference on Hybrid Systems: Computation and Control, Porto, Portugal, April 2018.
  • Best Poster Award, Adnane Saoud, Rencontres Entreprises-Doctorants CentraleSupélec, April 2018.

Publications :
  • Revues:
    • Kazumune Hashimoto, Adnane Saoud, Masako Kishida, Toshimitsu Ushio, Dimos V. Dimarogonas, A Symbolic Approach to the Self-Triggered Design for Networked Control Systems. IEEE Control Systems Letters, 3(4), 1050-1055, 2019.
    • Lucien Etienne, Antoine Girard, Luca Greco, Stability and stabilizability of discrete-time dual switching systems with application to sampled-data systems. Automatica, 100:388-395, 2019.
    • Adnane Saoud, Antoine Girard, Optimal multirate sampling in symbolic models for incrementally stable switched systems. Automatica, 98:58-65, 2018.
    • Pierre-Jean Meyer, Antoine Girard and Emmanuel Witrant, Compositional abstraction and safety synthesis using overlapping symbolic models. IEEE Transactions on Automatic Control, 63(6):1835-1841, 2018.
  • Book session:
    • Mohammad Al Khatib, Antoine Girard and Thao Dang, Timing contracts for multi-core embedded control systems. In Sophie Tarbouriech, Antoine Girard, Laurentiu Hetel (Eds). Control subject to Computational and Communication Constraints. Vol. 475 in Lecture Notes in Control and Information Sciences, Springer, 2018.
  • Conferences:
    • Daniele Zonetti, Adnane Saoud, Antoine Girard, Laurent Fribourg, A symbolic approach to voltage stability and power sharing in time-varying DC microgrids. European Control Conference, Naples, Italy, 2019.
    • Alina Eqtami, Antoine Girard, A quantitative approach on assume-guarantee contracts for safety of interconnected systems. European Control Conference, Naples, Italy, 2019.
    • Zohra Kader, Adnane Saoud, Antoine Girard, Safety controller design for incrementally stable switched systems using event-based symbolic models. European Control Conference, Naples, Italy, 2019
    • Adnane Saoud, Antoine Girard, Laurent Fribourg, Contract based design of symbolic controllers for interconnected multiperiodic sampled-data systems. IEEE Conference on Decision and Control, Miami, USA, 2018.
    • Alina Eqtami and Antoine Girard, Safety control, a quantitative approach. IFAC Conference on Analysis and Design of Hybrid Systems, Oxford, UK, 2018.
    • Zohra Kader, Antoine Girard and Adnane Saoud, Symbolic models for incrementally stable switched systems with aperiodic time sampling. IFAC Conference on Analysis and Design of Hybrid Systems, Oxford, UK, 2018.
    • Adnane Saoud, Pushpak Jagtap, Majid Zamani and Antoine Girard, Compositional abstraction-based synthesis for cascade discrete-time control systems. IFAC Conference on Analysis and Design of Hybrid Systems, Oxford, UK, 2018.
    • Adnane Saoud, Antoine Girard and Laurent Fribourg, On the composition of discrete and continuous-time assume-guarantee contracts for invariance. European Control Conference, Limassol, Cyprus, 2018. Finalist of the Best Student Paper Award.
    • Adnane Saoud and Antoine Girard, Multirate symbolic models for incrementally stable switched systems. IFAC World Congress, Toulouse, France, 2017.
    • Mohammad Al Khatib, Antoine Girard, Thao Dang, Scheduling of embedded controllers under timing contracts. Hybrid Systems: Computation and Control, Pittsburgh, USA, 2017.
    • Mohammad Al Khatib, Antoine Girard and Thao Dang, Timing contracts for multi-core embedded control systems. In Sophie Tarbouriech, Antoine Girard, Laurentiu Hetel (Eds). Control subject to Computational and Communication Constraints. Vol. 475 in Lecture Notes in Control and Information Sciences, Springer, 2018.
  • International partnerships:
    • Osaka University: Kazumune Hashimoto, Toshimitsu Ushio,
    • National Institute of Informatics, Tokyo: Masako Kishida
    • KTH Royal Institute of Technology, Stockholm: Dimos V. Dimarogonas
    • Technical University of Munich: Pushpak Jagtap, Majid Zamani

Transversal Projects :