loading
Documents

Research.Publish.Connect.

Paper

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

ISBN: 978-989-758-375-9

Keyword(s): System of Systems, Petri Nets, Discrete-event Systems, Operating Modes, Control Design, Reconfiguration, Supervisory Control Theory.

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 m anufacturing SoS is used to illustrate our approach. (More)

PDF ImageFull Text

Download
Sign In Guest: Register as new SciTePress user now for free.

Sign In SciTePress user: please login.

PDF ImageMy Papers

You are not signed in, therefore limits apply to your IP address 35.171.183.163

In the current month:
Recent papers: 100 available of 100 total
2+ years older papers: 200 available of 200 total

Paper citation in several formats:
Kadri, H.; Collart-Dutilleul, S.; Bon, P. and Ben Ahmed, S. (2019). Formal Approach to Dynamic SoS Design.In Proceedings of the 14th International Conference on Evaluation of Novel Approaches to Software Engineering - Volume 1: ENASE, ISBN 978-989-758-375-9, pages 377-384. DOI: 10.5220/0007730903770384

@conference{enase19,
author={Hela Kadri. and Simon Collart{-}Dutilleul. and Philippe Bon. and Samir Ben Ahmed.},
title={Formal Approach to Dynamic SoS Design},
booktitle={Proceedings of the 14th International Conference on Evaluation of Novel Approaches to Software Engineering - Volume 1: ENASE,},
year={2019},
pages={377-384},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0007730903770384},
isbn={978-989-758-375-9},
}

TY - CONF

JO - Proceedings of the 14th International Conference on Evaluation of Novel Approaches to Software Engineering - Volume 1: ENASE,
TI - Formal Approach to Dynamic SoS Design
SN - 978-989-758-375-9
AU - Kadri, H.
AU - Collart-Dutilleul, S.
AU - Bon, P.
AU - Ben Ahmed, S.
PY - 2019
SP - 377
EP - 384
DO - 10.5220/0007730903770384

Login or register to post comments.

Comments on this Paper: Be the first to review this paper.