Formal Approach to Dynamic SoS Design

Hela Kadri (1) , Simon Collart-Dutilleul (1) , Philippe Bon (1) , Samir Ben Ahmed (2)

1 IFSTTAR/COSYS/ESTAS - Évaluation des Systèmes de Transports Automatisés et de leur Sécurité
2 FST - Faculté des Sciences Mathématiques, Physiques et Naturelles de Tunis

A hierarchical framework is proposed for designing suitable switching control of dynamic System of Systems by using High Level Petri Nets and a multi model approach

Mots clés: SOS; DISCRETE EVENT SYSTEM; HLPN; OPERATING MODES; CONTROL DESIGN; RECONFIGURATION; SUPERVISORY CONTROL THEORY

Mots clés: MODELE MATHEMATIQUE; RESEAU DE PETRI; METHODE DES ELEMENTS DISCRETS; MODELISATION; METHODE FORMELLE; ALGORITHME

Domaines: Calcul formel [cs.SC]

Hela Kadri, Simon Collart-Dutilleul, Philippe Bon, Samir Ben Ahmed. Formal Approach to Dynamic SoS Design. ENASE 2019, 14th International Conference on Evaluation of Novel Approaches to Software Engineering, May 2019, Heraklion, France. ENASE 2019, 14th International Conference on Evaluation of Novel Approaches to Software Engineering, 1p, 2019. ⟨hal-02182024⟩