Integrated Modeling Proposal of Supervisory Control Theory and Model-Based System Engineering - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2019

Integrated Modeling Proposal of Supervisory Control Theory and Model-Based System Engineering

Résumé

The Supervisory Control Theory (SCT), firstly introduced by Ramadge and Wonham in 1987, is one of the most important paradigms of formal modeling, control synthesis and verification for Discrete Event System (DES). 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 or energy systems, etc. With SCT, the requirements which are checked afterward in traditional engineering are used as input for generation of the design of the controller that is correct by construction. By the scientific achievements within the past several decades, the framework of SCT forms a systematically formal paradigm to synthesize controllers for DESs and a series of concepts and methods are proposed. However, despite the academic achievements of SCT, there are still gaps between the theoretical development and applications of SCT in engineering practice. Firstly, there is a lack of interpretation between informal requirements and formal specifications in typical development process. Systems' requirements are usually written in an informal narrative since it generally means a greater understanding among the various stakeholders. On the other hand, formal models such as automaton have unambiguous semantic, which means a model cannot be understood in different ways. It is still difficult to link the formalization and informal narrative requirements. Secondly, as the formal model can only represent the behavior of system to be studied, it is difficult to describe the structure aspect, which includes both physic and logic. The gap between plants and physic components leads to the problem: the consistency between plants and physic components is unclear. Besides, the supervisor/controller may also be structured. Unfortunately, there is no model can be used to explicitly describe the details of the structure. The existing contributions focus on how to transform the supervisor to the software and hardware aspect of concrete controller is neglected. In fact, it leads to problems of controller implementation. In fact, these two situations are due to ambiguity for hardware and software and lack of the implementation models. The existing supervisory control architecture and implementation methods are not able to specify the link between the models of supervisor/controller and models of concrete controller, which is unacceptable in the engineering
Fichier non déposé

Dates et versions

hal-02432707 , version 1 (08-01-2020)

Identifiants

  • HAL Id : hal-02432707 , version 1

Citer

Xiaoshan Lu, Laurent Piétrac, Eric Niel. Integrated Modeling Proposal of Supervisory Control Theory and Model-Based System Engineering. MSR, Nov 2019, Angers, France. ⟨hal-02432707⟩
24 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More