Skip to Main content Skip to Navigation

Contribution to the integration of supervisory control theory in a model-based system engineering method

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.
Document type :
Complete list of metadatas
Contributor : Abes Star :  Contact
Submitted on : Tuesday, May 12, 2020 - 11:06:09 AM
Last modification on : Tuesday, September 1, 2020 - 2:44:19 PM


Version validated by the jury (STAR)


  • HAL Id : tel-02570617, version 1


Xiaoshan Lu. Contribution to the integration of supervisory control theory in a model-based system engineering method. Automatic. Université de Lyon, 2019. English. ⟨NNT : 2019LYSEI072⟩. ⟨tel-02570617⟩



Record views


Files downloads