Authors:
Hela Kadri
1
;
Simon Collart-Dutilleul
2
;
Philippe Bon
2
and
Samir Ben Ahmed
3
Affiliations:
1
IFSTTAR/ESTAS, Université Lille Nord de France, 20 rue Elisée Reclus, France, Université de Tunis El Manar, Campus Universitaire Farhat Hached and Tunisia
;
2
IFSTTAR/ESTAS, Université Lille Nord de France, 20 rue Elisée Reclus and France
;
3
Université de Tunis El Manar, Campus Universitaire Farhat Hached and Tunisia
Keyword(s):
System of Systems, Petri Nets, Discrete-event Systems, Operating Modes, Control Design, Reconfiguration, Supervisory Control Theory.
Related
Ontology
Subjects/Areas/Topics:
Formal Methods
;
Simulation and Modeling
;
Software Engineering
;
Software Engineering Methods and Techniques
Abstract:
This paper deals with the problem of System-of-Systems (SoS) modeling whose structure change due to the dynamics of its constituent systems as they are developed in different operating modes. Designed by using multi-model approach, each operating mode represents a process functioning of its system, depending on the resources to activate and requirements to enforce. Studied as a Discrete-Event System (DES), we propose a hierarchical framework for designing suitable switching control for dynamic SoS using the High Level Petri Nets (HLPN). Following a bottom up approach, we model each component first in a separate sheet and then the operating modes. Next, systems are designed by integrating a switching mechanism to commit to different operating modes when switching events occur. Finally, a mechanism for managing systems dependencies inside the SoS is proposed. Algorithms are provided to generate the different layers of HLPN permitting easy implementation of our framework and a flexible
manufacturing SoS is used to illustrate our approach.
(More)