Francesco BASILE | Publications
Francesco BASILE Publications
| 2021 | |
| Articolo in rivista | |
| Closed-Loop Deadlock-Free Supervision for GMECs in Time Petri Net Systems IEEE TRANSACTIONS ON AUTOMATIC CONTROL. Vol. 66. Pag.5326-5341 ISSN:0018-9286. | |
| Li, L.; Basile, F.; Li, Z. | |
| Versione online | |
| Digital Object Identifier (DOI): 10.1109/TAC.2020.3044520 Codice identificativo ISI: WOS:000711740700022 Codice identificativo SCOPUS: 2-s2.0-85098769791 | |
| Show it in Product Database (IRIS) |
| 2021 | |
| Articolo in rivista | |
| Assessment of Bisimulation Non-Interference in Discrete Event Systems Modelled with Bounded Petri Nets IEEE CONTROL SYSTEMS LETTERS. Vol. 5. Pag.1151-1156 ISSN:2475-1456. | |
| Basile, F.; De Tommasi, G. | |
| Versione online | |
| Digital Object Identifier (DOI): 10.1109/LCSYS.2020.3017189 Codice identificativo ISI: WOS:000566327200001 Codice identificativo SCOPUS: 2-s2.0-85091144631 | |
| Show it in Product Database (IRIS) |
| 2021 | |
| Articolo in rivista | |
| An approach based on timed Petri nets and tree encoding to implement search algorithms for a class of scheduling problems INFORMATION SCIENCES. Vol. 559. Pag.314-335 ISSN:0020-0255. | |
| Lefebvre, D.; Basile, F. | |
| Versione online | |
| Digital Object Identifier (DOI): 10.1016/j.ins.2020.12.087 Codice identificativo ISI: WOS:000636740100019 Codice identificativo SCOPUS: 2-s2.0-85102443528 | |
| Show it in Product Database (IRIS) |
| 2021 | |
| Articolo in rivista | |
| Non-interference enforcement via supervisory control in bounded Petri nets IEEE TRANSACTIONS ON AUTOMATIC CONTROL. Vol. 66. Pag.3653-3666 ISSN:0018-9286. | |
| Basile, F.; Detommasi, G.; Sterle, C. | |
| Versione online | |
| Digital Object Identifier (DOI): 10.1109/TAC.2020.3024274 Codice identificativo ISI: WOS:000678334500019 Codice identificativo SCOPUS: 2-s2.0-85091287009 | |
| Show it in Product Database (IRIS) |
| 2021 | |
| Contributo in Atti di convegno | |
| A sliding-window approach to analyze the accuracy of timed DESs. In: IEEE International Conference on Emerging Technologies and Factory Automation, ETFA Institute of Electrical and Electronics Engineers Inc. Vol.2021-, Pag.1-4 ISBN:978-1-7281-2989-1 | |
| 26th IEEE International Conference on Emerging Technologies and Factory Automation, ETFA 2021 Vasteras, Sweden 2021 | |
| Basile, F.; Ferrara, L. | |
| Versione online | |
| Digital Object Identifier (DOI): 10.1109/ETFA45728.2021.9613328 Codice identificativo ISI: WOS:000766992600078 Codice identificativo SCOPUS: 2-s2.0-85122922932 | |
| Show it in Product Database (IRIS) |
| 2021 | |
| Contributo in Atti di convegno | |
| A model-based approach to the validation of automation systems. In: 2021 29th Mediterranean Conference on Control and Automation, MED 2021 Institute of Electrical and Electronics Engineers Inc. Pag.1317-1323 ISBN:978-1-6654-2258-1 | |
| 29th Mediterranean Conference on Control and Automation, MED 2021 Bari, Italy 2021 | |
| Basile, F.; Ferrara, L. | |
| Versione online | |
| Digital Object Identifier (DOI): 10.1109/MED51440.2021.9480296 Codice identificativo ISI: WOS:000811823100200 Codice identificativo SCOPUS: 2-s2.0-85113656093 | |
| Show it in Product Database (IRIS) |
| 2021 | |
| Contributo in Atti di convegno | |
| Finite-time accuracy of timed discrete event systems. In: Proceedings of the IEEE Conference on Decision and Control Institute of Electrical and Electronics Engineers Inc. Vol.2021-, Pag.1744-1749 ISBN:978-1-6654-3659-5 | |
| 60th IEEE Conference on Decision and Control, CDC 2021 Austin, TX, USA 2021 | |
| Basile, F.; Ferrara, L. | |
| Versione online | |
| Digital Object Identifier (DOI): 10.1109/CDC45484.2021.9683603 Codice identificativo ISI: WOS:000781990301098 Codice identificativo SCOPUS: 2-s2.0-85126061645 | |
| Show it in Product Database (IRIS) |
