Francesco BASILE | Pubblicazioni
Francesco BASILE Pubblicazioni
| 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) |
| 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) |
| 2023 | |
| Articolo in rivista | |
| Assessment of initial-state-opacity in live and bounded labeled Petri net systems via optimization techniques AUTOMATICA. Vol. 152. Pag.1-9 ISSN:0005-1098. | |
| Basile, F.; De Tommasi, G.; Motta, C. | |
| Versione online | |
| Digital Object Identifier (DOI): 10.1016/j.automatica.2023.110911 Codice identificativo ISI: WOS:000962399500001 Codice identificativo SCOPUS: 2-s2.0-85149759121 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 2023 | |
| Articolo in rivista | |
| Validation of Industrial Automation Systems Using a Timed Model of System Requirements IEEE TRANSACTIONS ON CONTROL SYSTEMS TECHNOLOGY. Vol. 31. Pag.130-143 ISSN:1063-6536. | |
| Basile, F.; Ferrara, L. | |
| Versione online | |
| Digital Object Identifier (DOI): 10.1109/TCST.2022.3173890 Codice identificativo ISI: WOS:000800817200001 Codice identificativo SCOPUS: 2-s2.0-85130445341 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 2022 | |
| Articolo in rivista | |
| Necessary and Sufficient Condition to Assess Initial-State-Opacity in Live Bounded and Reversible Discrete Event Systems IEEE CONTROL SYSTEMS LETTERS. Vol. 6. Pag.2683-2688 ISSN:2475-1456. | |
| Basile, F.; De Tommasi, G.; Motta, C.; Sterle, C. | |
| Versione online | |
| Digital Object Identifier (DOI): 10.1109/LCSYS.2022.3174521 Codice identificativo ISI: WOS:000799615700001 Codice identificativo SCOPUS: 2-s2.0-85131340396 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 2022 | |
| Articolo in rivista | |
| Assessment of multilevel intransitive non-interference for Discrete Event Systems IEEE CONTROL SYSTEMS LETTERS. Vol. 6. Pag.349-354 ISSN:2475-1456. | |
| Basile, F.; De Tommasi, G. | |
| Versione online | |
| Digital Object Identifier (DOI): 10.1109/LCSYS.2021.3075658 Codice identificativo ISI: WOS:000668851700026 Codice identificativo SCOPUS: 2-s2.0-85105095691 | |
| Visualizza sul Database dei Prodotti (IRIS) |
221538An optimization-based approach to assess non-interference in labeled and bounded Petri net systems
| 2022 | |
| Articolo in rivista | |
| An optimization-based approach to assess non-interference in labeled and bounded Petri net systems NONLINEAR ANALYSIS. Vol. 44. Pag.1-23 ISSN:1751-570X. | |
| Basile, F.; Boccia, M.; De Tommasi, G.; Motta, C.; Sterle, C. | |
| Versione online | |
| Digital Object Identifier (DOI): 10.1016/j.nahs.2022.101153 Codice identificativo ISI: WOS:000782642200001 Codice identificativo SCOPUS: 2-s2.0-85123029148 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 2022 | |
| Articolo in rivista | |
| Residuals-based fault diagnosis of industrial automation systems using timed and untimed Interpreted Petri nets CONTROL ENGINEERING PRACTICE. Vol. 129. Pag.1-11 ISSN:0967-0661. | |
| Basile, F.; Ferrara, L. | |
| Versione online | |
| Digital Object Identifier (DOI): 10.1016/j.conengprac.2022.105361 Codice identificativo ISI: WOS:000887325700002 Codice identificativo SCOPUS: 2-s2.0-85139735641 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 2022 | |
| Articolo in rivista | |
| Supervisory Control of Timed Discrete-Event Systems With Logical and Temporal Specifications IEEE TRANSACTIONS ON AUTOMATIC CONTROL. Vol. 67. Pag.2800-2815 ISSN:0018-9286. | |
| Basile, F.; Cordone, R.; Piroddi, L. | |
| Versione online | |
| Digital Object Identifier (DOI): 10.1109/TAC.2021.3093618 Codice identificativo ISI: WOS:000803343800012 Codice identificativo SCOPUS: 2-s2.0-85112218103 | |
| 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) |
| 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) |
| 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 | |
| Visualizza sul Database dei Prodotti (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 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 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 | |
| Visualizza sul Database dei Prodotti (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 | |
| 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) |
| 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 | |
| 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) |
| 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 | |
| Visualizza sul Database dei Prodotti (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 | |
| 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 | |
| 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) |
| 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) |
| 2019 | |
| Articolo in rivista | |
| Some Remarks on 'State Estimation and Fault Diagnosis of Labeled Time Petri Net Systems with Unobservable Transitions' IEEE TRANSACTIONS ON AUTOMATIC CONTROL. Vol. 64. Pag.5253-5259 ISSN:0018-9286. | |
| He, Z.; Li, Z.; Giua, A.; Basile, F.; Seatzu, C. | |
| Versione online | |
| Digital Object Identifier (DOI): 10.1109/TAC.2019.2910168 Codice identificativo ISI: WOS:000502278300041 Codice identificativo SCOPUS: 2-s2.0-85077397483 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 2019 | |
| Articolo in rivista | |
| An auction-based approach to control automated warehouses using smart vehicles CONTROL ENGINEERING PRACTICE. Vol. 90. Pag.285-300 ISSN:0967-0661. | |
| Basile, F.; Chiacchio, P.; Di Marino, E. | |
| Versione online | |
| Digital Object Identifier (DOI): 10.1016/j.conengprac.2019.06.005 Codice identificativo ISI: WOS:000483642700023 Codice identificativo SCOPUS: 2-s2.0-85069598162 | |
| 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 | |
| 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) |
| 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) |
| 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 | |
| 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 | |
| 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 | |
| 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 | |
| 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) |
| 2017 | |
| Articolo in rivista | |
| Diagnosability Analysis of Labeled Time Petri Net Systems IEEE TRANSACTIONS ON AUTOMATIC CONTROL. Vol. 62. Pag.1384-1396 ISSN:0018-9286. | |
| Basile, Francesco; Cabasino, Maria Paola; Seatzu, Carla | |
| Versione online | |
| Digital Object Identifier (DOI): 10.1109/TAC.2016.2588736 Codice identificativo ISI: WOS:000395924300026 Codice identificativo SCOPUS: 2-s2.0-85014992024 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 2017 | |
| Articolo in rivista | |
| Identification of Time Petri Net Models IEEE TRANSACTIONS ON SYSTEMS, MAN, AND CYBERNETICS. SYSTEMS. Pag.2586-2600 ISSN:2168-2216. | |
| Basile, Francesco; Chiacchio, Pasquale; Coppola, Jolanda | |
| Versione online | |
| Digital Object Identifier (DOI): 10.1109/TSMC.2016.2523929 Codice identificativo ISI: WOS:000411097600013 Codice identificativo SCOPUS: 2-s2.0-85029517890 | |
| 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 | |
| Articolo in rivista | |
| A Novel Model Repair Approach of Timed Discrete-Event Systems with Anomalies IEEE TRANSACTIONS ON AUTOMATION SCIENCE AND ENGINEERING. Vol. 13. Pag.1541-1556 ISSN:1545-5955. | |
| Basile, Francesco; Chiacchio, Pasquale; Coppola, Jolanda | |
| Versione online | |
| Digital Object Identifier (DOI): 10.1109/TASE.2016.2601418 Codice identificativo ISI: WOS:000385723800013 Codice identificativo SCOPUS: 2-s2.0-84986907294 | |
| 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) |
| 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 | |
| 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) |
| 2015 | |
| Articolo in rivista | |
| A branch and bound approach for the design of decentralized supervisors in Petri net models AUTOMATICA. Vol. 52. Pag.322-333 ISSN:0005-1098. | |
| Basile, Francesco; Roberto, Cordone; Luigi, Piroddi | |
| Versione online | |
| Digital Object Identifier (DOI): 10.1016/j.automatica.2014.12.004 Codice identificativo ISI: WOS:000350780100043 Codice identificativo SCOPUS: 2-s2.0-84922455007 | |
| Visualizza sul Database dei Prodotti (IRIS) |
65614State Estimation and Fault Diagnosis of Labeled Time Petri Net Systems with Unobservable Transitions
| 2015 | |
| Articolo in rivista | |
| State Estimation and Fault Diagnosis of Labeled Time Petri Net Systems with Unobservable Transitions IEEE TRANSACTIONS ON AUTOMATIC CONTROL. Vol. 60. Pag.997-1009 ISSN:0018-9286. | |
| Basile, Francesco; Cabasino, Maria Paola; Seatzu, Carla | |
| Versione online | |
| Digital Object Identifier (DOI): 10.1109/TAC.2014.2363916 Codice identificativo ISI: WOS:000351731600008 Codice identificativo SCOPUS: 2-s2.0-84926369195 | |
| 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 | |
| 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 | |
| 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 | |
| Articolo in rivista | |
| Automated synthesis of hybrid Petri net models for robotic cells in the aircraft industry CONTROL ENGINEERING PRACTICE. Vol. 31. Pag.35-49 ISSN:0967-0661. | |
| Basile, Francesco; Fabrizio, Caccavale; Chiacchio, Pasquale; Coppola, Jolanda; Marino, Alessandro; Gerbasio, Diego | |
| Versione online | |
| Digital Object Identifier (DOI): 10.1016/j.conengprac.2014.05.008 Codice identificativo ISI: WOS:000342273000004 Codice identificativo SCOPUS: 2-s2.0-84906490645 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 2014 | |
| Articolo in rivista | |
| Supervisory Control for State-Vector Transition Models - A Unified Approach IEEE TRANSACTIONS ON AUTOMATION SCIENCE AND ENGINEERING. Vol. 11. Pag.33-47 ISSN:1545-5955. | |
| Bengt, Lennartson; Basile, Francesco; Sajed, Miremadi; Zhennan, Fei; Mona Noori, Hosseini; Martin, Fabian; Knut, Akesson | |
| Versione online | |
| Digital Object Identifier (DOI): 10.1109/TASE.2013.2291115 Codice identificativo ISI: WOS:000329584200004 Codice identificativo SCOPUS: 2-s2.0-84892443469 | |
| 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 | |
| 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) |
| 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 | |
| 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) |
| 2013 | |
| Articolo in rivista | |
| On the Implementation of Industrial Automation Systems based on PLC IEEE TRANSACTIONS ON AUTOMATION SCIENCE AND ENGINEERING. Vol. 10. Pag.990-1003 ISSN:1545-5955. | |
| Basile, Francesco; Chiacchio, Pasquale; Gerbasio, Diego | |
| Digital Object Identifier (DOI): 10.1109/TASE.2012.2226578 Codice identificativo ISI: WOS:000325681600017 Codice identificativo SCOPUS: 2-s2.0-84885639072 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 2013 | |
| Articolo in rivista | |
| Integrated design of optimal supervisors for the enforcement of static and behavioral specifications in Petri net models AUTOMATICA. Vol. 49. Pag.3432-3439 ISSN:0005-1098. | |
| Basile, Francesco; R., Cordone; L., Piroddi | |
| Digital Object Identifier (DOI): 10.1016/j.automatica.2013.08.018 Codice identificativo ISI: WOS:000326553300032 Codice identificativo SCOPUS: 2-s2.0-84885640738 | |
| Visualizza sul Database dei Prodotti (IRIS) |
58081A decentralized kinematic control architecture for collaborative and cooperative multi-arm systems
| 2013 | |
| Articolo in rivista | |
| A decentralized kinematic control architecture for collaborative and cooperative multi-arm systems MECHATRONICS. Pag.1100-1112 ISSN:0957-4158. | |
| Basile, Francesco; Fabrizio, Caccavale; Chiacchio, Pasquale; Coppola, Jolanda; Marino, Alessandro | |
| Versione online | |
| Digital Object Identifier (DOI): 10.1016/j.mechatronics.2013.08.008 Codice identificativo ISI: WOS:000328659200022 Codice identificativo SCOPUS: 2-s2.0-84888325062 | |
| 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 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 | |
| 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 | |
| Articolo in rivista | |
| A Hybrid Model of Complex Automated Warehouse Systems—Part I: Modeling and Simulation IEEE TRANSACTIONS ON AUTOMATION SCIENCE AND ENGINEERING. Vol. 9. Pag.640-653 ISSN:1545-5955. | |
| Basile, Francesco; Chiacchio, Pasquale; Coppola, Jolanda | |
| Versione online | |
| Digital Object Identifier (DOI): 10.1109/TASE.2012.2215322 Codice identificativo ISI: WOS:000309842500003 Codice identificativo SCOPUS: 2-s2.0-84867402638 | |
| Visualizza sul Database dei Prodotti (IRIS) |
49946A Hybrid Model of Complex Automated Warehouse Systems—Part II: Analysis and Experimental Results
| 2012 | |
| Articolo in rivista | |
| A Hybrid Model of Complex Automated Warehouse Systems—Part II: Analysis and Experimental Results IEEE TRANSACTIONS ON AUTOMATION SCIENCE AND ENGINEERING. Vol. 9. Pag.654-668 ISSN:1545-5955. | |
| Basile, Francesco; Chiacchio, Pasquale; Coppola, Jolanda | |
| Versione online | |
| Digital Object Identifier (DOI): 10.1109/TASE.2012.2215323 Codice identificativo ISI: WOS:000309842500004 Codice identificativo SCOPUS: 2-s2.0-84867404135 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 2012 | |
| Articolo in rivista | |
| A hybrid model for real time simulation of urban traffic CONTROL ENGINEERING PRACTICE. Vol. 20. Pag.123-137 ISSN:0967-0661. | |
| Basile, Francesco; Chiacchio, Pasquale; D., Teta | |
| Versione online | |
| Digital Object Identifier (DOI): 10.1016/j.conengprac.2011.10.002 Codice identificativo ISI: WOS:000299987600004 Codice identificativo SCOPUS: 2-s2.0-83355166792 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 2012 | |
| Articolo in rivista | |
| On K-diagnosability of Petri nets via integer linear programming AUTOMATICA. Vol. 48. Pag.2047-2058 ISSN:0005-1098. | |
| Basile, Francesco; Chiacchio, Pasquale; G., De Tommasi | |
| Versione online | |
| Digital Object Identifier (DOI): 10.1016/j.automatica.2012.06.039 Codice identificativo ISI: WOS:000308454100011 Codice identificativo SCOPUS: 2-s2.0-84864986214 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 2012 | |
| Articolo in rivista | |
| A control oriented model for manual-pick warehouses CONTROL ENGINEERING PRACTICE. Vol. 20. Pag.1426-1437 ISSN:0967-0661. | |
| Basile, Francesco; Chiacchio, Pasquale; Domenico Del, Grosso | |
| Versione online | |
| Digital Object Identifier (DOI): 10.1016/j.conengprac.2012.08.008 Codice identificativo ISI: WOS:000310769400015 Codice identificativo SCOPUS: 2-s2.0-84867523138 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 2012 | |
| Articolo in rivista | |
| Task-oriented motion planning for multi-arm robotic systems ROBOTICS AND COMPUTER-INTEGRATED MANUFACTURING. Vol. 28. Pag.569-582 ISSN:0736-5845. | |
| Basile, Francesco; F., Caccavale; Chiacchio, Pasquale; Coppola, Jolanda; C., Curatella | |
| Versione online | |
| Digital Object Identifier (DOI): 10.1016/j.rcim.2012.02.007 Codice identificativo ISI: WOS:000304797400001 Codice identificativo SCOPUS: 2-s2.0-84859049364 | |
| 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 | |
| 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) |
| 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 | |
| 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) |
| 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) |
| 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 | |
| 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 | |
| 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 volume (Capitolo o Saggio) | |
| Research Activities at the University of Salerno. In Fabrizio Caccavale, Pasquale Chiacchio Proceedings of the 1st PRISMA workshop Pag.15-54 Fisciano (SA) CUES. ISBN:9788895028811 | |
| Basile, Francesco; Chiacchio, Pasquale; Coppola, Jolanda; Gerbasio, Diego | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 2011 | |
| Contributo in volume (Capitolo o Saggio) | |
| The AIRobots (Innovative aerial service robots for remote inspections by contact) Project. In Fabrizio Caccavale, Pasquale Chiacchio Proceedings of the 1st PRISMA workshop Pag.205-225 Fisciano (SA) CUES. ISBN:9788895028811 | |
| Vincenzo, Lippiello; Francesco, Donnarumma; Giuseppe, Loianno; Bruno, Siciliano; Alberto, Finzi; Basile, Francesco; Chiacchio, Pasquale; Lorenzo, Marconi | |
| 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) |
| 2010 | |
| Contributo in volume (Capitolo o Saggio) | |
| Progress in PLC programming for Automation Systems Control. In F. Basile, P. Chiacchio Control Themes in Hyperflexible Robotic Workcells Pag.37-56 Fisciano (SA) CUES. ISBN:9788895028392 | |
| Basile, Francesco; Chiacchio, Pasquale; Gerbasio, Diego | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 2010 | |
| Curatela | |
| Curatore/i di Control Themes in Hyperflexible Robotic Workcells. Di Basile, Francesco; Chiacchio, Pasquale Fisciano (SA) CUES ISBN:9788895028392 | |
| Basile, Francesco; Chiacchio, Pasquale | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 2009 | |
| Articolo in rivista | |
| Closed-loop Live Marked Graphs under Generalized Mutual Exclusion Constraint Enforcement DISCRETE EVENT DYNAMIC SYSTEMS. Vol. 19. Pag.1-30 ISSN:0924-6703. | |
| Basile, Francesco; L., Recalde; Chiacchio, Pasquale; M., Silva | |
| Digital Object Identifier (DOI): 10.1007/s10626-008-0050-7 Codice identificativo ISI: WOS:000262671400001 Codice identificativo SCOPUS: 2-s2.0-58849116298 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 2009 | |
| Articolo in rivista | |
| An Efficient Approach for Online Diagnosis of Discrete Event Systems IEEE TRANSACTIONS ON AUTOMATIC CONTROL. Vol. 54. Pag.748-759 ISSN:0018-9286. | |
| Basile, Francesco; Chiacchio, Pasquale; DE TOMMASI, G. | |
| Digital Object Identifier (DOI): 10.1109/TAC.2009.2014932 Codice identificativo ISI: WOS:000265437700006 Codice identificativo SCOPUS: 2-s2.0-67349219356 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 2009 | |
| Articolo in rivista | |
| A two-stage modelling architecture for distributed control of real-time industrial systems: Application of UML and PetriNet COMPUTER STANDARDS & INTERFACES. Vol. 31. Pag.528-538 ISSN:0920-5489. | |
| Basile, Francesco; Chiacchio, Pasquale; DEL GROSSO, Domenico | |
| Digital Object Identifier (DOI): 10.1016/j.csi.2008.03.021 Codice identificativo ISI: WOS:000263995600002 Codice identificativo SCOPUS: 2-s2.0-59049103798 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 2009 | |
| Articolo in rivista | |
| Implementation of Hydraulic Servo Controllers with Only Position Measure INTERNATIONAL JOURNAL OF ROBOTICS & AUTOMATION. Vol. 24. Pag.20-37 ISSN:0826-8185. | |
| Basile, Francesco; Chiacchio, Pasquale; DEL GROSSO, Domenico | |
| Digital Object Identifier (DOI): 10.2316/Journal.206.2009.1.206-3128 Codice identificativo ISI: WOS:000265068500003 Codice identificativo SCOPUS: 2-s2.0-77950800729 | |
| 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) |
| 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 | |
| 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 | |
| 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 | |
| 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 | |
| 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 | |
| Recensione in rivista | |
| Supervisory control of concurrent systems: a petri net structural approach. Marian V. Iordache and Panos J. Antsaklis, Birkhauser, Boston, 2006. (Book review) INTERNATIONAL JOURNAL OF ROBUST AND NONLINEAR CONTROL. Vol. 19. Pag.1397-1400 ISSN:1049-8923. | |
| Basile, Francesco | |
| Digital Object Identifier (DOI): 10.1002/rnc.1421 | |
| 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) |
| 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) |
| 2007 | |
| Articolo in rivista | |
| Simulation and analysis of discrete-event control systems based on Petri nets using PNetLab CONTROL ENGINEERING PRACTICE. Vol. 15. Pag.241-259 ISSN:0967-0661. | |
| Basile, Francesco; C., Carbone; Chiacchio, Pasquale | |
| Digital Object Identifier (DOI): 10.1016/j.conengprac.2006.07.006 Codice identificativo ISI: WOS:000242760200010 Codice identificativo SCOPUS: 2-s2.0-33750151868 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 2007 | |
| Articolo in rivista | |
| Feedback control logic for backward conflict free choice nets IEEE TRANSACTIONS ON AUTOMATIC CONTROL. Vol. 52. Pag.387-400 ISSN:0018-9286. | |
| Basile, Francesco; Carbone, Ciro; Chiacchio, Pasquale | |
| Versione online | |
| Digital Object Identifier (DOI): 10.1109/TAC.2007.893969 Codice identificativo ISI: WOS:000245149400001 Codice identificativo SCOPUS: 2-s2.0-50249113539 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 2007 | |
| Articolo in rivista | |
| On the Implementation of Supervised Control of Discrete Event Systems IEEE TRANSACTIONS ON CONTROL SYSTEMS TECHNOLOGY. Vol. 15. Pag.725-739 ISSN:1063-6536. | |
| Basile, Francesco; Chiacchio, Pasquale | |
| Digital Object Identifier (DOI): 10.1109/TCST.2006.890281 Codice identificativo ISI: WOS:000247645500012 Codice identificativo SCOPUS: 2-s2.0-34447335336 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 2007 | |
| Articolo in rivista | |
| An optimization approach to Petri net monitor design IEEE TRANSACTIONS ON AUTOMATIC CONTROL. Vol. 52(2). Pag.306-311 ISSN:0018-9286. | |
| Basile, Francesco; Chiacchio, Pasquale; Alessandro, Giua | |
| Digital Object Identifier (DOI): 10.1109/TAC.2006.887905 Codice identificativo ISI: WOS:000244471000014 Codice identificativo SCOPUS: 2-s2.0-33947375191 | |
| 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 | |
| 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) |
| 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 | |
| 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 | |
| Monografia o trattato scientifico | |
| Lezioni di Automatica - volume I. FISCIANO (SA) CUES ISBN:9788894028065 | |
| Basile, Francesco; Chiacchio, Pasquale | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 2007 | |
| Monografia o trattato scientifico | |
| Lezioni di Automatica - volume II. FISCIANO (SA) CUES ISBN:9788895028071 | |
| Basile, Francesco; Chiacchio, Pasquale | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 2006 | |
| Articolo in rivista | |
| Suboptimal supervisory control of Petri nets in presence of uncontrollable transitions via monitor places AUTOMATICA. Vol. 42. Pag.995-1004 ISSN:0005-1098. | |
| Basile, Francesco; Chiacchio, Pasquale; A., Giua | |
| Digital Object Identifier (DOI): 10.1016/j.automatica.2006.02.003 Codice identificativo ISI: WOS:000237905600013 Codice identificativo SCOPUS: 2-s2.0-33646147350 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 2006 | |
| Articolo in rivista | |
| Un setup sperimentale per il controllo supervisivo di sistemi di automazione industriale AUTOMAZIONE E STRUMENTAZIONE. Vol. LIV(5). Pag.78-83 ISSN:0005-1284. | |
| Basile, Francesco; Chiacchio, Pasquale; P., Rubino; D., Teta; A., Paravia | |
| 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) |
| 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) |
| 2005 | |
| Articolo in rivista | |
| Problematiche implementative del controllo supervisivo AUTOMAZIONE E STRUMENTAZIONE. Vol. LIII(8). Pag.118-124 ISSN:0005-1284. | |
| Basile, Francesco; Chiacchio, Pasquale | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 2005 | |
| Articolo in rivista | |
| An approach to control automated warehouse systems CONTROL ENGINEERING PRACTICE. Vol. 13. Pag.1223-1241 ISSN:0967-0661. | |
| Amato, Francesco; Basile, Francesco; Carbone, Ciro; Chiacchio, Pasquale | |
| Versione online | |
| Digital Object Identifier (DOI): 10.1016/j.conengprac.2004.10.017 Codice identificativo ISI: WOS:000230812600001 Codice identificativo SCOPUS: 2-s2.0-20944434999 | |
| 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 | |
| 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 | |
| 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 | |
| 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 | |
| Articolo in rivista | |
| Modeling and logic controller specification of flexible manufacturing systems using behavioral traces and Petri net building blocks JOURNAL OF INTELLIGENT MANUFACTURING. Vol. 15(3). Pag.351-371 ISSN:0956-5515. | |
| Basile, Francesco; Chiacchio, Pasquale; V., Vittorini; N., Mazzocca | |
| Digital Object Identifier (DOI): 10.1023/B:JIMS.0000026573.94990.d5 Codice identificativo ISI: WOS:000221206200008 Codice identificativo SCOPUS: 2-s2.0-3543106765 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 2004 | |
| Articolo in rivista | |
| Observer-Based State Feedback Control of Timed Petri Nets with Deadlock Recovery IEEE TRANSACTIONS ON AUTOMATIC CONTROL. Vol. 49. Pag.17-29 ISSN:0018-9286. | |
| A., Giua; C., Seatzu; Basile, Francesco | |
| Digital Object Identifier (DOI): 10.1109/TAC.2003.821419 Codice identificativo ISI: WOS:000188197000002 Codice identificativo SCOPUS: 2-s2.0-0742269304 | |
| 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) |
| 2004 | |
| Monografia o trattato scientifico | |
| Tecnologie Informatiche per l'Automazione. MILANO McGraw-Hill ISBN:9788838661471 | |
| Chiacchio, Pasquale; Basile, Francesco | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 2003 | |
| Articolo in rivista | |
| A contribution to minimum-time task-space path-following problem for redundant manipulators ROBOTICA. Vol. 21. Pag.137-142 ISSN:0263-5747. | |
| Basile, Francesco; Chiacchio, Pasquale | |
| Digital Object Identifier (DOI): 10.1017/S0263574702004678 Codice identificativo ISI: WOS:000184107600003 Codice identificativo SCOPUS: 2-s2.0-0142040177 | |
| 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) |
| 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 | |
| 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 | |
| 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) |
| 2002 | |
| Articolo in rivista | |
| Controllo di Magazzini Automatici con Reti di Petri Colorate AUTOMAZIONE E STRUMENTAZIONE. Vol. L(5). Pag.149-159 ISSN:0005-1284. | |
| G., Ambrosino; F., Amato; Basile, Francesco; C., Carbone; Chiacchio, Pasquale; D., DE FRANCESCO; P., Orrigoni; P., Rubino | |
| 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) |
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) |
| 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) |
| 2002 | |
| Contributo in volume (Capitolo o Saggio) | |
| Optimal Petri Net Monitor Design. In CAILLAUD B.; DARONDEAU P.; LAVAGNO L.; XIE X. SYNTHESIS AND CONTROL OF DISCRETE EVENT SYSTEMS Pag.141-153 DORDRECHT KLUWER ACADEMIC/PLENUM PUB. ISBN:0792376390 | |
| Basile, Francesco; Chiacchio, Pasquale; Giua, A. | |
| Codice identificativo ISI: WOS:000176635500009 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 2001 | |
| Articolo in rivista | |
| A suboptimal multimedia remote supervisory control of a robotic cell INDUSTRIAL ROBOT. Vol. 28(2). Pag.136-142 ISSN:0143-991X. | |
| Basile, Francesco; Chiacchio, Pasquale; Mazzocca, N. | |
| Digital Object Identifier (DOI): 10.1108/01439910110382710 Codice identificativo ISI: WOS:000167911100010 Codice identificativo SCOPUS: 2-s2.0-0034922706 | |
| 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 | |
| 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) |
| 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) |
| 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) |
| 2000 | |
| Contributo in volume (Capitolo o Saggio) | |
| Closed-loop live Petri net supervisors for generalized mutualexclusion constraints. In Discrete Event Systems: Analysys and Control Pag.169-180 KLUWER ACADEMIC/PLENUM PUB. ISBN:0792378970 | |
| Basile, Francesco; Chiacchio, Pasquale; L., Recalde; M., Silva | |
| 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) |
