Title
Formal approach to SoS management design
Abstract
Systems-of-Systems (SoSs) are large systems whose components are themselves systems which interact to realise a common goal, and for which the malfunction of a single system can have some serious consequences on the performance of the whole SoS. Studied as Discrete-Event Systems (DES), this paper proposes an hierarchical framework for designing these systems with a multi-level supervision strategy to control reconfiguration when exceptional events occur, such as a failure. The originality of this work lies in the joint modelling of the cyber-physical level and the managerial levels of the SoS through the use of the Hierarchical Coloured Petri Nets (HCPN) formalism. In addition, the aspects of system activation/deactivation and handling of system state common to multiple configurations are taken into account in the proposed model.
Year
DOI
Venue
2021
10.1109/SOSE52739.2021.9497468
2021 16th International Conference of System of Systems Engineering (SoSE)
Keywords
DocType
ISBN
Control design,Reconfiguration,Supervision,Formal analysis,Hierarchical coloured Petri nets (HCPN),Discrete-event systems(DES),System-of-systems(SoS)
Conference
978-1-6654-4455-2
Citations 
PageRank 
References 
0
0.34
0
Authors
4
Name
Order
Citations
PageRank
Hela Kadri101.01
othman lakhal263.20
Blaise Conrard373.08
Rochdi Merzouki411725.83