Francesco BASILE | Pubblicazioni
Francesco BASILE Pubblicazioni
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 | |
| 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) |
| 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) |
| 2022 | |
| Contributo in Atti di convegno | |
| A Matlab toolbox implementing MSCG computation. In: IFAC-PapersOnLine RADARWEG 29, 1043 NX AMSTERDAM, NETHERLANDS Elsevier B.V. Vol.55, Pag.303-308 | |
| 16th IFAC Workshop on Discrete Event Systems, WODES 2022 Prague, Czechia September | |
| Basile, F.; Ferrara, L. | |
| Versione online | |
| Digital Object Identifier (DOI): 10.1016/j.ifacol.2022.10.358 Codice identificativo ISI: WOS:000877003700043 Codice identificativo SCOPUS: 2-s2.0-85144389755 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 2022 | |
| Contributo in Atti di convegno | |
| Assessment of Initial-State-Opacity in Live Bounded and Reversible Discrete Event Systems via Integer Linear Programming. In: 2022 30th Mediterranean Conference on Control and Automation, MED 2022 345 E 47TH ST, NEW YORK, NY 10017 USA Institute of Electrical and Electronics Engineers Inc. Pag.994-999 ISBN:978-1-6654-0673-4 | |
| 30th Mediterranean Conference on Control and Automation, MED 2022 Athens, Greece June 2022 | |
| Basile, F.; Tommasi, G. D.; Motta, C.; Petrillo, A.; Santini, S. | |
| Versione online | |
| Digital Object Identifier (DOI): 10.1109/MED54222.2022.9837143 Codice identificativo ISI: WOS:000854013700162 Codice identificativo SCOPUS: 2-s2.0-85136243213 | |
| Visualizza sul Database dei Prodotti (IRIS) |
