Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Francesco Basile
@article{DBLP:journals/automatica/BasileTM23,
author = {Francesco Basile and
Gianmaria De Tommasi and
Carlo Motta},
title = {Assessment of initial-state-opacity in live and bounded labeled Petri
net systems via optimization techniques},
journal = {Autom.},
volume = {152},
pages = {110911},
year = {2023},
url = {https://doi.org/10.1016/j.automatica.2023.110911},
doi = {10.1016/J.AUTOMATICA.2023.110911},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/automatica/BasileTM23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcst/BasileF23,
author = {Francesco Basile and
Luigi Ferrara},
title = {Validation of Industrial Automation Systems Using a Timed Model of
System Requirements},
journal = {{IEEE} Trans. Control. Syst. Technol.},
volume = {31},
number = {1},
pages = {130--143},
year = {2023},
url = {https://doi.org/10.1109/TCST.2022.3173890},
doi = {10.1109/TCST.2022.3173890},
timestamp = {Sun, 15 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcst/BasileF23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/csysl/BasileT22,
author = {Francesco Basile and
Gianmaria De Tommasi},
title = {Assessment of Multilevel Intransitive Non-Interference for Discrete
Event Systems},
journal = {{IEEE} Control. Syst. Lett.},
volume = {6},
pages = {349--354},
year = {2022},
url = {https://doi.org/10.1109/LCSYS.2021.3075658},
doi = {10.1109/LCSYS.2021.3075658},
timestamp = {Tue, 13 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/csysl/BasileT22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/csysl/BasileTMS22,
author = {Francesco Basile and
Gianmaria De Tommasi and
Carlo Motta and
Claudio Sterle},
title = {Necessary and Sufficient Condition to Assess Initial-State-Opacity
in Live Bounded and Reversible Discrete Event Systems},
journal = {{IEEE} Control. Syst. Lett.},
volume = {6},
pages = {2683--2688},
year = {2022},
url = {https://doi.org/10.1109/LCSYS.2022.3174521},
doi = {10.1109/LCSYS.2022.3174521},
timestamp = {Mon, 13 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/csysl/BasileTMS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tac/BasileCP22,
author = {Francesco Basile and
Roberto Cordone and
Luigi Piroddi},
title = {Supervisory Control of Timed Discrete-Event Systems With Logical and
Temporal Specifications},
journal = {{IEEE} Trans. Autom. Control.},
volume = {67},
number = {6},
pages = {2800--2815},
year = {2022},
url = {https://doi.org/10.1109/TAC.2021.3093618},
doi = {10.1109/TAC.2021.3093618},
timestamp = {Mon, 13 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tac/BasileCP22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/med/BasileTMPS22,
author = {Francesco Basile and
Gianmaria De Tommasi and
Carlo Motta and
Alberto Petrillo and
Stefania Santini},
title = {Assessment of Initial-State-Opacity in Live Bounded and Reversible
Discrete Event Systems via Integer Linear Programming},
booktitle = {30th Mediterranean Conference on Control and Automation, {MED} 2022,
Vouliagmeni, Greece, June 28 - July 1, 2022},
pages = {994--999},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.1109/MED54222.2022.9837143},
doi = {10.1109/MED54222.2022.9837143},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/med/BasileTMPS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/csysl/BasileT21,
author = {Francesco Basile and
Gianmaria De Tommasi},
title = {Assessment of Bisimulation Non-Interference in Discrete Event Systems
Modelled With Bounded Petri Nets},
journal = {{IEEE} Control. Syst. Lett.},
volume = {5},
number = {4},
pages = {1151--1156},
year = {2021},
url = {https://doi.org/10.1109/LCSYS.2020.3017189},
doi = {10.1109/LCSYS.2020.3017189},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/csysl/BasileT21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/isci/LefebvreB21,
author = {Dimitri Lefebvre and
Francesco Basile},
title = {An approach based on timed Petri nets and tree encoding to implement
search algorithms for a class of scheduling problems},
journal = {Inf. Sci.},
volume = {559},
pages = {314--335},
year = {2021},
url = {https://doi.org/10.1016/j.ins.2020.12.087},
doi = {10.1016/J.INS.2020.12.087},
timestamp = {Thu, 08 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/isci/LefebvreB21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tac/BasileTS21,
author = {Francesco Basile and
Gianmaria De Tommasi and
Claudio Sterle},
title = {Noninterference Enforcement via Supervisory Control in Bounded Petri
Nets},
journal = {{IEEE} Trans. Autom. Control.},
volume = {66},
number = {8},
pages = {3653--3666},
year = {2021},
url = {https://doi.org/10.1109/TAC.2020.3024274},
doi = {10.1109/TAC.2020.3024274},
timestamp = {Thu, 16 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tac/BasileTS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tac/LiBL21,
author = {Liang Li and
Francesco Basile and
Zhiwu Li},
title = {Closed-Loop Deadlock-Free Supervision for GMECs in Time Petri Net
Systems},
journal = {{IEEE} Trans. Autom. Control.},
volume = {66},
number = {11},
pages = {5326--5341},
year = {2021},
url = {https://doi.org/10.1109/TAC.2020.3044520},
doi = {10.1109/TAC.2020.3044520},
timestamp = {Fri, 29 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tac/LiBL21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cdc/BasileF21,
author = {Francesco Basile and
Luigi Ferrara},
title = {Finite-time accuracy of timed discrete event systems},
booktitle = {2021 60th {IEEE} Conference on Decision and Control (CDC), Austin,
TX, USA, December 14-17, 2021},
pages = {1744--1749},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/CDC45484.2021.9683603},
doi = {10.1109/CDC45484.2021.9683603},
timestamp = {Tue, 17 May 2022 15:53:17 +0200},
biburl = {https://dblp.org/rec/conf/cdc/BasileF21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/etfa/BasileF21,
author = {Francesco Basile and
Luigi Ferrara},
title = {A sliding-window approach to analyze the accuracy of timed DESs},
booktitle = {26th {IEEE} International Conference on Emerging Technologies and
Factory Automation, {ETFA} 2021, Vasteras, Sweden, September 7-10,
2021},
pages = {1--4},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/ETFA45728.2021.9613328},
doi = {10.1109/ETFA45728.2021.9613328},
timestamp = {Tue, 07 Dec 2021 09:17:59 +0100},
biburl = {https://dblp.org/rec/conf/etfa/BasileF21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/med/BasileF21,
author = {Francesco Basile and
Luigi Ferrara},
title = {A model-based approach to the validation of automation systems},
booktitle = {29th Mediterranean Conference on Control and Automation, {MED} 2021,
Bari, Italy, June 22-25, 2021},
pages = {1317--1323},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/MED51440.2021.9480296},
doi = {10.1109/MED51440.2021.9480296},
timestamp = {Wed, 21 Jul 2021 15:31:25 +0200},
biburl = {https://dblp.org/rec/conf/med/BasileF21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tac/LiBL20,
author = {Liang Li and
Francesco Basile and
Zhiwu Li},
title = {An Approach to Improve Permissiveness of Supervisors for GMECs in
Time Petri Net Systems},
journal = {{IEEE} Trans. Autom. Control.},
volume = {65},
number = {1},
pages = {237--251},
year = {2020},
url = {https://doi.org/10.1109/TAC.2019.2914895},
doi = {10.1109/TAC.2019.2914895},
timestamp = {Fri, 29 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tac/LiBL20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tase/BasileFFL20,
author = {Francesco Basile and
Gregory Faraut and
Luigi Ferrara and
Jean{-}Jacques Lesage},
title = {An Optimization-Based Approach to Discover the Unobservable Behavior
of a Discrete-Event System Through Interpreted Petri Nets},
journal = {{IEEE} Trans Autom. Sci. Eng.},
volume = {17},
number = {2},
pages = {784--798},
year = {2020},
url = {https://doi.org/10.1109/TASE.2019.2944299},
doi = {10.1109/TASE.2019.2944299},
timestamp = {Mon, 04 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tase/BasileFFL20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tac/HeLGBS19,
author = {Zhou He and
Zhiwu Li and
Alessandro Giua and
Francesco Basile and
Carla Seatzu},
title = {Some Remarks on "State Estimation and Fault Diagnosis of Labeled
Time Petri Net Systems With Unobservable Transitions"},
journal = {{IEEE} Trans. Autom. Control.},
volume = {64},
number = {12},
pages = {5253--5259},
year = {2019},
url = {https://doi.org/10.1109/TAC.2019.2910168},
doi = {10.1109/TAC.2019.2910168},
timestamp = {Fri, 29 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tac/HeLGBS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cdc/BasileFFL19,
author = {Francesco Basile and
Gregory Faraut and
Luigi Ferrara and
Jean{-}Jacques Lesage},
title = {Discovering of the unobservable behaviour of an Interpreted Petri
Net model},
booktitle = {58th {IEEE} Conference on Decision and Control, {CDC} 2019, Nice,
France, December 11-13, 2019},
pages = {2021--2026},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/CDC40024.2019.9029205},
doi = {10.1109/CDC40024.2019.9029205},
timestamp = {Fri, 04 Mar 2022 13:30:46 +0100},
biburl = {https://dblp.org/rec/conf/cdc/BasileFFL19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/etfa/BasileCM19,
author = {Francesco Basile and
Pasquale Chiacchio and
Emiliano Di Marino},
title = {Auction-based mechanisms for the control of vehicles in Smart Logistic
Systems},
booktitle = {24th {IEEE} International Conference on Emerging Technologies and
Factory Automation, {ETFA} 2019, Zaragoza, Spain, September 10-13,
2019},
pages = {1429--1432},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/ETFA.2019.8869296},
doi = {10.1109/ETFA.2019.8869296},
timestamp = {Fri, 27 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/etfa/BasileCM19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/smc/BasileF19,
author = {Francesco Basile and
Luigi Ferrara},
title = {Identification of Timed Input/Output Relationships For Industrial
Automation Systems Using Timed Interpreted Petri Nets},
booktitle = {2019 {IEEE} International Conference on Systems, Man and Cybernetics,
{SMC} 2019, Bari, Italy, October 6-9, 2019},
pages = {1831--1837},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/SMC.2019.8914396},
doi = {10.1109/SMC.2019.8914396},
timestamp = {Fri, 06 Dec 2019 14:51:38 +0100},
biburl = {https://dblp.org/rec/conf/smc/BasileF19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amcc/BasileT18,
author = {Francesco Basile and
Gianmaria De Tommasi},
title = {Non-interference assessment in bounded Petri nets via Integer Linear
Programming},
booktitle = {2018 Annual American Control Conference, {ACC} 2018, Milwaukee, WI,
USA, June 27-29, 2018},
pages = {3056--3061},
publisher = {{IEEE}},
year = {2018},
url = {https://doi.org/10.23919/ACC.2018.8431241},
doi = {10.23919/ACC.2018.8431241},
timestamp = {Sun, 08 Aug 2021 01:40:57 +0200},
biburl = {https://dblp.org/rec/conf/amcc/BasileT18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/case/BasileCM18,
author = {Francesco Basile and
Pasquale Chiacchio and
Emiliano Di Marino},
title = {Automated generation of a simulation model for the decentralized control
of automated warehouse systems},
booktitle = {14th {IEEE} International Conference on Automation Science and Engineering,
{CASE} 2018, Munich, Germany, August 20-24, 2018},
pages = {540--546},
publisher = {{IEEE}},
year = {2018},
url = {https://doi.org/10.1109/COASE.2018.8560387},
doi = {10.1109/COASE.2018.8560387},
timestamp = {Fri, 27 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/case/BasileCM18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cdc/BasileTS18,
author = {Francesco Basile and
Gianmaria De Tommasi and
Claudio Sterle},
title = {Non-Interference Enforcement in Bounded Petri Nets},
booktitle = {57th {IEEE} Conference on Decision and Control, {CDC} 2018, Miami,
FL, USA, December 17-19, 2018},
pages = {4827--4832},
publisher = {{IEEE}},
year = {2018},
url = {https://doi.org/10.1109/CDC.2018.8618931},
doi = {10.1109/CDC.2018.8618931},
timestamp = {Fri, 04 Mar 2022 13:30:11 +0100},
biburl = {https://dblp.org/rec/conf/cdc/BasileTS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/etfa/MbayeLB18,
author = {Alioune Mbaye and
Dimitri Lefebvre and
Francesco Basile},
title = {Control design for timed Petri nets based on LMIs and structure expansion},
booktitle = {23rd {IEEE} International Conference on Emerging Technologies and
Factory Automation, {ETFA} 2018, Torino, Italy, September 4-7, 2018},
pages = {426--432},
publisher = {{IEEE}},
year = {2018},
url = {https://doi.org/10.1109/ETFA.2018.8502471},
doi = {10.1109/ETFA.2018.8502471},
timestamp = {Fri, 27 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/etfa/MbayeLB18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/etfa/BasileTSBG18,
author = {Francesco Basile and
Gianmaria De Tommasi and
Claudio Sterle and
Abderraouf Boussif and
Mohamed Ghazel},
title = {Efficient diagnosability assessment via {ILP} optimization: a railway
benchmark},
booktitle = {23rd {IEEE} International Conference on Emerging Technologies and
Factory Automation, {ETFA} 2018, Torino, Italy, September 4-7, 2018},
pages = {441--448},
publisher = {{IEEE}},
year = {2018},
url = {https://doi.org/10.1109/ETFA.2018.8502532},
doi = {10.1109/ETFA.2018.8502532},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/etfa/BasileTSBG18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/plans/BasileMHMJ18,
author = {Francesco Basile and
Terry Moore and
Chris Hill and
Gary McGraw and
Andrew Johnson},
title = {Multi-frequency precise point positioning using {GPS} and Galileo
data with smoothed ionospheric corrections},
booktitle = {{IEEE/ION} Position, Location and Navigation Symposium, {PLANS} 2018,
Monterey, CA, USA, April 23-26, 2018},
pages = {1388--1398},
publisher = {{IEEE}},
year = {2018},
url = {https://doi.org/10.1109/PLANS.2018.8373531},
doi = {10.1109/PLANS.2018.8373531},
timestamp = {Mon, 09 Aug 2021 14:54:02 +0200},
biburl = {https://dblp.org/rec/conf/plans/BasileMHMJ18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tac/BasileCS17,
author = {Francesco Basile and
Maria Paola Cabasino and
Carla Seatzu},
title = {Diagnosability Analysis of Labeled Time Petri Net Systems},
journal = {{IEEE} Trans. Autom. Control.},
volume = {62},
number = {3},
pages = {1384--1396},
year = {2017},
url = {https://doi.org/10.1109/TAC.2016.2588736},
doi = {10.1109/TAC.2016.2588736},
timestamp = {Wed, 20 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tac/BasileCS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tsmc/BasileCC17,
author = {Francesco Basile and
Pasquale Chiacchio and
Jolanda Coppola},
title = {Identification of Time Petri Net Models},
journal = {{IEEE} Trans. Syst. Man Cybern. Syst.},
volume = {47},
number = {9},
pages = {2586--2600},
year = {2017},
url = {https://doi.org/10.1109/TSMC.2016.2523929},
doi = {10.1109/TSMC.2016.2523929},
timestamp = {Wed, 20 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tsmc/BasileCC17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tsmc/BasileCC17a,
author = {Francesco Basile and
Pasquale Chiacchio and
Jolanda Coppola},
title = {Corrections to "Identification of Time Petri Net Models"},
journal = {{IEEE} Trans. Syst. Man Cybern. Syst.},
volume = {47},
number = {9},
pages = {2622--2623},
year = {2017},
url = {https://doi.org/10.1109/TSMC.2017.2664438},
doi = {10.1109/TSMC.2017.2664438},
timestamp = {Wed, 20 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tsmc/BasileCC17a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icnsc/BasileCC17,
author = {Francesco Basile and
Pasquale Chiacchio and
Jolanda Coppola},
editor = {Giancarlo Fortino and
MengChu Zhou and
Zofia Lukszo and
Athanasios V. Vasilakos and
Francesco Basile and
Carlos Enrique Palau and
Antonio Liotta and
Maria Pia Fanti and
Antonio Guerrieri and
Andrea Vinci},
title = {A matrix-based approach for supervising and controlling timed Discrete
Event System},
booktitle = {14th {IEEE} International Conference on Networking, Sensing and Control,
{ICNSC} 2017, Calabria, Italy, May 16-18, 2017},
pages = {66--71},
publisher = {{IEEE}},
year = {2017},
url = {https://doi.org/10.1109/ICNSC.2017.8000069},
doi = {10.1109/ICNSC.2017.8000069},
timestamp = {Fri, 17 Jan 2020 16:21:49 +0100},
biburl = {https://dblp.org/rec/conf/icnsc/BasileCC17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/soli/BasileCM17,
author = {Francesco Basile and
Pasquale Chiacchio and
Emiliano Di Marino},
title = {An auction-based approach for the coordination of vehicles in automated
warehouse systems},
booktitle = {2017 {IEEE} International Conference on Service Operations and Logistics,
and Informatics, {SOLI} 2017, Bari, Italy, September 18-20, 2017},
pages = {121--126},
publisher = {{IEEE}},
year = {2017},
url = {https://doi.org/10.1109/SOLI.2017.8120981},
doi = {10.1109/SOLI.2017.8120981},
timestamp = {Mon, 03 Feb 2020 14:52:00 +0100},
biburl = {https://dblp.org/rec/conf/soli/BasileCM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icnsc/2017,
editor = {Giancarlo Fortino and
MengChu Zhou and
Zofia Lukszo and
Athanasios V. Vasilakos and
Francesco Basile and
Carlos Enrique Palau and
Antonio Liotta and
Maria Pia Fanti and
Antonio Guerrieri and
Andrea Vinci},
title = {14th {IEEE} International Conference on Networking, Sensing and Control,
{ICNSC} 2017, Calabria, Italy, May 16-18, 2017},
publisher = {{IEEE}},
year = {2017},
url = {https://ieeexplore.ieee.org/xpl/conhome/7990365/proceeding},
isbn = {978-1-5090-4429-0},
timestamp = {Fri, 17 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icnsc/2017.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sensors/CapuanoBBTLWBF16,
author = {Vincenzo Capuano and
Paul Blunt and
Cyril Botteron and
Jia Tian and
J{\'{e}}r{\^{o}}me Lecl{\`{e}}re and
Yanguang Wang and
Francesco Basile and
Pierre{-}Andr{\'{e}} Farine},
title = {Standalone {GPS} {L1} {C/A} Receiver for Lunar Missions},
journal = {Sensors},
volume = {16},
number = {3},
pages = {347},
year = {2016},
url = {https://doi.org/10.3390/s16030347},
doi = {10.3390/S16030347},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sensors/CapuanoBBTLWBF16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tase/BasileCC16,
author = {Francesco Basile and
Pasquale Chiacchio and
Jolanda Coppola},
title = {A Novel Model Repair Approach of Timed Discrete-Event Systems With
Anomalies},
journal = {{IEEE} Trans Autom. Sci. Eng.},
volume = {13},
number = {4},
pages = {1541--1556},
year = {2016},
url = {https://doi.org/10.1109/TASE.2016.2601418},
doi = {10.1109/TASE.2016.2601418},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tase/BasileCC16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/case/BasileCC16,
author = {Francesco Basile and
Pasquale Chiacchio and
Jolanda Coppola},
title = {A cyber-physical view of automated warehouse systems},
booktitle = {{IEEE} International Conference on Automation Science and Engineering,
{CASE} 2016, Fort Worth, TX, USA, August 21-25, 2016},
pages = {407--412},
publisher = {{IEEE}},
year = {2016},
url = {https://doi.org/10.1109/COASE.2016.7743434},
doi = {10.1109/COASE.2016.7743434},
timestamp = {Wed, 16 Oct 2019 14:14:53 +0200},
biburl = {https://dblp.org/rec/conf/case/BasileCC16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/etfa/BasileCC16,
author = {Francesco Basile and
Pasquale Chiacchio and
Jolanda Coppola},
title = {A Colored Timed Petri Net model for a cyber-physical view of automated
warehouse systems},
booktitle = {21st {IEEE} International Conference on Emerging Technologies and
Factory Automation, {ETFA} 2016, Berlin, Germany, September 6-9, 2016},
pages = {1--8},
publisher = {{IEEE}},
year = {2016},
url = {https://doi.org/10.1109/ETFA.2016.7733609},
doi = {10.1109/ETFA.2016.7733609},
timestamp = {Wed, 16 Oct 2019 14:14:55 +0200},
biburl = {https://dblp.org/rec/conf/etfa/BasileCC16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wodes/BasileCC16,
author = {Francesco Basile and
Pasquale Chiacchio and
Jolanda Coppola},
editor = {Christos G. Cassandras and
Alessandro Giua and
Zhiwu Li},
title = {Identification of labeled Time Petri nets},
booktitle = {13th International Workshop on Discrete Event Systems, {WODES} 2016,
Xi'an, China, May 30 - June 1, 2016},
pages = {478--485},
publisher = {{IEEE}},
year = {2016},
url = {https://doi.org/10.1109/WODES.2016.7497891},
doi = {10.1109/WODES.2016.7497891},
timestamp = {Fri, 29 Apr 2022 15:37:30 +0200},
biburl = {https://dblp.org/rec/conf/wodes/BasileCC16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wodes/BasileCC16a,
author = {Francesco Basile and
Pasquale Chiacchio and
Jolanda Coppola},
editor = {Christos G. Cassandras and
Alessandro Giua and
Zhiwu Li},
title = {Faulty model identification in deterministic labeled Time Petri nets},
booktitle = {13th International Workshop on Discrete Event Systems, {WODES} 2016,
Xi'an, China, May 30 - June 1, 2016},
pages = {486--492},
publisher = {{IEEE}},
year = {2016},
url = {https://doi.org/10.1109/WODES.2016.7497892},
doi = {10.1109/WODES.2016.7497892},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/wodes/BasileCC16a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/automatica/BasileCP15,
author = {Francesco Basile and
Roberto Cordone and
Luigi Piroddi},
title = {A branch and bound approach for the design of decentralized supervisors
in Petri net models},
journal = {Autom.},
volume = {52},
pages = {322--333},
year = {2015},
url = {https://doi.org/10.1016/j.automatica.2014.12.004},
doi = {10.1016/J.AUTOMATICA.2014.12.004},
timestamp = {Thu, 20 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/automatica/BasileCP15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tac/BasileCS15,
author = {Francesco Basile and
Maria Paola Cabasino and
Carla Seatzu},
title = {State Estimation and Fault Diagnosis of Labeled Time Petri Net Systems
With Unobservable Transitions},
journal = {{IEEE} Trans. Autom. Control.},
volume = {60},
number = {4},
pages = {997--1009},
year = {2015},
url = {https://doi.org/10.1109/TAC.2014.2363916},
doi = {10.1109/TAC.2014.2363916},
timestamp = {Wed, 20 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tac/BasileCS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/case/BasileCC15,
author = {Francesco Basile and
Pasquale Chiacchio and
Jolanda Coppola},
title = {Real time identification of Time Petri net faulty models},
booktitle = {{IEEE} International Conference on Automation Science and Engineering,
{CASE} 2015, Gothenburg, Sweden, August 24-28, 2015},
pages = {280--285},
publisher = {{IEEE}},
year = {2015},
url = {https://doi.org/10.1109/CoASE.2015.7294076},
doi = {10.1109/COASE.2015.7294076},
timestamp = {Wed, 16 Oct 2019 14:14:53 +0200},
biburl = {https://dblp.org/rec/conf/case/BasileCC15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/etfa/BasileCCG15,
author = {Francesco Basile and
Pasquale Chiacchio and
Jolanda Coppola and
Diego Gerbasio},
title = {Automated warehouse systems: {A} cyber-physical system perspective},
booktitle = {20th {IEEE} Conference on Emerging Technologies {\&} Factory Automation,
{ETFA} 2015, Luxembourg, September 8-11, 2015},
pages = {1--4},
publisher = {{IEEE}},
year = {2015},
url = {https://doi.org/10.1109/ETFA.2015.7301597},
doi = {10.1109/ETFA.2015.7301597},
timestamp = {Wed, 16 Oct 2019 14:14:55 +0200},
biburl = {https://dblp.org/rec/conf/etfa/BasileCCG15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/med/BasileTS15,
author = {Francesco Basile and
Gianmaria De Tommasi and
Claudio Sterle},
title = {Sensors selection for K-diagnosability of Petri nets via Integer Linear
Programming},
booktitle = {23rd Mediterranean Conference on Control and Automation, {MED} 2015,
Torremolinos, Malaga, Spain, June 16-19, 2015},
pages = {168--175},
publisher = {{IEEE}},
year = {2015},
url = {https://doi.org/10.1109/MED.2015.7158746},
doi = {10.1109/MED.2015.7158746},
timestamp = {Wed, 16 Oct 2019 14:14:56 +0200},
biburl = {https://dblp.org/rec/conf/med/BasileTS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tase/LennartsonBMFHFA14,
author = {Bengt Lennartson and
Francesco Basile and
Sajed Miremadi and
Zhennan Fei and
Mona Noori Hosseini and
Martin Fabian and
Knut {\AA}kesson},
title = {Supervisory Control for State-Vector Transition Models - {A} Unified
Approach},
journal = {{IEEE} Trans Autom. Sci. Eng.},
volume = {11},
number = {1},
pages = {33--47},
year = {2014},
url = {https://doi.org/10.1109/TASE.2013.2291115},
doi = {10.1109/TASE.2013.2291115},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tase/LennartsonBMFHFA14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/etfa/BasileCCG14,
author = {Francesco Basile and
Pasquale Chiacchio and
Jolanda Coppola and
Diego Gerbasio},
editor = {Antoni Grau and
Herminio Mart{\'{\i}}nez},
title = {Automated implementation of Petri Nets on PLCs with {OOP}},
booktitle = {Proceedings of the 2014 {IEEE} Emerging Technology and Factory Automation,
{ETFA} 2014, Barcelona, Spain, September 16-19, 2014},
pages = {1--4},
publisher = {{IEEE}},
year = {2014},
url = {https://doi.org/10.1109/ETFA.2014.7005287},
doi = {10.1109/ETFA.2014.7005287},
timestamp = {Wed, 16 Oct 2019 14:14:55 +0200},
biburl = {https://dblp.org/rec/conf/etfa/BasileCCG14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wodes/BasilePC14,
author = {Francesco Basile and
Luigi Piroddi and
Roberto Cordone},
editor = {Jean{-}Jacques Lesage and
Jean{-}Marc Faure and
Jos{\'{e}} E. R. Cury and
Bengt Lennartson},
title = {Decentralized Monitors Design for Petri Net Models},
booktitle = {12th International Workshop on Discrete Event Systems, {WODES} 2014,
Cachan, France, May 14-16, 2014},
pages = {73--79},
publisher = {International Federation of Automatic Control},
year = {2014},
url = {https://doi.org/10.3182/20140514-3-FR-4046.00048},
doi = {10.3182/20140514-3-FR-4046.00048},
timestamp = {Mon, 05 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wodes/BasilePC14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wodes/LennartsonWFB14,
author = {Bengt Lennartson and
Oskar Wigstr{\"{o}}m and
Martin Fabian and
Francesco Basile},
editor = {Jean{-}Jacques Lesage and
Jean{-}Marc Faure and
Jos{\'{e}} E. R. Cury and
Bengt Lennartson},
title = {Unified Model for Synthesis and Optimization of Discrete Event and
Hybrid Systems},
booktitle = {12th International Workshop on Discrete Event Systems, {WODES} 2014,
Cachan, France, May 14-16, 2014},
pages = {86--92},
publisher = {International Federation of Automatic Control},
year = {2014},
url = {https://doi.org/10.3182/20140514-3-FR-4046.00140},
doi = {10.3182/20140514-3-FR-4046.00140},
timestamp = {Mon, 05 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wodes/LennartsonWFB14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wodes/BasileCS14,
author = {Francesco Basile and
Maria Paola Cabasino and
Carla Seatzu},
editor = {Jean{-}Jacques Lesage and
Jean{-}Marc Faure and
Jos{\'{e}} E. R. Cury and
Bengt Lennartson},
title = {K-Diagnosability of Time Labeled Petri Nets},
booktitle = {12th International Workshop on Discrete Event Systems, {WODES} 2014,
Cachan, France, May 14-16, 2014},
pages = {135--141},
publisher = {International Federation of Automatic Control},
year = {2014},
url = {https://doi.org/10.3182/20140514-3-FR-4046.00055},
doi = {10.3182/20140514-3-FR-4046.00055},
timestamp = {Mon, 05 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wodes/BasileCS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/automatica/BasileCP13,
author = {Francesco Basile and
Roberto Cordone and
Luigi Piroddi},
title = {Integrated design of optimal supervisors for the enforcement of static
and behavioral specifications in Petri net models},
journal = {Autom.},
volume = {49},
number = {11},
pages = {3432--3439},
year = {2013},
url = {https://doi.org/10.1016/j.automatica.2013.08.018},
doi = {10.1016/J.AUTOMATICA.2013.08.018},
timestamp = {Thu, 20 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/automatica/BasileCP13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tase/BasileCG13,
author = {Francesco Basile and
Pasquale Chiacchio and
Diego Gerbasio},
title = {On the Implementation of Industrial Automation Systems Based on {PLC}},
journal = {{IEEE} Trans Autom. Sci. Eng.},
volume = {10},
number = {4},
pages = {990--1003},
year = {2013},
url = {https://doi.org/10.1109/TASE.2012.2226578},
doi = {10.1109/TASE.2012.2226578},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tase/BasileCG13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amcc/BasileCP13,
author = {Francesco Basile and
Roberto Cordone and
Luigi Piroddi},
title = {Parsimonious deadlock-free Petri net models of flexible manufacturing
systems},
booktitle = {American Control Conference, {ACC} 2013, Washington, DC, USA, June
17-19, 2013},
pages = {119--124},
publisher = {{IEEE}},
year = {2013},
url = {https://doi.org/10.1109/ACC.2013.6579824},
doi = {10.1109/ACC.2013.6579824},
timestamp = {Sun, 08 Aug 2021 01:40:56 +0200},
biburl = {https://dblp.org/rec/conf/amcc/BasileCP13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cdc/BasileCP13,
author = {Francesco Basile and
Roberto Cordone and
Luigi Piroddi},
title = {Compact and decentralized supervisors for general constraint enforcement
in Petri net models},
booktitle = {Proceedings of the 52nd {IEEE} Conference on Decision and Control,
{CDC} 2013, Florence, Italy, December 10-13, 2013},
pages = {7279--7284},
publisher = {{IEEE}},
year = {2013},
url = {https://doi.org/10.1109/CDC.2013.6761044},
doi = {10.1109/CDC.2013.6761044},
timestamp = {Fri, 04 Mar 2022 13:29:02 +0100},
biburl = {https://dblp.org/rec/conf/cdc/BasileCP13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/etfa/BasileCC13,
author = {Francesco Basile and
Pasquale Chiacchio and
Jolanda Coppola},
editor = {Carla Seatzu},
title = {An approach for the identification of time Petri net systems},
booktitle = {Proceedings of 2013 {IEEE} 18th Conference on Emerging Technologies
{\&} Factory Automation, {ETFA} 2013, Cagliari, Italy, September
10-13, 2013},
pages = {1--8},
publisher = {{IEEE}},
year = {2013},
url = {https://doi.org/10.1109/ETFA.2013.6648050},
doi = {10.1109/ETFA.2013.6648050},
timestamp = {Wed, 16 Oct 2019 14:14:55 +0200},
biburl = {https://dblp.org/rec/conf/etfa/BasileCC13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/etfa/BasileCS13,
author = {Francesco Basile and
Maria Paola Cabasino and
Carla Seatzu},
editor = {Carla Seatzu},
title = {Marking estimation of Time Petri nets with unobservable transitions},
booktitle = {Proceedings of 2013 {IEEE} 18th Conference on Emerging Technologies
{\&} Factory Automation, {ETFA} 2013, Cagliari, Italy, September
10-13, 2013},
pages = {1--7},
publisher = {{IEEE}},
year = {2013},
url = {https://doi.org/10.1109/ETFA.2013.6648063},
doi = {10.1109/ETFA.2013.6648063},
timestamp = {Fri, 02 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/etfa/BasileCS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eucc/BasileCP13,
author = {Francesco Basile and
Roberto Cordone and
Luigi Piroddi},
title = {Compact supervisors for general constraint enforcement in Petri net
models with uncontrollable transitions},
booktitle = {12th European Control Conference, {ECC} 2013, Zurich, Switzerland,
July 17-19, 2013},
pages = {143--148},
publisher = {{IEEE}},
year = {2013},
url = {https://doi.org/10.23919/ECC.2013.6669382},
doi = {10.23919/ECC.2013.6669382},
timestamp = {Mon, 09 Aug 2021 14:54:02 +0200},
biburl = {https://dblp.org/rec/conf/eucc/BasileCP13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/automatica/BasileCT12,
author = {Francesco Basile and
Pasquale Chiacchio and
Gianmaria De Tommasi},
title = {On K-diagnosability of Petri nets via integer linear programming},
journal = {Autom.},
volume = {48},
number = {9},
pages = {2047--2058},
year = {2012},
url = {https://doi.org/10.1016/j.automatica.2012.06.039},
doi = {10.1016/J.AUTOMATICA.2012.06.039},
timestamp = {Thu, 20 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/automatica/BasileCT12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tase/BasileCC12,
author = {Francesco Basile and
Pasquale Chiacchio and
Jolanda Coppola},
title = {A Hybrid Model of Complex Automated Warehouse Systems - Part {I:}
Modeling and Simulation},
journal = {{IEEE} Trans Autom. Sci. Eng.},
volume = {9},
number = {4},
pages = {640--653},
year = {2012},
url = {https://doi.org/10.1109/TASE.2012.2215322},
doi = {10.1109/TASE.2012.2215322},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tase/BasileCC12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tase/BasileCC12a,
author = {Francesco Basile and
Pasquale Chiacchio and
Jolanda Coppola},
title = {A Hybrid Model of Complex Automated Warehouse Systems - Part {II:}
Analysis and Experimental Results},
journal = {{IEEE} Trans Autom. Sci. Eng.},
volume = {9},
number = {4},
pages = {654--668},
year = {2012},
url = {https://doi.org/10.1109/TASE.2012.2215323},
doi = {10.1109/TASE.2012.2215323},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tase/BasileCC12a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/etfa/BasileCCG12,
author = {Francesco Basile and
Pasquale Chiacchio and
Jolanda Coppola and
Diego Gerbasio},
title = {A Hybrid Petri Nets approach for Unmanned Aerial Vehicles monitoring},
booktitle = {Proceedings of 2012 {IEEE} 17th International Conference on Emerging
Technologies {\&} Factory Automation, {ETFA} 2012, Krakow, Poland,
September 17-21, 2012},
pages = {1--4},
publisher = {{IEEE}},
year = {2012},
url = {https://doi.org/10.1109/ETFA.2012.6489743},
doi = {10.1109/ETFA.2012.6489743},
timestamp = {Wed, 16 Oct 2019 14:14:55 +0200},
biburl = {https://dblp.org/rec/conf/etfa/BasileCCG12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wodes/BasileCT12,
author = {Francesco Basile and
Pasquale Chiacchio and
Gianmaria De Tommasi},
editor = {Antonio Ram{\'{\i}}rez{-}Trevi{\~{n}}o and
Ernesto L{\'{o}}pez{-}Mellado and
Jean{-}Jacques Lesage and
Manuel Silva Su{\'{a}}rez},
title = {Decentralized {\(\kappa\)}-diagnosability of Petri nets},
booktitle = {11th International Workshop on Discrete Event Systems, {WODES} 2012,
Guadalajara, Mexico, October 3-5, 2012},
pages = {214--220},
publisher = {International Federation of Automatic Control},
year = {2012},
url = {https://doi.org/10.3182/20121003-3-MX-4033.00036},
doi = {10.3182/20121003-3-MX-4033.00036},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wodes/BasileCT12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wodes/BasileCC12,
author = {Francesco Basile and
Pasquale Chiacchio and
Jolanda Coppola},
editor = {Antonio Ram{\'{\i}}rez{-}Trevi{\~{n}}o and
Ernesto L{\'{o}}pez{-}Mellado and
Jean{-}Jacques Lesage and
Manuel Silva Su{\'{a}}rez},
title = {Active identification of Petri net models},
booktitle = {11th International Workshop on Discrete Event Systems, {WODES} 2012,
Guadalajara, Mexico, October 3-5, 2012},
pages = {278--285},
publisher = {International Federation of Automatic Control},
year = {2012},
url = {https://doi.org/10.3182/20121003-3-MX-4033.00046},
doi = {10.3182/20121003-3-MX-4033.00046},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wodes/BasileCC12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/case/BasileCC11,
author = {Francesco Basile and
Pasquale Chiacchio and
Jolanda Coppola},
title = {A discrete event model for the control and analysis of complex automated
warehouse systems},
booktitle = {{IEEE} Conference on Automation Science and Engineering, {CASE} 2011,
Trieste, Italy, Aug. 24-27, 2011},
pages = {201--207},
publisher = {{IEEE}},
year = {2011},
url = {https://doi.org/10.1109/CASE.2011.6042437},
doi = {10.1109/CASE.2011.6042437},
timestamp = {Wed, 16 Oct 2019 14:14:53 +0200},
biburl = {https://dblp.org/rec/conf/case/BasileCC11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cdc/BasileCC11,
author = {Francesco Basile and
Pasquale Chiacchio and
Jolanda Coppola},
title = {Colored Hybrid Petri-nets for modeling material handling systems},
booktitle = {50th {IEEE} Conference on Decision and Control and European Control
Conference, 11th European Control Conference, {CDC/ECC} 2011, Orlando,
FL, USA, December 12-15, 2011},
pages = {5881--5886},
publisher = {{IEEE}},
year = {2011},
url = {https://doi.org/10.1109/CDC.2011.6161263},
doi = {10.1109/CDC.2011.6161263},
timestamp = {Wed, 24 Feb 2021 08:49:08 +0100},
biburl = {https://dblp.org/rec/conf/cdc/BasileCC11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/etfa/BasileCC11,
author = {Francesco Basile and
Pasquale Chiacchio and
Jolanda Coppola},
editor = {Zoubir Mammeri},
title = {A hybrid model for the control and the analysis of complex automated
warehouse systems},
booktitle = {{IEEE} 16th Conference on Emerging Technologies {\&} Factory Automation,
{ETFA} 2011, Toulouse, France, September 5-9, 2011},
pages = {1--8},
publisher = {{IEEE}},
year = {2011},
url = {https://doi.org/10.1109/ETFA.2011.6059041},
doi = {10.1109/ETFA.2011.6059041},
timestamp = {Wed, 16 Oct 2019 14:14:55 +0200},
biburl = {https://dblp.org/rec/conf/etfa/BasileCC11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/etfa/BasileCG10,
author = {Francesco Basile and
Pasquale Chiacchio and
Diego Gerbasio},
title = {A novel approach to {PLC} programming for distributed automation systems
control},
booktitle = {Proceedings of 15th {IEEE} International Conference on Emerging Technologies
and Factory Automation, {ETFA} 2010, September 13-16, 2010, Bilbao,
Spain},
pages = {1--8},
publisher = {{IEEE}},
year = {2010},
url = {https://doi.org/10.1109/ETFA.2010.5641344},
doi = {10.1109/ETFA.2010.5641344},
timestamp = {Wed, 16 Oct 2019 14:14:55 +0200},
biburl = {https://dblp.org/rec/conf/etfa/BasileCG10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wodes/BasileCT10,
author = {Francesco Basile and
Pasquale Chiacchio and
Gianmaria De Tommasi},
editor = {J{\"{o}}rg Raisch and
Alessandro Giua and
St{\'{e}}phane Lafortune and
Thomas Moor},
title = {Diagnosability of labeled Petri nets via integer linear programming},
booktitle = {10th International Workshop on Discrete Event Systems, {WODES} 2010,
Berlin, Germany, August 30 - September 01, 2010},
pages = {71--77},
publisher = {International Federation of Automatic Control},
year = {2010},
url = {https://doi.org/10.3182/20100830-3-DE-4013.00014},
doi = {10.3182/20100830-3-DE-4013.00014},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wodes/BasileCT10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/csi/BasileCG09,
author = {Francesco Basile and
Pasquale Chiacchio and
Domenico Del Grosso},
title = {A two-stage modelling architecture for distributed control of real-time
industrial systems: Application of {UML} and Petri Net},
journal = {Comput. Stand. Interfaces},
volume = {31},
number = {3},
pages = {528--538},
year = {2009},
url = {https://doi.org/10.1016/j.csi.2008.03.021},
doi = {10.1016/J.CSI.2008.03.021},
timestamp = {Thu, 20 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/csi/BasileCG09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/deds/BasileRCS09,
author = {Francesco Basile and
Laura Recalde and
Pasquale Chiacchio and
Manuel Silva Su{\'{a}}rez},
title = {Closed-loop Live Marked Graphs under Generalized Mutual Exclusion
Constraint Enforcement},
journal = {Discret. Event Dyn. Syst.},
volume = {19},
number = {1},
pages = {1--30},
year = {2009},
url = {https://doi.org/10.1007/s10626-008-0050-7},
doi = {10.1007/S10626-008-0050-7},
timestamp = {Mon, 08 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/deds/BasileRCS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijra/BasileCG09,
author = {Francesco Basile and
Pasquale Chiacchio and
Domenico Del Grosso},
title = {Implementation of Hydraulic Servo Controllers with only Position Measure},
journal = {Int. J. Robotics Autom.},
volume = {24},
number = {1},
year = {2009},
url = {https://doi.org/10.2316/Journal.206.2009.1.206-3128},
doi = {10.2316/JOURNAL.206.2009.1.206-3128},
timestamp = {Tue, 11 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ijra/BasileCG09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tac/BasileCT09,
author = {Francesco Basile and
Pasquale Chiacchio and
Gianmaria De Tommasi},
title = {An Efficient Approach for Online Diagnosis of Discrete Event Systems},
journal = {{IEEE} Trans. Autom. Control.},
volume = {54},
number = {4},
pages = {748--759},
year = {2009},
url = {https://doi.org/10.1109/TAC.2009.2014932},
doi = {10.1109/TAC.2009.2014932},
timestamp = {Wed, 20 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tac/BasileCT09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/case/BasileCG09,
author = {Francesco Basile and
Pasquale Chiacchio and
Domenico Del Grosso},
title = {A control oriented model of generalized warehouses based on Colored
Timed Petri Nets},
booktitle = {{IEEE} Conference on Automation Science and Engineering, {CASE} 2009,
Bangalore, India, 22-25 August, 2011},
pages = {48--53},
publisher = {{IEEE}},
year = {2009},
url = {https://doi.org/10.1109/COASE.2009.5234109},
doi = {10.1109/COASE.2009.5234109},
timestamp = {Wed, 16 Oct 2019 14:14:53 +0200},
biburl = {https://dblp.org/rec/conf/case/BasileCG09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/etfa/BasileCG09,
author = {Francesco Basile and
Pasquale Chiacchio and
Domenico Del Grosso},
title = {An Approach to Control Generalized Warehouses},
booktitle = {Proceedings of 12th {IEEE} International Conference on Emerging Technologies
and Factory Automation, {ETFA} 2009, September 22-25, 2008, Palma
de Mallorca, Spain},
pages = {1--8},
publisher = {{IEEE}},
year = {2009},
url = {https://doi.org/10.1109/ETFA.2009.5347079},
doi = {10.1109/ETFA.2009.5347079},
timestamp = {Wed, 16 Oct 2019 14:14:55 +0200},
biburl = {https://dblp.org/rec/conf/etfa/BasileCG09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/etfa/BasileCT09,
author = {Francesco Basile and
Pasquale Chiacchio and
Gianmaria De Tommasi},
title = {Improving Real-time Identification of Petri Nets using Timing Information},
booktitle = {Proceedings of 12th {IEEE} International Conference on Emerging Technologies
and Factory Automation, {ETFA} 2009, September 22-25, 2008, Palma
de Mallorca, Spain},
pages = {1--8},
publisher = {{IEEE}},
year = {2009},
url = {https://doi.org/10.1109/ETFA.2009.5346994},
doi = {10.1109/ETFA.2009.5346994},
timestamp = {Fri, 02 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/etfa/BasileCT09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eucc/BasileCT09,
author = {Francesco Basile and
Pasquale Chiacchio and
Domenico Teta},
title = {Real time simulation of urban traffic},
booktitle = {10th European Control Conference, {ECC} 2009, Budapest, Hungary, 23-26
August 2009},
pages = {4763--4768},
publisher = {{IEEE}},
year = {2009},
url = {https://doi.org/10.23919/ECC.2009.7075153},
doi = {10.23919/ECC.2009.7075153},
timestamp = {Mon, 09 Aug 2021 14:54:02 +0200},
biburl = {https://dblp.org/rec/conf/eucc/BasileCT09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/etfa/BasileCG08,
author = {Francesco Basile and
Pasquale Chiacchio and
Domenico Del Grosso},
title = {UML-based modeling and model-driven development of distributed control
systems},
booktitle = {Proceedings of 13th {IEEE} International Conference on Emerging Technologies
and Factory Automation, {ETFA} 2008, September 15-18, 2008, Hamburg,
Germany},
pages = {1120--1127},
publisher = {{IEEE}},
year = {2008},
url = {https://doi.org/10.1109/ETFA.2008.4638538},
doi = {10.1109/ETFA.2008.4638538},
timestamp = {Wed, 16 Oct 2019 14:14:55 +0200},
biburl = {https://dblp.org/rec/conf/etfa/BasileCG08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tac/BasileCG07,
author = {Francesco Basile and
Pasquale Chiacchio and
Alessandro Giua},
title = {An Optimization Approach to Petri Net Monitor Design},
journal = {{IEEE} Trans. Autom. Control.},
volume = {52},
number = {2},
pages = {306--311},
year = {2007},
url = {https://doi.org/10.1109/TAC.2006.887905},
doi = {10.1109/TAC.2006.887905},
timestamp = {Wed, 20 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tac/BasileCG07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tac/BasileCC07,
author = {Francesco Basile and
Ciro Carbone and
Pasquale Chiacchio},
title = {Feedback Control Logic for Backward Conflict Free Choice Nets},
journal = {{IEEE} Trans. Autom. Control.},
volume = {52},
number = {3},
pages = {387--400},
year = {2007},
url = {https://doi.org/10.1109/TAC.2007.893969},
doi = {10.1109/TAC.2007.893969},
timestamp = {Wed, 20 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tac/BasileCC07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcst/BasileC07,
author = {Francesco Basile and
Pasquale Chiacchio},
title = {On the Implementation of Supervised Control of Discrete Event Systems},
journal = {{IEEE} Trans. Control. Syst. Technol.},
volume = {15},
number = {4},
pages = {725--739},
year = {2007},
url = {https://doi.org/10.1109/TCST.2006.890281},
doi = {10.1109/TCST.2006.890281},
timestamp = {Mon, 08 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcst/BasileC07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acc/BasileGS07,
author = {Francesco Basile and
Alessandro Giua and
Carla Seatzu},
title = {Supervisory Control of Petri Nets with Decentralized Monitor Places},
booktitle = {American Control Conference, {ACC} 2007, New York, NY, USA, 9-13 July,
2007},
pages = {4957--4962},
publisher = {{IEEE}},
year = {2007},
url = {https://doi.org/10.1109/ACC.2007.4282611},
doi = {10.1109/ACC.2007.4282611},
timestamp = {Fri, 03 Dec 2021 13:01:26 +0100},
biburl = {https://dblp.org/rec/conf/acc/BasileGS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/case/BasileGS07,
author = {Francesco Basile and
Alessandro Giua and
Carla Seatzu},
title = {Decentralized Supervisory Control of Petri Nets with Monitor Places},
booktitle = {{IEEE} Conference on Automation Science and Engineering, {CASE} 2007,
September 22-25, 2007. Scottsdale, Arizona, {USA}},
pages = {7--13},
publisher = {{IEEE}},
year = {2007},
url = {https://doi.org/10.1109/COASE.2007.4341728},
doi = {10.1109/COASE.2007.4341728},
timestamp = {Wed, 16 Oct 2019 14:14:53 +0200},
biburl = {https://dblp.org/rec/conf/case/BasileGS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/case/BasileCT07,
author = {Francesco Basile and
Pasquale Chiacchio and
Gianmaria De Tommasi},
title = {Improving on-line fault diagnosis for discrete event systems using
time},
booktitle = {{IEEE} Conference on Automation Science and Engineering, {CASE} 2007,
September 22-25, 2007. Scottsdale, Arizona, {USA}},
pages = {26--32},
publisher = {{IEEE}},
year = {2007},
url = {https://doi.org/10.1109/COASE.2007.4341735},
doi = {10.1109/COASE.2007.4341735},
timestamp = {Thu, 01 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/case/BasileCT07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/automatica/BasileCG06,
author = {Francesco Basile and
Pasquale Chiacchio and
Alessandro Giua},
title = {Suboptimal supervisory control of Petri nets in presence of uncontrollable
transitions via monitor places},
journal = {Autom.},
volume = {42},
number = {6},
pages = {995--1004},
year = {2006},
url = {https://doi.org/10.1016/j.automatica.2006.02.003},
doi = {10.1016/J.AUTOMATICA.2006.02.003},
timestamp = {Thu, 20 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/automatica/BasileCG06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/etfa/BasileGS05,
author = {Francesco Basile and
Alessandro Giua and
Carla Seatzu},
title = {Decentralized supervisory control of Petri nets with monitor places},
booktitle = {Proceedings of 10th {IEEE} International Conference on Emerging Technologies
and Factory Automation, {ETFA} 2005, September 19-22, 2005, Catania,
Italy},
publisher = {{IEEE}},
year = {2005},
url = {https://doi.org/10.1109/ETFA.2005.1612532},
doi = {10.1109/ETFA.2005.1612532},
timestamp = {Wed, 16 Oct 2019 14:14:55 +0200},
biburl = {https://dblp.org/rec/conf/etfa/BasileGS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jim/BasileCVM04,
author = {Francesco Basile and
Pasquale Chiacchio and
Valeria Vittorini and
Nicola Mazzocca},
title = {Modeling and logic controller specification of flexible manufacturing
systems using behavioral traces and Petri net building blocks},
journal = {J. Intell. Manuf.},
volume = {15},
number = {3},
pages = {351--371},
year = {2004},
url = {https://doi.org/10.1023/B\%3AJIMS.0000026573.94990.d5},
doi = {10.1023/B\%3AJIMS.0000026573.94990.D5},
timestamp = {Thu, 24 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jim/BasileCVM04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tac/GiuaSB04,
author = {Alessandro Giua and
Carla Seatzu and
Francesco Basile},
title = {Observer-based state-feedback control of timed Petri nets with deadlock
recovery},
journal = {{IEEE} Trans. Autom. Control.},
volume = {49},
number = {1},
pages = {17--29},
year = {2004},
url = {https://doi.org/10.1109/TAC.2003.821419},
doi = {10.1109/TAC.2003.821419},
timestamp = {Wed, 20 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tac/GiuaSB04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/smc/BasileCCBA04,
author = {Francesco Basile and
Ciro Carbone and
Pasquale Chiacchio and
Ren{\'{e}} K. Boel and
Camelia C. Avram},
title = {A hybrid model for urban traffic control},
booktitle = {Proceedings of the {IEEE} International Conference on Systems, Man
{\&} Cybernetics: The Hague, Netherlands, 10-13 October 2004},
pages = {1795--1800},
publisher = {{IEEE}},
year = {2004},
url = {https://doi.org/10.1109/ICSMC.2004.1399907},
doi = {10.1109/ICSMC.2004.1399907},
timestamp = {Mon, 05 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/smc/BasileCCBA04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/robotica/BasileC03,
author = {Francesco Basile and
Pasquale Chiacchio},
title = {A contribution tominimum-time task-space path-following problem for
redundant manipulators},
journal = {Robotica},
volume = {21},
number = {2},
pages = {137--142},
year = {2003},
url = {https://doi.org/10.1017/S0263574702004678},
doi = {10.1017/S0263574702004678},
timestamp = {Thu, 08 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/robotica/BasileC03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eucc/BasileCC03,
author = {Francesco Basile and
Ciro Carbone and
Pasquale Chiacchio},
title = {A reachable throughput upper bound for live and safe free choice nets
via T-invariants},
booktitle = {7th European Control Conference, {ECC} 2003, Cambridge, UK, September
1-4, 2003},
pages = {624--629},
publisher = {{IEEE}},
year = {2003},
url = {https://doi.org/10.23919/ECC.2003.7085025},
doi = {10.23919/ECC.2003.7085025},
timestamp = {Fri, 05 Mar 2021 13:39:31 +0100},
biburl = {https://dblp.org/rec/conf/eucc/BasileCC03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icra/BasileCC03,
author = {Francesco Basile and
Ciro Carbone and
Pasquale Chiacchio},
title = {Petri net controllers to enforce disjunction of GMECs},
booktitle = {Proceedings of the 2003 {IEEE} International Conference on Robotics
and Automation, {ICRA} 2003, September 14-19, 2003, Taipei, Taiwan},
pages = {1440--1445},
publisher = {{IEEE}},
year = {2003},
url = {https://doi.org/10.1109/ROBOT.2003.1241794},
doi = {10.1109/ROBOT.2003.1241794},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icra/BasileCC03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/smc/BasileCC03,
author = {Francesco Basile and
Ciro Carbone and
Pasquale Chiacchio},
title = {An approach to enforce disjunction of GMECs on controlled Petri Nets},
booktitle = {Proceedings of the {IEEE} International Conference on Systems, Man
{\&} Cybernetics: Washington, D.C., USA, 5-8 October 2003},
pages = {1852--1859},
publisher = {{IEEE}},
year = {2003},
url = {https://doi.org/10.1109/ICSMC.2003.1244681},
doi = {10.1109/ICSMC.2003.1244681},
timestamp = {Wed, 16 Oct 2019 14:14:51 +0200},
biburl = {https://dblp.org/rec/conf/smc/BasileCC03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cdc/GiuaSB02,
author = {Alessandro Giua and
Carla Seatzu and
Francesco Basile},
title = {Petri net control using event observers and timing information},
booktitle = {41st {IEEE} Conference on Decision and Control, {CDC} 2002, Las Vegas,
NV, USA, December 10-13, 2002},
pages = {787--792},
publisher = {{IEEE}},
year = {2002},
url = {https://doi.org/10.1109/CDC.2002.1184601},
doi = {10.1109/CDC.2002.1184601},
timestamp = {Tue, 08 Mar 2022 11:46:48 +0100},
biburl = {https://dblp.org/rec/conf/cdc/GiuaSB02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icra/AmatoBC02,
author = {Francesco Amato and
Francesco Basile and
Pasquale Chiacchio},
title = {Crane and Shuttle Optimization in Warehousing Systems},
booktitle = {Proceedings of the 2002 {IEEE} International Conference on Robotics
and Automation, {ICRA} 2002, May 11-15, 2002, Washington, DC, {USA}},
pages = {4039--4045},
publisher = {{IEEE}},
year = {2002},
url = {https://doi.org/10.1109/ROBOT.2002.1014370},
doi = {10.1109/ROBOT.2002.1014370},
timestamp = {Wed, 01 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icra/AmatoBC02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/etfa/AmatoB01,
author = {Francesco Amato and
Francesco Basile},
title = {Optimal control of warehousing systems with simultaneous crane and
shuttle optimization},
booktitle = {Proceedings of 8th {IEEE} International Conference on Emerging Technologies
and Factory Automation, {ETFA} 2001, October 15-18, 2001, Antibes/Juan
les Pins, France - Volume 2},
pages = {95--104},
publisher = {{IEEE}},
year = {2001},
url = {https://doi.org/10.1109/ETFA.2001.997675},
doi = {10.1109/ETFA.2001.997675},
timestamp = {Wed, 01 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/etfa/AmatoB01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/etfa/BasileCGS01,
author = {Francesco Basile and
Pasquale Chiacchio and
Alessandro Giua and
Carla Seatzu},
title = {Deadlock recovery of Petri net models controlled using observers},
booktitle = {Proceedings of 8th {IEEE} International Conference on Emerging Technologies
and Factory Automation, {ETFA} 2001, October 15-18, 2001, Antibes/Juan
les Pins, France - Volume 2},
pages = {441--449},
publisher = {{IEEE}},
year = {2001},
url = {https://doi.org/10.1109/ETFA.2001.997718},
doi = {10.1109/ETFA.2001.997718},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/etfa/BasileCGS01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cdc/BasileCG00,
author = {Francesco Basile and
Pasquale Chiacchio and
Alessandro Giua},
title = {Petri net monitor design with control and observation costs},
booktitle = {39th {IEEE} Conference on Decision and Control, {CDC} 2000, Sydney,
Australia, December 12-15, 2000},
pages = {424--429},
publisher = {{IEEE}},
year = {2000},
url = {https://doi.org/10.1109/CDC.2000.912800},
doi = {10.1109/CDC.2000.912800},
timestamp = {Thu, 31 Mar 2022 11:10:43 +0200},
biburl = {https://dblp.org/rec/conf/cdc/BasileCG00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pdse/BasileCVM99,
author = {Francesco Basile and
Pasquale Chiacchio and
Valeria Vittorini and
Nicola Mazzocca},
title = {Specification and Modeling of Flexible Manufacturing Systems Using
Behaviors and Petri Nets Building Blocks},
booktitle = {International Symposium on Software Engineering for Parallel and Distributed
Systems, {PDSE} 1999, Los Angeles, California, USA, May 17-18, 1999},
pages = {110--123},
publisher = {{IEEE} Computer Society},
year = {1999},
url = {https://doi.org/10.1109/PDSE.1999.779743},
doi = {10.1109/PDSE.1999.779743},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pdse/BasileCVM99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/smc/BasileCG98,
author = {Francesco Basile and
Pasquale Chiacchio and
Alessandro Giua},
title = {On the choice of suboptimal monitors for supervisory control of Petri
nets},
booktitle = {Proceedings of the {IEEE} International Conference on Systems, Man
and Cybernetics, {SMC} 1998, Hyatt Regency La Jolla, San Diego, California,
USA, October 11-14,1998},
pages = {752--757},
publisher = {{IEEE}},
year = {1998},
url = {https://doi.org/10.1109/ICSMC.1998.725504},
doi = {10.1109/ICSMC.1998.725504},
timestamp = {Wed, 16 Oct 2019 14:14:51 +0200},
biburl = {https://dblp.org/rec/conf/smc/BasileCG98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-21 18:10 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
