Francesco BASILE | Pubblicazioni
Francesco BASILE Pubblicazioni
| 2024 | |
| Contributo in Atti di convegno | |
| Computation of K-reachable paths in Petri nets. In: IFAC-PapersOnLine Elsevier B.V. Vol.58, Pag.84-89 | |
| 17th IFAC Workshop on Discrete Event Systems, WODES 2024 Rio do Janeiro, Brazil 2024 | |
| Cordone, R.; Basile, F.; Piroddi, L. | |
| Versione online | |
| Digital Object Identifier (DOI): 10.1016/j.ifacol.2024.07.015 Codice identificativo SCOPUS: 2-s2.0-85199515360 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 2024 | |
| Contributo in Atti di convegno | |
| Monitors under attack: Preliminary results on robustness analysis and synthesis. In: IFAC-PapersOnLine RADARWEG 29, 1043 NX AMSTERDAM, NETHERLANDS Elsevier B.V. Vol.58, Pag.30-35 | |
| 17th IFAC Workshop on Discrete Event Systems, WODES 2024 Rio do Janeiro, Brazil 2024 | |
| Zhang, Y.; Basile, F.; Chen, Y.; Li, Z. | |
| Versione online | |
| Digital Object Identifier (DOI): 10.1016/j.ifacol.2024.07.006 Codice identificativo ISI: WOS:001274052800001 Codice identificativo SCOPUS: 2-s2.0-85199547804 | |
| 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) |
| 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) |
| 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 | |
| Visualizza sul Database dei Prodotti (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 | |
| Visualizza sul Database dei Prodotti (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 | |
| Visualizza sul Database dei Prodotti (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 | |
| Visualizza sul Database dei Prodotti (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 | |
| Visualizza sul Database dei Prodotti (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 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 2019 | |
| Contributo in Atti di convegno | |
| Auction-based mechanisms for the control of vehicles in Smart Logistic Systems. In: IEEE International Conference on Emerging Technologies and Factory Automation, ETFA Institute of Electrical and Electronics Engineers Inc. Vol.2019-, Pag.1429-1432 ISBN:978-1-7281-0303-7 | |
| 24th IEEE International Conference on Emerging Technologies and Factory Automation, ETFA 2019 Spain 2019 | |
| Basile, F.; Chiacchio, P.; Di Marino, E. | |
| Versione online | |
| Digital Object Identifier (DOI): 10.1109/ETFA.2019.8869296 Codice identificativo SCOPUS: 2-s2.0-85074215894 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 2019 | |
| Contributo in Atti di convegno | |
| Identification of timed input/output relationships for industrial automation systems using timed interpreted petri nets. In: Conference Proceedings - IEEE International Conference on Systems, Man and Cybernetics Institute of Electrical and Electronics Engineers Inc. Vol.2019-, Pag.1831-1837 ISBN:978-1-7281-4569-3 | |
| 2019 IEEE International Conference on Systems, Man and Cybernetics, SMC 2019 Bari, Italia October, 2019 | |
| Basile, F.; Ferrara, L. | |
| Versione online | |
| Digital Object Identifier (DOI): 10.1109/SMC.2019.8914396 Codice identificativo SCOPUS: 2-s2.0-85076766862 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 2019 | |
| Contributo in Atti di convegno | |
| Non-Interference Enforcement in Bounded Petri Nets. In: Proceedings of the IEEE Conference on Decision and Control IEEE Vol.2018-, Pag.4827-4832 ISBN:9781538613955 | |
| 57th IEEE Conference on Decision and Control, CDC 2018 Centre of the Fontainebleau in Miami Beach, usa 2018 | |
| Basile, Francesco; De Tommasi, Gianmaria; Sterle, Claudio | |
| Versione online | |
| Digital Object Identifier (DOI): 10.1109/CDC.2018.8618931 Codice identificativo ISI: WOS:000458114804072 Codice identificativo SCOPUS: 2-s2.0-85062186624 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 2019 | |
| Contributo in Atti di convegno | |
| Discovering of the unobservable behaviour of an Interpreted Petri Net model. In: Proceedings of the IEEE Conference on Decision and Control Institute of Electrical and Electronics Engineers Inc. Vol.2019-, Pag.2021-2026 ISBN:978-1-7281-1398-2 | |
| 58th IEEE Conference on Decision and Control, CDC 2019 Nice, France 2019 | |
| Basile, F.; Faraut, G.; Ferrara, L.; Lesage, J. -J. | |
| Versione online | |
| Digital Object Identifier (DOI): 10.1109/CDC40024.2019.9029205 Codice identificativo SCOPUS: 2-s2.0-85082506127 | |
| 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 | |
| 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 | |
| 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) |
| 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 | |
| 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 | |
| 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) |
| 2017 | |
| Contributo in Atti di convegno | |
| IdentifyTPN: a tool for the identification of Time Petri nets. In: IFAC-PapersOnLine Elsevier B.V. Vol.50, Pag.5843-5848 | |
| IFAC World Congress Toulouse, France July | |
| Basile, F.; Chiacchio, P.; Coppola, J. | |
| Versione online | |
| Digital Object Identifier (DOI): 10.1016/j.ifacol.2017.08.542 Codice identificativo ISI: WOS:000423964800459 Codice identificativo SCOPUS: 2-s2.0-85031803388 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 2017 | |
| Contributo in Atti di convegno | |
| An auction-based approach for the coordination of vehicles in automated warehouse systems. In: Proceedings - 2017 IEEE International Conference on Service Operations and Logistics, and Informatics, SOLI 2017 Institute of Electrical and Electronics Engineers Inc. Vol.2017, Pag.121-126 ISBN:9781509058471 | |
| 2017 IEEE International Conference on Service Operations and Logistics, and Informatics, SOLI 2017 Bari, Italy 2017 | |
| Basile, Francesco; Chiacchio, Pasquale; Di Marino, Emiliano | |
| Versione online | |
| Digital Object Identifier (DOI): 10.1109/SOLI.2017.8120981 Codice identificativo ISI: WOS:000425945200023 Codice identificativo SCOPUS: 2-s2.0-85046296625 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 2017 | |
| Contributo in Atti di convegno | |
| An incremental model repair approach to timed discrete event systems. In: IFAC-PapersOnLine Elsevier B.V. Vol.50, Pag.13636-13641 | |
| IFAC World Congress Toulouse, France July | |
| Basile, F.; Chiacchio, P.; Coppola, J. | |
| Versione online | |
| Digital Object Identifier (DOI): 10.1016/j.ifacol.2017.08.2395 Codice identificativo ISI: WOS:000423965200263 Codice identificativo SCOPUS: 2-s2.0-85034017822 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 2017 | |
| Contributo in Atti di convegno | |
| A matrix-based approach for supervising and controlling timed Discrete Event System. In: Proceedings of the 2017 IEEE 14th International Conference on Networking, Sensing and Control, ICNSC 2017 Institute of Electrical and Electronics Engineers Inc. Pag.66-71 ISBN:9781509044283 | |
| 14th IEEE International Conference on Networking, Sensing and Control, ICNSC 2017 Italy 2017 | |
| Basile, Francesco; Chiacchio, Pasquale; Coppola, Jolanda | |
| Versione online | |
| Digital Object Identifier (DOI): 10.1109/ICNSC.2017.8000069 Codice identificativo SCOPUS: 2-s2.0-85028502967 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 2016 | |
| Contributo in Atti di convegno | |
| Faulty model identification in deterministic labeled Time Petri nets. In: 13th International Workshop on Discrete Event Systems, WODES 2016 IEEE Pag.486-492 ISBN:9781509041909; 9781509041909 | |
| 13th International Workshop on Discrete Event Systems, WODES 2016 Xian, China May | |
| Basile, Francesco; Chiacchio, Pasquale; Coppola, Jolanda | |
| Versione online | |
| Digital Object Identifier (DOI): 10.1109/WODES.2016.7497892 Codice identificativo ISI: WOS:000382860200075 Codice identificativo SCOPUS: 2-s2.0-84981352032 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 2016 | |
| Contributo in Atti di convegno | |
| A Colored Timed Petri Net model for a cyber-physical view of automated warehouse systems. In: Proc. of 21st IEEE International Conference on Emerging Technologies and Factory Automation (ETFA 2016) IEEE Pag.1-8 ISBN:978-1-5090-1314-2; 978-1-5090-1314-2 | |
| 21st IEEE International Conference on Emerging Technologies and Factory Automation (ETFA 2016) Berlin, Germany September, 2016 | |
| Basile, Francesco; Chiacchio, Pasquale; Coppola, Jolanda | |
| Versione online | |
| Digital Object Identifier (DOI): 10.1109/ETFA.2016.7733609 Codice identificativo SCOPUS: 2-s2.0-84996490470 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 2016 | |
| Contributo in Atti di convegno | |
| Identification of labeled Time Petri nets. In: 13th International Workshop on Discrete Event Systems, WODES 2016 IEEE Pag.478-485 ISBN:9781509041909; 9781509041909 | |
| 13th International Workshop on Discrete Event Systems, WODES 2016 Xian, China 2016 | |
| Basile, Francesco; Chiacchio, Pasquale; Coppola, Jolanda | |
| Versione online | |
| Digital Object Identifier (DOI): 10.1109/WODES.2016.7497891 Codice identificativo ISI: WOS:000382860200074 Codice identificativo SCOPUS: 2-s2.0-84981316238 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 2016 | |
| Contributo in Atti di convegno | |
| A cyber-physical view of automated warehouse systems. In: Proc. of 12th IEEE International Conference on Automation Science and Engineering (CASE 2016) IEEE Pag.407-412 ISBN:978-1-5090-2409-4; 978-1-5090-2409-4 | |
| 12th IEEE International Conference on Automation Science and Engineering (CASE 2016) Fort Worth, Texas, USA August, 2016 | |
| Basile, Francesco; Chiacchio, Pasquale; Coppola, Jolanda | |
| Versione online | |
| Digital Object Identifier (DOI): 10.1109/COASE.2016.7743434 Codice identificativo SCOPUS: 2-s2.0-85000916490 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 2015 | |
| Contributo in Atti di convegno | |
| Sensors selection for K-diagnosability of Petri nets via Integer Linear Programming. In: 23rd Mediterranean Conference on Control and Automation, MED 2015 - Conference Proceedings Institute of Electrical and Electronics Engineers Inc. Pag.168-175 ISBN:9781479999361; 9781479999361 | |
| 23rd Mediterranean Conference on Control and Automation, MED 2015 Torremolinos; Spain 2015 | |
| Basile, Francesco; De Tommasi, Gianmaria; Sterle, Claudio | |
| Versione online | |
| Digital Object Identifier (DOI): 10.1109/MED.2015.7158746 Codice identificativo ISI: WOS:000375056800026 Codice identificativo SCOPUS: 2-s2.0-84945926241 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 2015 | |
| Contributo in Atti di convegno | |
| Model repair of Time Petri nets with temporal anomalies. In: IFAC Proceedings Volumes (IFAC-PapersOnline) IFAC Secretariat Vol.48, Pag.85-90 | |
| 5th IFAC International Workshop on Dependable Control of Discrete Systems, DCDS 2015 Cancun. Mexico May 2015 | |
| Basile, Francesco; Chiacchio, Pasquale; Coppola, Jolanda | |
| Versione online | |
| Digital Object Identifier (DOI): 10.1016/j.ifacol.2015.06.477 Codice identificativo SCOPUS: 2-s2.0-84992494551 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 2015 | |
| Contributo in Atti di convegno | |
| Automated warehouse systems: A cyber-physical system perspective. In: IEEE International Conference on Emerging Technologies and Factory Automation, ETFA Institute of Electrical and Electronics Engineers Inc. Pag.1-4 ISBN:9781467379298 | |
| 20th IEEE International Conference on Emerging Technologies and Factory Automation, ETFA 2015 Luxembourg September 2015 | |
| Basile, Francesco; Chiacchio, Pasquale; Coppola, Jolanda; Gerbasio, Diego | |
| Versione online | |
| Digital Object Identifier (DOI): 10.1109/ETFA.2015.7301597 Codice identificativo ISI: WOS:000378564800198 Codice identificativo SCOPUS: 2-s2.0-84952909186 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 2015 | |
| Contributo in Atti di convegno | |
| Real time identification of Time Petri net faulty models. In: IEEE International Conference on Automation Science and Engineering IEEE Pag.280-285 ISBN:9781467381833 | |
| 11th IEEE International Conference on Automation Science and Engineering, CASE 2015 Goteborg, Sweden 2015 | |
| Basile, Francesco; Chiacchio, Pasquale; Coppola, Jolanda | |
| Versione online | |
| Digital Object Identifier (DOI): 10.1109/CoASE.2015.7294076 Codice identificativo ISI: WOS:000380453000045 Codice identificativo SCOPUS: 2-s2.0-84952771007 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 2014 | |
| Contributo in Atti di convegno | |
| Automated implementation of Petri Nets on PLCs with OOP. In: 19th IEEE International Conference on Emerging Technologies and Factory Automation, ETFA 2014 IEEE Pag.1-4 ISBN:978-147994846-8 | |
| IEEE International Conference on Emerging Technologies and Factory Automation, ETFA 2014 Barcellona September | |
| Basile, Francesco; Chiacchio, Pasquale; Coppola, Jolanda; Gerbasio, Diego | |
| Versione online | |
| Digital Object Identifier (DOI): 10.1109/ETFA.2014.7005287 Codice identificativo ISI: WOS:000360999100238 Codice identificativo SCOPUS: 2-s2.0-84946689848 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 2014 | |
| Contributo in Atti di convegno | |
| Unified Model for Synthesis and Optimization of Discrete Event and Hybrid Systems. In: IFAC Proceedings Volumes (IFAC-PapersOnline) IFAC Pag.86-92 | |
| 12th International Workshop on Discrete Event Systems (2014) Paris May | |
| Lennartson, Bengt; Wigström, Oskar; Fabian, Martin; Basile, Francesco | |
| Versione online | |
| Digital Object Identifier (DOI): 10.3182/20140514-3-FR-4046.00140 Codice identificativo SCOPUS: 2-s2.0-84945959917 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 2014 | |
| Contributo in Atti di convegno | |
| K-diagnosability of Time labeled Petri nets. In: IFAC Proceedings Volumes (IFAC-PapersOnline) IFAC Pag.135-141 | |
| 12th International Workshop on Discrete Event Systems (2014) Paris May | |
| Basile, Francesco; Cabasino, Maria Paola; Seatzu, Carla | |
| Versione online | |
| Digital Object Identifier (DOI): 10.3182/20140514-3-FR-4046.00055 Codice identificativo SCOPUS: 2-s2.0-84945974546 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 2014 | |
| Contributo in Atti di convegno | |
| Overview of Fault Diagnosis Methods based on Petri Net Models. In: 13th European Control Conference, ECC 2014 IEEE Pag.2636-2642 ISBN:978-395242691-3 | |
| 13th European Control Conference, ECC 2014 Strasbourg, France June | |
| Basile, Francesco | |
| Versione online | |
| Digital Object Identifier (DOI): 10.1109/ECC.2014.6862631 Codice identificativo ISI: WOS:000349955702156 Codice identificativo SCOPUS: 2-s2.0-84911485987 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 2014 | |
| Contributo in Atti di convegno | |
| Decentralized monitors design for Petri net models. In: IFAC Proceedings Volumes (IFAC-PapersOnline) IFAC Pag.73-79 | |
| 12th International Workshop on Discrete Event Systems (2014) Paris May | |
| Basile, Francesco; Piroddi, Luigi; Cordone, Roberto | |
| Versione online | |
| Digital Object Identifier (DOI): 10.3182/20140514-3-FR-4046.00048 Codice identificativo SCOPUS: 2-s2.0-84945949108 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 2013 | |
| Contributo in Atti di convegno | |
| Compact and decentralized supervisors for general constraint enforcement in Petri net models. In: 52nd IEEE Conference on Decision and Control IEEE Pag.7279-7284 ISBN:9781467357142; 9781467357173; 9781479913817 | |
| 52nd IEEE Conference on Decision and Control Firenze Dicembre | |
| Basile, Francesco; Roberto, Cordone; Luigi, Piroddi | |
| Versione online | |
| Digital Object Identifier (DOI): 10.1109/CDC.2013.6761044 Codice identificativo ISI: WOS:000352223508036 Codice identificativo SCOPUS: 2-s2.0-84902350501 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 2013 | |
| Contributo in Atti di convegno | |
| Parsimonious deadlock-free Petri net models of flexible manufacturing systems. In: American Control Conference (ACC), 2013 IEEE Pag.119-124 ISBN:9781479901777 | |
| American Control Conference (ACC), 2013 Washington Giugno | |
| Basile, Francesco; R., Cordone; L., Piroddi | |
| Versione online | |
| Digital Object Identifier (DOI): 10.1109/ACC.2013.6579824 Codice identificativo ISI: WOS:000327210200021 Codice identificativo SCOPUS: 2-s2.0-84883538912 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 2013 | |
| Contributo in Atti di convegno | |
| Compact supervisors for general constraint enforcement in Petri net models with uncontrollable transitions. In: 2013 12th European Control Conference, ECC 2013 EUCA Pag.143-148 ISBN:9783033039629 | |
| 2013 12th European Control Conference, ECC 2013 Zurich; Switzerland July | |
| Basile, Francesco; Roberto, Cordone; Luigi, Piroddi | |
| Versione online | |
| Codice identificativo ISI: WOS:000332509700024 Codice identificativo SCOPUS: 2-s2.0-84893211725 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 2013 | |
| Contributo in Atti di convegno | |
| An approach for the identification of time Petri net systems. In: 2013 IEEE 18th Conference on Emerging Technologies & Factory Automation (ETFA) IEEE Pag.1-8 ISBN:9781479908622 | |
| 2013 IEEE 18th Conference on Emerging Technologies & Factory Automation (ETFA) Cagliari September | |
| Basile, Francesco; Chiacchio, Pasquale; Coppola, Jolanda | |
| Digital Object Identifier (DOI): 10.1109/ETFA.2013.6648050 Codice identificativo SCOPUS: 2-s2.0-84890614448 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 2013 | |
| Contributo in Atti di convegno | |
| Marking estimation of Time Petri nets with unobservable transitions. In: 2013 IEEE 18th Conference on Emerging Technologies & Factory Automation (ETFA) IEEE Pag.1-7 ISBN:9781479908622 | |
| 2013 IEEE 18th Conference on Emerging Technologies & Factory Automation (ETFA) Cagliari September | |
| Basile, Francesco; Maria Paola, Cabasino; Carla, Seatzu | |
| Digital Object Identifier (DOI): 10.1109/ETFA.2013.6648063 Codice identificativo SCOPUS: 2-s2.0-84890705052 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 2012 | |
| Contributo in Atti di convegno | |
| Decentralized k-diagnosability of Petri nets. In: Discrete Event Systems IFAC Vol.11, Pag.214-220 | |
| 11th Workshop on Discrete Event Systems Guadalajara, Mexico October | |
| Basile, Francesco; Chiacchio, Pasquale; G., De Tommasi | |
| Digital Object Identifier (DOI): 10.3182/20121003-3-MX-4033.00036 Codice identificativo SCOPUS: 2-s2.0-84881035863 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 2012 | |
| Contributo in Atti di convegno | |
| Active identification of Petri net models. In: Discrete Event Systems IFAC Vol.11, Pag.278-285 | |
| 11th Workshop on Discrete Event Systems Guadalajara, Mexico October | |
| Basile, Francesco; Chiacchio, Pasquale; Coppola, Jolanda | |
| Digital Object Identifier (DOI): 10.3182/20121003-3-MX-4033.00046 Codice identificativo SCOPUS: 2-s2.0-84881063193 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 2012 | |
| Contributo in Atti di convegno | |
| A Hybrid Petri Nets approach for Unmanned Aerial Vehicles monitoring. In: 2012 IEEE 17th Conference on Emerging Technologies & Factory Automation (ETFA'12) IEEE Pag.1-4 | |
| IEEE 17th Conference on Emerging Technologies & Factory Automation (ETFA'12) Kracow, Poland September | |
| Basile, Francesco; Chiacchio, Pasquale; Coppola, Jolanda; Gerbasio, Diego | |
| Digital Object Identifier (DOI): 10.1109/ETFA.2012.6489743 Codice identificativo ISI: WOS:000320333400212 Codice identificativo SCOPUS: 2-s2.0-84876362513 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 2012 | |
| Contributo in Atti di convegno | |
| Aerial service robotics: The AIRobots perspective. In: 2012 2nd International Conference on Applied Robotics for the Power Industry (CARPI 2012) IEEE Pag.64-69 | |
| 2nd International Conference on Applied Robotics for the Power Industry (CARPI'12) Zurich, Switzerland, September | |
| L., Marconi; Basile, Francesco; G., Caprari; R., Carloni; Chiacchio, Pasquale; C., Hurzeler; V., Lippiello; R., Naldi; J., Nikolic; B., Siciliano; S., Stramigioli; E., Zwicker | |
| Digital Object Identifier (DOI): 10.1109/CARPI.2012.6473361 Codice identificativo SCOPUS: 2-s2.0-84880613605 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 2011 | |
| Contributo in Atti di convegno | |
| Colored Hybrid Petri-nets for modeling material handling systems. In: Proceedings of the IEEE Conference on Decision and Control Institute of Electrical and Electronics Engineers (IEEE) Pag.5881-5886 ISBN:9781612847993; 9781612848006 | |
| 50th IEEE Conference of Decision and Control (CDC'11) Orlando, USA December | |
| Basile, Francesco; Chiacchio, Pasquale; Coppola, Jolanda | |
| Digital Object Identifier (DOI): 10.1109/CDC.2011.6161263 Codice identificativo ISI: WOS:000303506206082 Codice identificativo SCOPUS: 2-s2.0-84860697107 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 2011 | |
| Contributo in Atti di convegno | |
| A hybrid model for the control and the analysis of complex automated warehouse systems. In: 2011 IEEE 16th Conference on Emerging Technologies & Factory Automation (ETFA) Institute of Electrical and Electronics Engineers (IEEE) Pag.292-299 ISBN:9781457700170 | |
| 16th Conference on Emerging Technologies & Factory Automation (ETFA) Toulouse, France September | |
| Basile, Francesco; Chiacchio, Pasquale; Coppola, Jolanda | |
| Digital Object Identifier (DOI): 10.1109/ETFA.2011.6059041 Codice identificativo ISI: WOS:000297542900065 Codice identificativo SCOPUS: 2-s2.0-80655132145 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 2011 | |
| Contributo in Atti di convegno | |
| A discrete event model for the control and analysis of complex automated warehouse systems. In: 2011 IEEE International Conference on Automation Science and Engineering (CASE 2011) Institute of Electrical and Electronics Engineers (IEEE) Pag.201-207 ISBN:9781457717307 | |
| 7th IEEE International Conference on Automation Science and Engineering, CASE 2011 Trieste, Italy August | |
| Basile, Francesco; Chiacchio, Pasquale; Coppola, Jolanda | |
| Versione online | |
| Digital Object Identifier (DOI): 10.1109/CASE.2011.6042437 Codice identificativo SCOPUS: 2-s2.0-82455219056 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 2011 | |
| Contributo in Atti di convegno | |
| Identification of Petri nets using timing information. In: Proceedings of 3rd International Workskop on Dependable Control of Discrete Systems (DCDS) Institute of Electrical and Electronics Engineers (IEEE) Pag.154-161 ISBN:9781424489695 | |
| 3rd International Workskop on Dependable Control of Discrete Systems (DCDS'11) Saarbrucken, Germany June | |
| Basile, Francesco; Chiacchio, Pasquale; Coppola, Jolanda; Gianmaria De, Tommasi | |
| Digital Object Identifier (DOI): 10.1109/DCDS.2011.5970334 Codice identificativo SCOPUS: 2-s2.0-80052113597 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 2011 | |
| Contributo in Atti di convegno | |
| Progress in PLC programming for distributed automation systems control. In: IEEE International Conference on Industrial Informatics (INDIN) Institute of Electrical and Electronics Engineers (IEEE) Pag.621-627 ISBN:9781457704338; 9781457704352 | |
| 9th IEEE International Conference on Industrial Informatics (INDIN'11) Lisbon, Portugal July | |
| Basile, Francesco; Chiacchio, Pasquale; Gerbasio, Diego | |
| Digital Object Identifier (DOI): 10.1109/INDIN.2011.6034950 Codice identificativo ISI: WOS:000298743300094 Codice identificativo SCOPUS: 2-s2.0-80054975683 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 2010 | |
| Contributo in Atti di convegno | |
| A novel approach to PLC Programming for Distributed Automation Systems Control. In: Proceedings of the 15th IEEE International Conference on Emerging Technologies and Factory Automation IEEE (Institute of Electrical and Electronics Engineers, Inc. Pag.1-8 ISBN:9781424468485; 9781424468508 | |
| 15th IEEE International Conference on Emerging Technologies and Factory Automation Bilbao, Spain September | |
| Basile, Francesco; Chiacchio, Pasquale; Gerbasio, Diego | |
| Digital Object Identifier (DOI): 10.1109/ETFA.2010.5641344 Codice identificativo ISI: WOS:000313616400215 Codice identificativo SCOPUS: 2-s2.0-78650575877 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 2010 | |
| Contributo in Atti di convegno | |
| Diagnosability of Labeled Petri Nets via Integer Linear Programming. In: IFAC Proceedings Volumes (IFAC-PapersOnline) IFAC International Federation of Automatic Control Vol.10(1), Pag.71-77 ISBN:9783902661791 | |
| 10th International Workshop on Discrete Event Systems, WODES 2010 Berlin, Germany 30 August 2010-1 September 2010 | |
| Basile, Francesco; Chiacchio, Pasquale; G., De Tommasi | |
| Digital Object Identifier (DOI): 10.3182/20100830-3-DE-4013.00014 Codice identificativo SCOPUS: 2-s2.0-80052008825 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 2009 | |
| Contributo in Atti di convegno | |
| Real Time Simulation of Urban Traffic. In: Proceedings of European Control Conference 2009 (ECC09) IEEE Pag.4763-4768 ISBN:9789633113691 | |
| 10th European Control Conference, ECC 2009 Budapest, Hungary August | |
| Basile, Francesco; Chiacchio, Pasquale; D., Teta | |
| Versione online | |
| Codice identificativo SCOPUS: 2-s2.0-84955187097 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 2009 | |
| Contributo in Atti di convegno | |
| Fault diagnosis and prognosis in Petri Nets by using a single generalized marking estimation. In: IFAC Proceedings Volumes (IFAC-PapersOnline) IFAC Pag.1396-1401 ISBN:9783902661463 | |
| 7th IFAC International Symposium on Fault Detection, Supervision and Safety of Technical Systems, SAFEPROCESS'09 Barcelona; Spain 30 June 2009 - 3 July 2009 | |
| Basile, Francesco; Chiacchio, Pasquale; G., DE TOMMASI | |
| Digital Object Identifier (DOI): 10.3182/20090630-4-ES-2003.0038 Codice identificativo SCOPUS: 2-s2.0-79960917140 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 2009 | |
| Contributo in Atti di convegno | |
| Online Diagnosis of Discrete Events Systems based on Petri Nets and Integer Linear Programming. In: IFAC Proceedings Volumes (IFAC-PapersOnline) IFAC Vol.2 (PART 1), Pag.111-116 ISBN:9783902661449 | |
| 2nd IFAC Workshop on Dependable Control of Discrete Systems, DCDS'09 Bari, Italy June | |
| Basile, Francesco; Chiacchio, Pasquale; G., DE TOMMASI | |
| Versione online | |
| Digital Object Identifier (DOI): 10.3182/20090610-3-IT-4004.00024 Codice identificativo SCOPUS: 2-s2.0-79960961715 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 2009 | |
| Contributo in Atti di convegno | |
| Improving real-time identification of Petri Nets using timing information. In: ETFA 2009 - 2009 IEEE Conference on Emerging Technologies and Factory Automation IEEE Pag.1-8 ISBN:9781424427277; 9781424427284 | |
| 2009 IEEE Conference on Emerging Technologies and Factory Automation Mallorca, Spain September | |
| Basile, Francesco; Chiacchio, Pasquale; G., DE TOMMASI | |
| Digital Object Identifier (DOI): 10.1109/ETFA.2009.5346994 Codice identificativo ISI: WOS:000355314000007 Codice identificativo SCOPUS: 2-s2.0-77949891624 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 2009 | |
| Contributo in Atti di convegno | |
| An Approach to Control Generalized Warehouse. In: ETFA 2009 - 2009 IEEE Conference on Emerging Technologies and Factory Automation IEEE Pag.1-8 ISBN:9781424427284 | |
| 14h IEEE International Conference on Emerging Technologies and Factory Automation Mallorca September | |
| Basile, Francesco; Chiacchio, Pasquale; DEL GROSSO, Domenico | |
| Versione online | |
| Digital Object Identifier (DOI): 10.1109/ETFA.2009.5347079 Codice identificativo ISI: WOS:000355314000092 Codice identificativo SCOPUS: 2-s2.0-77949907787 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 2009 | |
| Contributo in Atti di convegno | |
| A control oriented model of generalized warehouses based on Colored Timed Petri Nets. In: 2009 IEEE International Conference on Automation Science and Engineering, CASE 2009 IEEE Pag.48-53 ISBN:9781424445783 | |
| 2009 IEEE International Conference on Automation Science and Engineering, CASE 2009 Bangalore, India August | |
| Basile, Francesco; Chiacchio, Pasquale; D., DEL GROSSO | |
| Digital Object Identifier (DOI): 10.1109/COASE.2009.5234109 Codice identificativo ISI: WOS:000276311700010 Codice identificativo SCOPUS: 2-s2.0-70449135197 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 2008 | |
| Contributo in Atti di convegno | |
| Sufficient conditions for diagnosability of Petri Nets. In: Proceedings - 9th International Workshop on Discrete Event Systems, WODES' 08 IEEE Pag.370-375 ISBN:9781424425921 | |
| 9th International Workshop on Discrete Event Systems Goteborg, SWEDEN May | |
| Basile, Francesco; Chiacchio, Pasquale; G., DE TOMMASI | |
| Digital Object Identifier (DOI): 10.1109/WODES.2008.4605974 Codice identificativo ISI: WOS:000259182200061 Codice identificativo SCOPUS: 2-s2.0-53149143525 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 2008 | |
| Contributo in Atti di convegno | |
| Modelling automation systems by UML and Petri Nets. In: Proc. of 9th International Workshop on Discrete Event Systems, WODES' 08 IEEE Pag.308-313 ISBN:9781424425921 | |
| 9th International Workshop on Discrete Event Systems Goteborg, SWEDEN May | |
| Basile, Francesco; Chiacchio, Pasquale; DEL GROSSO, Domenico | |
| Digital Object Identifier (DOI): 10.1109/WODES.2008.4605964 Codice identificativo ISI: WOS:000259182200051 Codice identificativo SCOPUS: 2-s2.0-53149140257 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 2008 | |
| Contributo in Atti di convegno | |
| Some new results on supervisory control of Petri Nets with decentralized monitor places. In: IFAC Proceedings 17th World Congress, International Federation of Automatic Control, IFAC IFAC Vol.17, Pag.531-536 | |
| 17th World Congress, International Federation of Automatic Control, IFAC COEX, Korea, South 6 July 2008 through 11 July 2008 | |
| Basile, Francesco; A., Giua; C., Seatzu | |
| Digital Object Identifier (DOI): 10.3182/20080706-5-KR-1001.1990 Codice identificativo SCOPUS: 2-s2.0-79961019869 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 2008 | |
| Contributo in Atti di convegno | |
| Online diagnosis of discrete event systems based on Petri Nets. In: Proceedings - 9th International Workshop on Discrete Event Systems, WODES' 08 IEEE Pag.436-442 ISBN:9781424425921 | |
| 9th International Workshop on Discrete Event Systems Goteborg, SWEDEN May | |
| Basile, Francesco; Chiacchio, Pasquale; G., DE TOMMASI | |
| Digital Object Identifier (DOI): 10.1109/WODES.2008.4605986 Codice identificativo ISI: WOS:000259182200073 Codice identificativo SCOPUS: 2-s2.0-84892039348 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 2008 | |
| Contributo in Atti di convegno | |
| Performing fault diagnosis for PNs using g-markings: a benchmark case. In: Proceedings - 9th International Workshop on Discrete Event Systems, WODES' 08 IEEE Pag.137-143 ISBN:9781424425921 | |
| 9th International Workshop on Discrete Event Systems Goteborg, SWEDEN May | |
| Basile, Francesco; Chiacchio, Pasquale; G., DE TOMMASI; DEL GROSSO, Domenico | |
| Digital Object Identifier (DOI): 10.1109/WODES.2008.4605935 Codice identificativo ISI: WOS:000259182200022 Codice identificativo SCOPUS: 2-s2.0-53149105892 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 2008 | |
| Contributo in Atti di convegno | |
| UML-based modeling and model-driven development of distributed control systems. In: (2008) IEEE Symposium on Emerging Technologies and Factory Automation, ETFA IEEE Pag.1120-1127 ISBN:9781424415069 | |
| (2008) IEEE Symposium on Emerging Technologies and Factory Automation, ETFA Hamburg, Germany September | |
| Basile, Francesco; Chiacchio, Pasquale; DEL GROSSO, Domenico | |
| Digital Object Identifier (DOI): 10.1109/ETFA.2008.4638538 Codice identificativo ISI: WOS:000260495500181 Codice identificativo SCOPUS: 2-s2.0-56349124676 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 2007 | |
| Contributo in Atti di convegno | |
| Supervisory Control of Petri Nets with Decentralized Monitor Places. In: 2007 American Control Conference IEEE Pag.4957-4962 ISBN:1424409888 | |
| 26th American Control Conference (ACC'07) New York Luglio 2007 | |
| Basile, Francesco; A., Giua; C., Seatzu | |
| Digital Object Identifier (DOI): 10.1109/ACC.2007.4282611 Codice identificativo ISI: WOS:000252258801238 Codice identificativo SCOPUS: 2-s2.0-44449173797 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 2007 | |
| Contributo in Atti di convegno | |
| Improving on-line fault diagnosis for discrete event systems using time. In: Proceedings of the 3rd IEEE International Conference on Automation Science and Engineering, IEEE CASE 2007 Institute of Electrical and Electronics Engineers ( IEEE ) Pag.26-32 ISBN:9781424411542 | |
| 3rd IEEE International Conference on Automation Science and Engineering, IEEE CASE 2007 Scottsdale, AZ, USA September | |
| Basile, Francesco; Chiacchio, Pasquale; Gianmaria De, Tommasi | |
| Digital Object Identifier (DOI): 10.1109/COASE.2007.4341735 Codice identificativo ISI: WOS:000256345500068 Codice identificativo SCOPUS: 2-s2.0-44449107226 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 2007 | |
| Contributo in Atti di convegno | |
| An efficient approach for on-line diagnosis of discrete event systems. In: 2007 Mediterranean Conference on Control & Automation Institute of Electrical and Electronics Engineers ( IEEE ) Pag.1-6 ISBN:9781424412822 | |
| 2007 Mediterranean Conference on Control and Automation, MED07 Athens, Greece July | |
| Basile, Francesco; Chiacchio, Pasquale; Gianmaria De, Tommasi | |
| Digital Object Identifier (DOI): 10.1109/MED.2007.4433769 Codice identificativo ISI: WOS:000257100800207 Codice identificativo SCOPUS: 2-s2.0-84896060030 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 2007 | |
| Contributo in Atti di convegno | |
| A Hybrid Model for Model Predictive Control of Urban Traffic. In: Proccedings of Eurpean control Conference 2007 (ECC07) EUCA Pag.1823-1830 ISBN:9789608902855 | |
| 9th European Control Conference, ECC 2007 Kos, Greece July | |
| Basile, Francesco; Chiacchio, Pasquale; Teta, D. | |
| Versione online | |
| Codice identificativo SCOPUS: 2-s2.0-84927747671 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 2007 | |
| Contributo in Atti di convegno | |
| Decentralized Supervisory Control of Petri Nets with Monitor Places. In: Proceedings of the 3rd IEEE International Conference on Automation Science and Engineering (CASE'07) IEEE Pag.7-13 ISBN:9781424411542 | |
| 3rd IEEE International Conference on Automation Science and Engineering, IEEE CASE 2007 Scottsdale, AZ, USA September | |
| Basile, Francesco; A., Giua; C., Seatzu | |
| Digital Object Identifier (DOI): 10.1109/COASE.2007.4341728 Codice identificativo ISI: WOS:000256345500061 Codice identificativo SCOPUS: 2-s2.0-44449109271 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 2006 | |
| Contributo in Atti di convegno | |
| IEC 61131-3 Based Implementation of PN Supervisors. In: IFAC Proceedings Volumes, Volume 39, Issue 3 IFAC Pag.319-324 ISBN:9783902661043 | |
| 12th IFAC Symposium on Information Control Problems in Manufacturing, INCOM 2006 Saint-Etienne, France May | |
| Basile, Francesco; Chiacchio, Pasquale; D., Teta | |
| Versione online | |
| Codice identificativo SCOPUS: 2-s2.0-84883994415 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 2006 | |
| Contributo in Atti di convegno | |
| Design and Implementation of an Hydraulic Actuator Controller. Pag.--- | |
| International Congress ANIPLA 2006 Roma, Italia | |
| Basile, Francesco; Chiacchio, Pasquale; DEL GROSSO, Domenico | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 2006 | |
| Contributo in Atti di convegno | |
| Applications of RFID technology in the warehouses management. Pag.--- | |
| International Congress ANIPLA 2006 Roma, Italia | |
| Basile, Francesco; Chiacchio, Pasquale; G., DE TOMMASI; DEL GROSSO, Domenico | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 2005 | |
| Contributo in Atti di convegno | |
| Feedback control logic for backward conflict free choice nets. In: IFAC Proceedings Volumes (IFAC-PapersOnline) IFAC Vol.16, Pag.31-36 ISBN:008045108X; 978-008045108-4 | |
| 16th Triennial World Congress of International Federation of Automatic Control, IFAC 2005 Prague; Czech Republic July 2005 | |
| Basile, Francesco; Carbone, Ciro; Chiacchio, Pasquale | |
| Versione online | |
| Digital Object Identifier (DOI): 10.3182/20050703-6-CZ-1902.00290 Codice identificativo SCOPUS: 2-s2.0-79960731406 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 2005 | |
| Contributo in Atti di convegno | |
| An Approach to Control Automated Warehouse Systems. In: IMACS Multiconference Computational Engineering in Systems Applications (CESA'03) IEEE Pag.1-7 ISBN:2-9512309-5-8 | |
| Multiconference Computational Engineering in Systems Applications (CESA'03) Lille, France July 9-11 | |
| Basile, Francesco; Chiacchio, Pasquale; Carbone, Ciro | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 2005 | |
| Contributo in Atti di convegno | |
| Un Setup sperimentale per il controllo supervisivo di sistemi di automazione industriale. Pag.--- | |
| 49esimo Convegno Annuale ANIPLA, Napoli. Ottobre | |
| Basile, Francesco; Chiacchio, Pasquale; A., Paravia; P., Rubino; D., Teta | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 2005 | |
| Contributo in Atti di convegno | |
| Decentralized Supervisory Control of Petri Nets with Monitor Places. In: Proc. of 10th IEEE International Conference on Emerging Technologies and Factory Automation, ETFA 2005 IEEE Pag.269-272 ISBN:9780780394025 | |
| 10th IEEE International Conference on Emerging Technologies and Factory Automation, ETFA 2005 Catania, Italy September | |
| Basile, Francesco; A., Giua; C., Seatzu | |
| Digital Object Identifier (DOI): 10.1109/ETFA.2005.1612532 Codice identificativo ISI: WOS:000238575500038 Codice identificativo SCOPUS: 2-s2.0-33847247252 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 2004 | |
| Contributo in Atti di convegno | |
| A Hybrid Model for Urban Traffic Control. In: Proc. of 2004 IEEE International Conference on Systems, Man and Cybernetics, SMC 2004 IEEE Pag.1795-1800 ISBN:0780385667 | |
| 2004 IEEE International Conference on Systems, Man and Cybernetics, SMC 2004 The Hague, Netherlands October | |
| C. C., Avram; Basile, Francesco; R. K., Boel; C., Carbone; Chiacchio, Pasquale | |
| Digital Object Identifier (DOI): 10.1109/ICSMC.2004.1399907 Codice identificativo ISI: WOS:000226863300304 Codice identificativo SCOPUS: 2-s2.0-15744403221 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 2004 | |
| Contributo in Atti di convegno | |
| PNetLab: A Tool for the Simulation, Analysis and Control of Discrete Event Systems based on Petri Nets. Pag.217-222 | |
| 7th IFAC International Workshop on Discrete Event Systems (WODES' 04), Reims, Francia Ottobre | |
| Basile, Francesco; C., Carbone; Chiacchio, Pasquale | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 2003 | |
| Contributo in Atti di convegno | |
| An approach to enforce disjunction of GMECs on controlled Petri Nets. In: Proceedings of the IEEE International Conference on Systems, Man and Cybernetics (SMC 2003) IEEE Pag.1852-1859 ISBN:0780379527 | |
| IEEE International Conference on Systems, Man and Cybernetics Washington, DC, United States October | |
| Basile, Francesco; Chiacchio, Pasquale; C., Carbone | |
| Versione online | |
| Digital Object Identifier (DOI): 10.1109/ICSMC.2003.1244681 Codice identificativo ISI: WOS:000186578600301 Codice identificativo SCOPUS: 2-s2.0-0242408660 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 2003 | |
| Contributo in Atti di convegno | |
| Petri net controllers to enforce disjunction of GMECs. In: Proceedings - IEEE International Conference on Robotics and Automation 2003 (ICRA 03) IEEE Pag.1440-1445 ISBN:0780377362 | |
| 20th IEEE International Conference on Robotics and Automation (ICRA) TAIPEI, TAIWAN September | |
| Basile, Francesco; Chiacchio, Pasquale; C., Carbone | |
| Versione online | |
| Digital Object Identifier (DOI): 10.1109/ROBOT.2003.1241794 Codice identificativo ISI: WOS:000187419900231 Codice identificativo SCOPUS: 2-s2.0-0345307588 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 2003 | |
| Contributo in Atti di convegno | |
| A reachable throughput upper bound for live and safe free choice nets via T-invariants. In: Proc. of European Control Conference 2003 (ECC 2003) IEEE Pag.624-629 ISBN:978-395241737-9 | |
| European Control Conference (ECC'03), Cambridge, UK Cambridge, United Kingdom September | |
| Basile, Francesco; C., Carbone; Chiacchio, Pasquale | |
| Versione online | |
| Codice identificativo SCOPUS: 2-s2.0-84949090039 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 2003 | |
| Contributo in Atti di convegno | |
| Observer-based state-feedback control of timed Petri nets with deadlock recovery: theory and implementation. In: Proceedings of IMACS Multiconference on Computational Engineering in Systems Applications (CESA'03) IMACS Pag.1-8 ISBN:2951230958 | |
| IMACS Multiconference on "Computational Engineering in Systems Applications", CESA 2003 Lille, France July | |
| Basile, Francesco; A., Giua; C., Seatzu | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 2002 | |
| Contributo in Atti di convegno | |
| Petri net control using event observers and timing information. In: Proceedings of the 41st IEEE Conference on Decision and Control 2002 (CDC02) IEEE Pag.787-792 ISBN:0780375165 | |
| 41st IEEE Conference on Decision and Control Las Vegas, NV, United States December | |
| Basile, Francesco; A., Giua; C., Seatzu | |
| Versione online | |
| Digital Object Identifier (DOI): 10.1109/CDC.2002.1184601 Codice identificativo ISI: WOS:000181352300145 Codice identificativo SCOPUS: 2-s2.0-0036990677 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 2002 | |
| Contributo in Atti di convegno | |
| Crane and shuttle optimization in warehousing systems. In: Proceedings - IEEE International Conference on Robotics and Automation 2002 (ICRA02) IEEE Pag.4039-4045 ISBN:0780372727 | |
| 2002 IEEE INTERNATIONAL CONFERENCE ON ROBOTICS AND AUTOMATION Washington, DC, USA May | |
| F., Amato; Basile, Francesco; Chiacchio, Pasquale | |
| Versione online | |
| Digital Object Identifier (DOI): 10.1109/ROBOT.2002.1014370 Codice identificativo ISI: WOS:000178573200639 Codice identificativo SCOPUS: 2-s2.0-0036057070 | |
| Visualizza sul Database dei Prodotti (IRIS) |
17857Control and Simulation of a Modern Automated Warehouse System Via a Colored Timed Petri Net Approach
| 2002 | |
| Contributo in Atti di convegno | |
| Control and Simulation of a Modern Automated Warehouse System Via a Colored Timed Petri Net Approach. In: Proc. 8th IEEE International Conference on Methods and Models in Automation and Robotics (MMAR) Pag.1079-1084 | |
| 8th IEEE International Conf. on Methods and Models in Automation and Robotics Szczecin, Polonia 2002 | |
| Basile, Francesco; Carbone, Ciro; Chiacchio, Pasquale; Siciliano, Bruno | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 2001 | |
| Contributo in Atti di convegno | |
| An Optimal Dual Command Policy for Warehousing Systems Control: a Case Study. In: Proc. of 9th IEEE Mediterranean Conference on Control and Automation (MED 01), Dubrovnik, Croazia KoREMA Pag.1-6 ISBN:9536037343 | |
| 9th Mediterranean Conference on Control and Automation, MED Dubrovnik, CROATIA June | |
| F., Amato; G., Ambrosino; Basile, Francesco | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 2001 | |
| Contributo in Atti di convegno | |
| Deadlock recovery of controlled Petri net models using observers. In: Proceedings. 2001 8th IEEE International Conference on Emerging Technologies and Factory Automation, 2001 (ETFA01) IEEE Pag.441-449 ISBN:0780372417 | |
| 8th International Conference on Emerging Technologies and Factory Automation (ETFA 2001) Antibes-Juan les pins, France October | |
| Basile, Francesco; Chiacchio, Pasquale; A., Giua; C., Seatzu | |
| Versione online | |
| Digital Object Identifier (DOI): 10.1109/ETFA.2001.997718 Codice identificativo ISI: WOS:000176706000054 Codice identificativo SCOPUS: 2-s2.0-0035557365 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 2001 | |
| Contributo in Atti di convegno | |
| Modeling of AS/RS via Coloured Petri Nets. In: Proceedings of 2001 IEEE/ASME International Conference on Advanced Intelligent Mechatronics, 2001 IEEE Pag.1029-1034 ISBN:0780367367 | |
| 2001 IEEE/ASME International Conference on Advanced Intelligent Mechatronics Proceedings Como, Italy July | |
| Basile, Francesco; C., Carbone; Chiacchio, Pasquale | |
| Versione online | |
| Digital Object Identifier (DOI): 10.1109/AIM.2001.936830 Codice identificativo ISI: WOS:000171467700178 Codice identificativo SCOPUS: 2-s2.0-0034858525 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 2001 | |
| Contributo in Atti di convegno | |
| Optimal Control of Warehousing Systems with Simultaneous Crane and Shuttle Optimization. In: Proc. of IEEE 2011 Symposium on Emerging Technologies and Factory Automation (ETFA01) IEEE Pag.95-104 ISBN:0780372417 | |
| 8th International Conference on Emerging Technologies and Factory Automation (ETFA 2001) Antibes-Juan les pins, France October | |
| F., Amato; Basile, Francesco | |
| Versione online | |
| Digital Object Identifier (DOI): 10.1109/ETFA.2001.997675 Codice identificativo ISI: WOS:000176706000012 Codice identificativo SCOPUS: 2-s2.0-0035557153 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 2000 | |
| Contributo in Atti di convegno | |
| Petri net monitor design with control and observation costs. In: Proceedings of the 39th IEEE Conference on Decision and Control IEEE Vol.1, Pag.424-429 ISBN:0780366387 | |
| IEEE Conference on Decision and Control (CDC'00) Sidney, Australia December | |
| Basile, Francesco; Chiacchio, Pasquale; A., Giua | |
| Digital Object Identifier (DOI): 10.1109/CDC.2000.912800 Codice identificativo ISI: WOS:000172029000078 Codice identificativo SCOPUS: 2-s2.0-0034439604 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 1999 | |
| Contributo in Atti di convegno | |
| Specification and modeling of flexible manufacturing systems using behaviours and Petri nets building blocks. In: Proceedings of the 1999 International Symposium on Software Engineering for Parallel and Disributed Systems - PDSE'99 IEEE Pag.110-123 ISBN:0769501915 | |
| 1999 International Symposium on Software Engineering for Parallel and Disributed Systems - PDSE'99 Los Angeles, CA, USA May 1999 | |
| Basile, Francesco; Chiacchio, Pasquale; V., Vittorini; N., Mazzocca | |
| Versione online | |
| Digital Object Identifier (DOI): 10.1109/PDSE.1999.779743 Codice identificativo ISI: WOS:000081696600010 Codice identificativo SCOPUS: 2-s2.0-0032593050 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 1998 | |
| Contributo in Atti di convegno | |
| Supervisory Control of Petri NetsBased on Suboptimal Monitor Places. In: IEE International Workshop on Discrete Event Systems (WODES 98) IEE Pag.85-87 ISBN:0852967101 | |
| International Workshop on Discrete Event Systems (WODES 98) Cagliari, Italy August | |
| Basile, Francesco; Chiacchio, Pasquale; A., Giua | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 1998 | |
| Contributo in Atti di convegno | |
| On the choice of suboptimal monitors for supervisory control of Petri nets. In: Proceedings of the 1998 IEEE International Conference on Systems, Man and Cybernetics IEEE Vol.1, Pag.752-757 ISBN:0780347781 | |
| 1998 IEEE International Conference on Systems, Man, and Cybernetics (SMC'98) San Diego, CA, USA October | |
| Basile, Francesco; Chiacchio, Pasquale; A., Giua | |
| Versione online | |
| Digital Object Identifier (DOI): 10.1109/ICSMC.1998.725504 Codice identificativo ISI: WOS:000077033700130 Codice identificativo SCOPUS: 2-s2.0-0032258781 | |
| Visualizza sul Database dei Prodotti (IRIS) |
