Francesco BASILE | Pubblicazioni
Francesco BASILE Pubblicazioni
| 2025 | |
| Articolo in rivista | |
| Verification of K-step Non-Interference for Live Bounded and Reversible Discrete Event Systems Modeled with Petri Nets IEEE CONTROL SYSTEMS LETTERS. Vol. 9. Pag.865-870 ISSN:2475-1456. | |
| Basile, F.; Tommasi, G. D.; Dubbioso, S.; Fiorenza, F. | |
| Versione online | |
| Digital Object Identifier (DOI): 10.1109/LCSYS.2025.3575358 Codice identificativo SCOPUS: 2-s2.0-105007893107 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 2025 | |
| Articolo in rivista | |
| Optimization-based computation of bounded sequences to reach target states in DESs DISCRETE EVENT DYNAMIC SYSTEMS. Pag.1-19 ISSN:0924-6703. | |
| Cordone, R.; Basile, F.; Piroddi, L. | |
| Versione online | |
| Digital Object Identifier (DOI): 10.1007/s10626-025-00412-x Codice identificativo ISI: WOS:001472825500001 Codice identificativo SCOPUS: 2-s2.0-105003215243 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 2025 | |
| Contributo in Atti di convegno | |
| Model Predictive Supervisory Control of Discrete Event Systems. In: 2025 IEEE Conference on Control Technology and Applications, CCTA 2025 Institute of Electrical and Electronics Engineers Inc. Pag.627-633 | |
| 9th IEEE Conference on Control Technology and Applications, CCTA 2025 usa 2025 | |
| Basile, F.; Giua, A.; Marcone, G. | |
| Versione online | |
| Digital Object Identifier (DOI): 10.1109/CCTA53793.2025.11151496 Codice identificativo SCOPUS: 2-s2.0-105017856270 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 2025 | |
| Contributo in Atti di convegno | |
| Sequence-based Vs Observer-based Approaches to Verify Current-State Opacity: A Benchmark Case. In: 2025 IEEE Conference on Control Technology and Applications, CCTA 2025 Institute of Electrical and Electronics Engineers Inc. Pag.609-615 | |
| 9th IEEE Conference on Control Technology and Applications, CCTA 2025 usa 2025 | |
| Basile, F.; De Tommasi, G.; Dubbioso, S.; Fiorenza, F. | |
| Versione online | |
| Digital Object Identifier (DOI): 10.1109/CCTA53793.2025.11151370 Codice identificativo SCOPUS: 2-s2.0-105017846741 | |
| Visualizza sul Database dei Prodotti (IRIS) |
