Formal Approach to Dynamic SoS Design

Conference object English OPEN
KADRI, Hela; Collart-Dutilleul, Simon; Bon, Philippe; Ben Ahmed, Samir;
(2019)
  • Publisher: HAL CCSD
  • Related identifiers: doi: 10.5220/0007730903770384
  • Subject: DISCRETE-EVENT SYSTEMS | MODELE MATHEMATIQUE | SYSTEM OF SYSTEMS | METHODE DES ELEMENTS DISCRETS | SUPERVISORY CONTROL THEORY | RECONFIGURATION | METHODE FORMELLE | RESEAU DE PETRI | [INFO.INFO-SC]Computer Science [cs]/Symbolic Computation [cs.SC] | HLPN | PETRI NETS | ALGORITHME | MODELISATION | SOS | OPERATING MODES | CONTROL DESIGN | DISCRETE EVENT SYSTEM

ENASE 2019, 14th International Conference on Evaluation of Novel Approaches to Software Engineering, Heraklion, GRECE, 04-/05/2019 - 05/05/2019; This paper deals with the problem of System-of-Systems (SoS) modeling whose structure change due to thedynamics of its consti... View more
Share - Bookmark