DdAutomata (Automata tools) - Equipe diagnostic, supervision et COnduite

Documentation
Français (FR)

Anglais (EN)

Logiciel Année : 2024

DdAutomata (Automata tools)

(1)

1

Yannick Pencolé

Fonction : Auteur
PersonId : 5003
IdHAL : yannick-pencole
ORCID : 0000-0002-2970-914X
IdRef : 068254962

Équipe DIagnostic, Supervision et COnduite

Résumé

DdAutomata is a set of tools to manipulate automata mainly used in the context of model based diagnosis (Diades collection). Among the proposed tools, ddautomata can determine, minimize, simulate, synchronize automata. It also can compute observers, diagnosers, fault signatures, twin plants, consistent traces...

Mots clés

Automata Model-based diagnosis

Domaines

Théorie et langage formel [cs.FL]

Yannick Pencolé : Connectez-vous pour contacter le contributeur

https://laas.hal.science/hal-04779083

Soumis le : mardi 12 novembre 2024-23:16:49

Dernière modification le : vendredi 6 décembre 2024-03:32:02

Dates et versions

hal-04779083 , version 1 (12-11-2024)

Identifiants

HAL Id : hal-04779083 , version 1
SWHID : swh:1:dir:66a436ed79218d8109f9927cd1281e3bf431274a;origin=https://gitlab.laas.fr/ypencole/ddautomata;visit=swh:1:snp:5c1726eef243ee48acf81a695b3db87a84e29165;anchor=swh:1:rev:6cf0cd89ea8e6d030258d48895eb7ce6daf8456f

version : 0.1
softwareLicence : BSD 2-Clause License
programmingLanguage : C++
codeRepository : https://gitlab.laas.fr/ypencole/ddautomata
platform : Linux , Windows

Citer

Yannick Pencolé. DdAutomata (Automata tools). 2024, ⟨swh:1:dir:66a436ed79218d8109f9927cd1281e3bf431274a;origin=https://gitlab.laas.fr/ypencole/ddautomata;visit=swh:1:snp:5c1726eef243ee48acf81a695b3db87a84e29165;anchor=swh:1:rev:6cf0cd89ea8e6d030258d48895eb7ce6daf8456f⟩. ⟨hal-04779083⟩

Exporter

CodeMeta BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UNIV-TLSE2 CNRS INSA-TOULOUSE LAAS UT1-CAPITOLE LAAS-DISCO LAAS-DECISION-ET-OPTIMISATION INSA-GROUPE TOULOUSE-INP UNIV-UT3 UT3-TOULOUSEINP

0 Consultations

0 Téléchargements

Partager