Francesco BASILE | Pubblicazioni
Francesco BASILE Pubblicazioni
| 2018 | |
| Contributo in Atti di convegno | |
| Design of control sequences for timed Petri nets based on tree encoding. In: IFAC-PAPERSONLINE PO BOX 211, 1000 AE AMSTERDAM, NETHERLANDS Elsevier B.V. Vol.51, Pag.218-223 | |
| 14th IFAC Workshop on Discrete Event Systems WODES 2018 Sorrento Coast, Italy May | |
| Lefebvre, Dimitri; Basile, Francesco | |
| Versione online | |
| Digital Object Identifier (DOI): 10.1016/j.ifacol.2018.06.304 Codice identificativo ISI: WOS:000439161000036 Codice identificativo SCOPUS: 2-s2.0-85050164716 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 2018 | |
| Contributo in Atti di convegno | |
| Non-interference assessment in bounded Petri nets via Integer Linear Programming. In: Proceedings of the American Control Conference Institute of Electrical and Electronics Engineers Inc. Vol.2018-, Pag.3056-3061 ISBN:9781538654286 | |
| 2018 Annual American Control Conference, ACC 2018 Wisconsin Center / Hilton Milwauke City Center, usa 2018 | |
| Basile, F.; De Tommasi, G. | |
| Versione online | |
| Digital Object Identifier (DOI): 10.23919/ACC.2018.8431241 Codice identificativo SCOPUS: 2-s2.0-85052555216 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 2018 | |
| Contributo in Atti di convegno | |
| An algebraic characterization of language-based opacity in labeled Petri nets. In: IFAC-PAPERSONLINE PO BOX 211, 1000 AE AMSTERDAM, NETHERLANDS Elsevier B.V. Vol.51, Pag.329-336 | |
| 14th IFAC Workshop on Discrete Event Systems WODES 2018 Sorrento Coast, Italy May | |
| Basile, F.; Tommasi, G. De | |
| Versione online | |
| Digital Object Identifier (DOI): 10.1016/j.ifacol.2018.06.321 Codice identificativo ISI: WOS:000439161000053 Codice identificativo SCOPUS: 2-s2.0-85050080105 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 2018 | |
| Contributo in Atti di convegno | |
| Control design for timed Petri nets based on LMIs and structure expansion. In: Proceedings of 23rd IEEE International Conference on Emerging Technologies and Factory Automation, ETFA 2018 345 E 47TH ST, NEW YORK, NY 10017 USA IEEE Pag.426-432 | |
| 23rd International Conference on Emerging Technologies and Factory Automation (ETFA'18) Torino September | |
| Mbaye, A; Lefebvre, D; Basile, F | |
| Versione online | |
| Digital Object Identifier (DOI): 10.1109/ETFA.2018.8502471 Codice identificativo ISI: WOS:000449334500052 Codice identificativo SCOPUS: 2-s2.0-85057293562 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 2018 | |
| Contributo in Atti di convegno | |
| Automated generation of a simulation model for the decentralized control of automated warehouse systems. In: IEEE International Conference on Automation Science and Engineering IEEE Computer Society Pag.540-546 ISBN:9781538635933 | |
| 14th IEEE International Conference on Automation Science and Engineering, CASE 2018 Technical University Munich, Germany 2018 | |
| Basile, F.; Chiacchio, P.; Di Marino, E. | |
| Versione online | |
| Digital Object Identifier (DOI): 10.1109/COASE.2018.8560387 Codice identificativo SCOPUS: 2-s2.0-85059976735 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 2018 | |
| Contributo in Atti di convegno | |
| Efficient diagnosability assessment via ILP optimization: a railway benchmark. In: Proceedings of 23rd IEEE International Conference on Emerging Technologies and Factory Automation, ETFA 2018 345 E 47TH ST, NEW YORK, NY 10017 USA IEEE Pag.441-448 | |
| 23rd International Conference on Emerging Technologies and Factory Automation (ETFA'18) Torino, Italy September | |
| Basile, F; De Tommasi, G; Sterle, C; Boussif, A; Ghazel, M | |
| Versione online | |
| Digital Object Identifier (DOI): 10.1109/ETFA.2018.8502532 Codice identificativo ISI: WOS:000449334500054 Codice identificativo SCOPUS: 2-s2.0-85057259278 | |
| Visualizza sul Database dei Prodotti (IRIS) |
