Compositional synthesis of state-dependent switching control

Adrien Le Coënt 1 Laurent Fribourg 2, 3 Nicolas Markey 2, 4 Florian De Vuyst 1 Ludovic Chamoin 5
3 MEXICO - Modeling and Exploitation of Interaction and Concurrency
LSV - Laboratoire Spécification et Vérification [Cachan], ENS Cachan - École normale supérieure - Cachan, Inria Saclay - Ile de France, CNRS - Centre National de la Recherche Scientifique : UMR8643
4 SUMO - SUpervision of large MOdular and distributed systems
Inria Rennes – Bretagne Atlantique , IRISA_D4 - LANGAGE ET GÉNIE LOGICIEL
Type de document :
Article dans une revue
Theoretical Computer Science, Elsevier, 2018, 750, pp.53-68. 〈10.1016/j.tcs.2018.01.021〉
Liste complète des métadonnées

https://hal.archives-ouvertes.fr/hal-01860379
Contributeur : Ludovic Chamoin <>
Soumis le : jeudi 23 août 2018 - 12:34:54
Dernière modification le : samedi 23 mars 2019 - 01:29:25

Identifiants

Citation

Adrien Le Coënt, Laurent Fribourg, Nicolas Markey, Florian De Vuyst, Ludovic Chamoin. Compositional synthesis of state-dependent switching control. Theoretical Computer Science, Elsevier, 2018, 750, pp.53-68. 〈10.1016/j.tcs.2018.01.021〉. 〈hal-01860379〉

Partager

Métriques

Consultations de la notice

69