Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Artigo
|
Diagnosability of Event Patterns in Safe Labeled Time Petri Nets: A Model-Checking ApproachPencole, Yannick ; Subias, AudineIEEE transactions on automation science and engineering, 2022-04, Vol.19 (2), p.1151-1162IEEETexto completo disponível |
|
2 |
Material Type: Artigo
|
Assessing product quality from the production process logsDuong, Le Toan ; Travé-Massuyès, Louise ; Subias, Audine ; Roa, Nathalie BarbosaInternational journal of advanced manufacturing technology, 2021-11, Vol.117 (5-6), p.1615-1631 [Periódico revisado por pares]London: Springer LondonTexto completo disponível |
|
3 |
Material Type: Artigo
|
Formal Chronicle Analyses and Comparisons: How to Deal with Negative BehaviorsPencolé, Yannick ; Subias, AudineJ.UCS (Annual print and CD-ROM archive ed.), 2020-02, Vol.26 (2), p.268-292 [Periódico revisado por pares]Pensoft PublishersTexto completo disponível |
|
4 |
Material Type: Artigo
|
Fault diagnosis of photovoltaic systems using artificial intelligence: A bibliometric approachSepúlveda-Oviedo, Edgar Hernando ; Travé-Massuyès, Louise ; Subias, Audine ; Pavlov, Marko ; Alonso, CorinneHeliyon, 2023-11, Vol.9 (11), p.e21491-e21491, Article e21491 [Periódico revisado por pares]Elsevier LtdTexto completo disponível |
|
5 |
Material Type: Artigo
|
Diagnosability analysis of patterns on bounded labeled prioritized Petri netsGougam, Houssam-Eddine ; Pencolé, Yannick ; Subias, AudineDiscrete event dynamic systems, 2017-03, Vol.27 (1), p.143-180 [Periódico revisado por pares]New York: Springer USTexto completo disponível |
|
6 |
Material Type: Artigo
|
MAPE-K as a service-oriented architectureVizcarrondo, Juan ; Aguilar, Jose ; Exposito, Ernesto ; Subias, AudineRevista IEEE América Latina, 2017-06, Vol.15 (6), p.1163-1175Los Alamitos: IEEETexto completo disponível |
|
7 |
Material Type: Artigo
|
Alarm management via temporal pattern learningVasquez Capacho, J.W. ; Subias, A. ; Travé-Massuyès, L. ; Jimenez, F.Engineering applications of artificial intelligence, 2017-10, Vol.65, p.506-516 [Periódico revisado por pares]Elsevier LtdTexto completo disponível |
|
8 |
Material Type: Artigo
|
Iterative hybrid causal model based diagnosis: Application to automotive embedded functionsPons, R. ; Subias, A. ; Travé-Massuyès, L.Engineering applications of artificial intelligence, 2015-01, Vol.37, p.319-335 [Periódico revisado por pares]Elsevier LtdTexto completo disponível |
|
9 |
Material Type: Ata de Congresso
|
A State Class Construction for Computing the Intersection of Time Petri Nets LanguagesLubat, Éric ; Dal Zilio, Silvano ; Le Botlan, Didier ; Pencolé, Yannick ; Subias, Audine17th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS), Aug 2019, Amsterdam, Netherlands. ⟨10.1007/978-3-030-29662-9_5, 2019, Vol.11750, p.79-95 [Periódico revisado por pares]Cham: Springer International PublishingSem texto completo |
|
10 |
Material Type: Artigo
|
ARMISCOM: self-healing service compositionVizcarrondo, J. ; Aguilar, J. ; Exposito, E. ; Subias, A.Service oriented computing and applications, 2017-09, Vol.11 (3), p.345-365 [Periódico revisado por pares]London: Springer LondonTexto completo disponível |