Francesco BASILE | Pubblicazioni
Francesco BASILE Pubblicazioni
| 2022 | |
| Articolo in rivista | |
| Necessary and Sufficient Condition to Assess Initial-State-Opacity in Live Bounded and Reversible Discrete Event Systems IEEE CONTROL SYSTEMS LETTERS. Vol. 6. Pag.2683-2688 ISSN:2475-1456. | |
| Basile, F.; De Tommasi, G.; Motta, C.; Sterle, C. | |
| Versione online | |
| Digital Object Identifier (DOI): 10.1109/LCSYS.2022.3174521 Codice identificativo ISI: WOS:000799615700001 Codice identificativo SCOPUS: 2-s2.0-85131340396 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 2022 | |
| Articolo in rivista | |
| Supervisory Control of Timed Discrete-Event Systems With Logical and Temporal Specifications IEEE TRANSACTIONS ON AUTOMATIC CONTROL. Vol. 67. Pag.2800-2815 ISSN:0018-9286. | |
| Basile, F.; Cordone, R.; Piroddi, L. | |
| Versione online | |
| Digital Object Identifier (DOI): 10.1109/TAC.2021.3093618 Codice identificativo ISI: WOS:000803343800012 Codice identificativo SCOPUS: 2-s2.0-85112218103 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 2022 | |
| Articolo in rivista | |
| Assessment of multilevel intransitive non-interference for Discrete Event Systems IEEE CONTROL SYSTEMS LETTERS. Vol. 6. Pag.349-354 ISSN:2475-1456. | |
| Basile, F.; De Tommasi, G. | |
| Versione online | |
| Digital Object Identifier (DOI): 10.1109/LCSYS.2021.3075658 Codice identificativo ISI: WOS:000668851700026 Codice identificativo SCOPUS: 2-s2.0-85105095691 | |
| Visualizza sul Database dei Prodotti (IRIS) |
221538An optimization-based approach to assess non-interference in labeled and bounded Petri net systems
| 2022 | |
| Articolo in rivista | |
| An optimization-based approach to assess non-interference in labeled and bounded Petri net systems NONLINEAR ANALYSIS. Vol. 44. Pag.1-23 ISSN:1751-570X. | |
| Basile, F.; Boccia, M.; De Tommasi, G.; Motta, C.; Sterle, C. | |
| Versione online | |
| Digital Object Identifier (DOI): 10.1016/j.nahs.2022.101153 Codice identificativo ISI: WOS:000782642200001 Codice identificativo SCOPUS: 2-s2.0-85123029148 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 2022 | |
| Articolo in rivista | |
| Residuals-based fault diagnosis of industrial automation systems using timed and untimed Interpreted Petri nets CONTROL ENGINEERING PRACTICE. Vol. 129. Pag.1-11 ISSN:0967-0661. | |
| Basile, F.; Ferrara, L. | |
| Versione online | |
| Digital Object Identifier (DOI): 10.1016/j.conengprac.2022.105361 Codice identificativo ISI: WOS:000887325700002 Codice identificativo SCOPUS: 2-s2.0-85139735641 | |
| Visualizza sul Database dei Prodotti (IRIS) |
