Francesco BASILE | Publications
Francesco BASILE Publications
| 2020 | |
| Articolo in rivista | |
| An Approach to Improve Permissiveness of Supervisors for GMECs in Time Petri Net Systems IEEE TRANSACTIONS ON AUTOMATIC CONTROL. Vol. 65. Pag.237-251 ISSN:0018-9286. | |
| Li, L.; Basile, F.; Li, Z. | |
| Versione online | |
| Digital Object Identifier (DOI): 10.1109/TAC.2019.2914895 Codice identificativo ISI: WOS:000506851100017 Codice identificativo SCOPUS: 2-s2.0-85077801115 | |
| Show it in Product Database (IRIS) |
| 2020 | |
| Articolo in rivista | |
| An Optimization-Based Approach to Discover the Unobservable Behavior of a Discrete-Event System through Interpreted Petri Nets IEEE TRANSACTIONS ON AUTOMATION SCIENCE AND ENGINEERING. Vol. 17. Pag.784-798 ISSN:1545-5955. | |
| Basile, F.; Faraut, G.; Ferrara, L.; Lesage, J. -J. | |
| Versione online | |
| Digital Object Identifier (DOI): 10.1109/TASE.2019.2944299 Codice identificativo ISI: WOS:000528673100020 Codice identificativo SCOPUS: 2-s2.0-85075526570 | |
| Show it in Product Database (IRIS) |
| 2020 | |
| Contributo in Atti di convegno | |
| A Reduced Computation of State Space to Enforce GMECs and Deadlock-Freeness on TPN Systems. In: IFAC-PapersOnLine Elsevier B.V. Vol.53, Pag.166-172 | |
| 15th IFAC Workshop on Discrete Event Systems, WODES 2020 Rio do Janero, Brazil 2020 | |
| Li, L.; Basile, F.; Li, Z. | |
| Versione online | |
| Digital Object Identifier (DOI): 10.1016/j.ifacol.2021.04.016 Codice identificativo ISI: WOS:000651644000025 Codice identificativo SCOPUS: 2-s2.0-85102966854 | |
| Show it in Product Database (IRIS) |
| 2020 | |
| Contributo in Atti di convegno | |
| From supervisory control to PLC code: A way to speed-up Constructive/Virtual Commissioning of Manufacturing Systems. In: IFAC-PapersOnLine Elsevier B.V. Vol.53, Pag.466-471 | |
| 15th IFAC Workshop on Discrete Event Systems, WODES 2020 Rio do Janero, Brazil 2020 | |
| Basile, F.; Ferrara, L. | |
| Versione online | |
| Digital Object Identifier (DOI): 10.1016/j.ifacol.2021.04.061 Codice identificativo ISI: WOS:000651644000070 Codice identificativo SCOPUS: 2-s2.0-85106656522 | |
| Show it in Product Database (IRIS) |
| 2020 | |
| Contributo in Atti di convegno | |
| Makespan optimization using Timed Petri Nets and Mixed Integer Linear Programming Problem. In: IFAC-PapersOnLine Elsevier B.V. Vol.53, Pag.129-135 | |
| 15th IFAC Workshop on Discrete Event Systems, WODES 2020 Rio do Janero, Brazil 2020 | |
| Marino, E. D.; Su, R.; Basile, F. | |
| Versione online | |
| Digital Object Identifier (DOI): 10.1016/j.ifacol.2021.04.073 Codice identificativo ISI: WOS:000651644000020 Codice identificativo SCOPUS: 2-s2.0-85106579489 | |
| Show it in Product Database (IRIS) |
