Formal Approach to Dynamic SoS Design - Archive ouverte HAL
Poster De Conférence Année : 2019

Formal Approach to Dynamic SoS Design

Résumé

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

Domaines

Calcul formel [cs.SC]
Fichier principal
Vignette du fichier
doc00030618.pdf (1.55 Mo) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Ifsttar Cadic  : Connectez-vous pour contacter le contributeur

https://hal.science/hal-02182024

Soumis le : vendredi 12 juillet 2019-15:23:27

Dernière modification le : lundi 7 août 2023-15:22:08

Télécharger pour visualiser

Dates et versions

hal-02182024 , version 1 (12-07-2019)

Identifiants

  • HAL Id : hal-02182024 , version 1

Citer

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⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

IFSTTAR UNIV-EIFFEL
47 Consultations
44 Téléchargements

Partager

More