Supervisory authorities

CNRS Ecole Centrale de Lyon Université de Lyon Université Lyon 1 INSA de Lyon

Our partners



Home > Thèses et HDR > Thèses en 2019

18/09/2019 - Xiaoshan LU

by Laurent Krähenbühl - published on , updated on


  • Wednesday 18 September 2019 from 10:00 to 12:00 -

    Thèse Xiaoshan LU

    Résumé :

    Contribution to the Integration of Supervisory Control Theory in a Model-Based System Engineering Method
    ... details ...

    Lieu : INSA de Lyon, Bâtiment St-Exupéry, amphi M2B.

    Notes de dernières minutes : Pot de thèse à 17h, salle de réunion du bâtiment St-Ex.

Ajouter un événement iCal

Xiaoshan Lu defends his PhD on Sept. 18, 2019, 10:00AM.
Place : INSA de Lyon, Bâtiment St-Exupéry, salle M2B

Title : Contribution to the Integration of Supervisory Control Theory in a Model-Based System Engineering Method

Jury :
Pascal Berruet, Professeur, Université de Bretagne Sud (Rapporteur)
Véronique Carré-Ménétrier, Professeur, Université de Reims (Rapporteur)
Eric Niel, Professeur, INSA de Lyon (Directeur de thèse)
Laurent Piétrac, Maître de Conférences HDR, INSA de Lyon (co-directeur de thèse)

Abstract :
Supervisory Control Theory (SCT) is one of the most important formal paradigms for developing controllers for Discrete Event Systems (DESs). The large number of scientific contributions shows that SCT catches extensive academic interest and this theory has been proved to be applicable in various industrial domains such as manufacturing systems, embedded systems, transportation systems and energy systems. With SCT, the requirements which are checked afterward in conventional engineering are used as input for generation of the design of the controller the verification of this model can be eliminated. However the SCT suffers from an important lack of integration in a global design process which leads to the gaps between the theoretical development and applications of SCT within engineering practice. The Model-Based System Engineering (MBSE) provides the solutions to deal with the limitations of SCT. The objective of this study is to propose a novel framework for automatic control (AC) which integrates both SCT and MBSE to bridge the gaps formal paradigm and engineering process. In the proposed framework, different SysML diagrams are used to as complementary models which present the indispensible views of the system to be studied in the global modeling process. Secondly, in order to keep the consistency between SysML models and formal models, methods for formal modeling and verification are proposed. A case study introduced at the end prove that the proposed framework which provides a global development process from requirement analysis to controller implementation can well meet the needs of engineering practice.

Key Words :
Supervisory control theory, model-based system engineering methods, SysML, formal approach, integrated modeling process

View online : Texte complet