Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Carla Seatzu
@article{DBLP:journals/tac/MaTS24,
author = {Ziyue Ma and
Yin Tong and
Carla Seatzu},
title = {Verification of Pattern-Pattern Diagnosability in Partially Observed
Discrete Event Systems},
journal = {{IEEE} Trans. Autom. Control.},
volume = {69},
number = {3},
pages = {2044--2051},
year = {2024},
url = {https://doi.org/10.1109/TAC.2023.3319154},
doi = {10.1109/TAC.2023.3319154},
timestamp = {Sat, 16 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tac/MaTS24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tac/RanLHS23,
author = {Ning Ran and
Tingting Li and
Zhou He and
Carla Seatzu},
title = {Codiagnosability Enforcement in Labeled Petri Nets},
journal = {{IEEE} Trans. Autom. Control.},
volume = {68},
number = {4},
pages = {2436--2443},
year = {2023},
url = {https://doi.org/10.1109/TAC.2022.3173170},
doi = {10.1109/TAC.2022.3173170},
timestamp = {Sun, 16 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tac/RanLHS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cdc/LefebvreSHG23,
author = {Dimitri Lefebvre and
Carla Seatzu and
Christoforos N. Hadjicostis and
Alessandro Giua},
title = {Logical and probabilistic aspects of state estimation for Markovian
systems},
booktitle = {62nd {IEEE} Conference on Decision and Control, {CDC} 2023, Singapore,
December 13-15, 2023},
pages = {6929--6935},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/CDC49753.2023.10383800},
doi = {10.1109/CDC49753.2023.10383800},
timestamp = {Mon, 29 Jan 2024 17:30:32 +0100},
biburl = {https://dblp.org/rec/conf/cdc/LefebvreSHG23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cdc/KangS0G23,
author = {Tenglong Kang and
Carla Seatzu and
Zhiwu Li and
Alessandro Giua},
title = {Fault Diagnosis of Discrete Event Systems Under Attack},
booktitle = {62nd {IEEE} Conference on Decision and Control, {CDC} 2023, Singapore,
December 13-15, 2023},
pages = {7923--7929},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/CDC49753.2023.10383814},
doi = {10.1109/CDC49753.2023.10383814},
timestamp = {Mon, 29 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cdc/KangS0G23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/codit/DeplanoFS23,
author = {Diego Deplano and
Mauro Franceschelli and
Carla Seatzu},
title = {Experimental Comparison of Models of the Drying-Cooling Process of
Flatbreads for Optimized Automated Production: the Case Study of Carasau
Bread},
booktitle = {9th International Conference on Control, Decision and Information
Technologies, CoDIT 2023, Rome, Italy, July 3-6, 2023},
pages = {2014--2019},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/CoDIT58514.2023.10284195},
doi = {10.1109/CODIT58514.2023.10284195},
timestamp = {Sat, 11 Nov 2023 12:58:26 +0100},
biburl = {https://dblp.org/rec/conf/codit/DeplanoFS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/codit/LiuSG23,
author = {Tianyu Liu and
Carla Seatzu and
Alessandro Giua},
title = {Verification of Current State Opacity using Switching Output Automata},
booktitle = {9th International Conference on Control, Decision and Information
Technologies, CoDIT 2023, Rome, Italy, July 3-6, 2023},
pages = {2665--2670},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/CoDIT58514.2023.10284385},
doi = {10.1109/CODIT58514.2023.10284385},
timestamp = {Sat, 11 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/codit/LiuSG23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/automatica/TongLS22,
author = {Yin Tong and
Hao Lan and
Carla Seatzu},
title = {Verification of K-step and infinite-step opacity of bounded labeled
Petri nets},
journal = {Autom.},
volume = {140},
pages = {110221},
year = {2022},
url = {https://doi.org/10.1016/j.automatica.2022.110221},
doi = {10.1016/J.AUTOMATICA.2022.110221},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/automatica/TongLS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/automatica/CaiGS22,
author = {Kai Cai and
Alessandro Giua and
Carla Seatzu},
title = {Consistent reduction in discrete-event systems},
journal = {Autom.},
volume = {142},
pages = {110333},
year = {2022},
url = {https://doi.org/10.1016/j.automatica.2022.110333},
doi = {10.1016/J.AUTOMATICA.2022.110333},
timestamp = {Thu, 30 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/automatica/CaiGS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/csysl/HadjicostisLS22,
author = {Christoforos N. Hadjicostis and
St{\'{e}}phane Lafortune and
Carla Seatzu},
title = {Guest Editorial to the Special Section of {L-CSS} on Fragility and
Resiliency in Cyber-Physical Discrete-Event Systems},
journal = {{IEEE} Control. Syst. Lett.},
volume = {6},
pages = {2929},
year = {2022},
url = {https://doi.org/10.1109/LCSYS.2022.3178814},
doi = {10.1109/LCSYS.2022.3178814},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/csysl/HadjicostisLS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/csysl/DashtiOSGF22,
author = {Zoreh Al Zahra Sanai Dashti and
Gabriele Oliva and
Carla Seatzu and
Andrea Gasparri and
Mauro Franceschelli},
title = {Distributed Mode Computation in Open Multi-Agent Systems},
journal = {{IEEE} Control. Syst. Lett.},
volume = {6},
pages = {3481--3486},
year = {2022},
url = {https://doi.org/10.1109/LCSYS.2022.3185419},
doi = {10.1109/LCSYS.2022.3185419},
timestamp = {Thu, 25 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/csysl/DashtiOSGF22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/deds/LefebvreSHG22,
author = {Dimitri Lefebvre and
Carla Seatzu and
Christoforos N. Hadjicostis and
Alessandro Giua},
title = {Probabilistic state estimation for labeled continuous time Markov
models with applications to attack detection},
journal = {Discret. Event Dyn. Syst.},
volume = {32},
number = {1},
pages = {65--88},
year = {2022},
url = {https://doi.org/10.1007/s10626-021-00348-y},
doi = {10.1007/S10626-021-00348-Y},
timestamp = {Fri, 01 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/deds/LefebvreSHG22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/deds/LefebvreSHG22a,
author = {Dimitri Lefebvre and
Carla Seatzu and
Christoforos N. Hadjicostis and
Alessandro Giua},
title = {Correction to: Probabilistic state estimation for labeled continuous
time Markov models with applications to attack detection},
journal = {Discret. Event Dyn. Syst.},
volume = {32},
number = {3},
pages = {539--544},
year = {2022},
url = {https://doi.org/10.1007/s10626-022-00364-6},
doi = {10.1007/S10626-022-00364-6},
timestamp = {Thu, 22 Sep 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/deds/LefebvreSHG22a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tac/YouWZS22,
author = {Dan You and
ShouGuang Wang and
MengChu Zhou and
Carla Seatzu},
title = {Supervisory Control of Petri Nets in the Presence of Replacement Attacks},
journal = {{IEEE} Trans. Autom. Control.},
volume = {67},
number = {3},
pages = {1466--1473},
year = {2022},
url = {https://doi.org/10.1109/TAC.2021.3063699},
doi = {10.1109/TAC.2021.3063699},
timestamp = {Fri, 01 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tac/YouWZS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tac/RanHS22,
author = {Ning Ran and
Jinyuan Hao and
Carla Seatzu},
title = {Prognosability Analysis and Enforcement of Bounded Labeled Petri Nets},
journal = {{IEEE} Trans. Autom. Control.},
volume = {67},
number = {10},
pages = {5541--5547},
year = {2022},
url = {https://doi.org/10.1109/TAC.2021.3118655},
doi = {10.1109/TAC.2021.3118655},
timestamp = {Tue, 18 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tac/RanHS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tase/CavoneBBDSS22,
author = {Graziana Cavone and
Ton J. J. van den Boom and
Lex Blenkers and
Mariagrazia Dotoli and
Carla Seatzu and
Bart De Schutter},
title = {An MPC-Based Rescheduling Algorithm for Disruptions and Disturbances
in Large-Scale Railway Networks},
journal = {{IEEE} Trans Autom. Sci. Eng.},
volume = {19},
number = {1},
pages = {99--112},
year = {2022},
url = {https://doi.org/10.1109/TASE.2020.3040940},
doi = {10.1109/TASE.2020.3040940},
timestamp = {Wed, 16 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tase/CavoneBBDSS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tase/LanTS22,
author = {Hao Lan and
Yin Tong and
Carla Seatzu},
title = {Crucial States Estimation in Radio Block Center Handover Using Petri
Nets With Unobservable Transitions},
journal = {{IEEE} Trans Autom. Sci. Eng.},
volume = {19},
number = {2},
pages = {1268--1276},
year = {2022},
url = {https://doi.org/10.1109/TASE.2021.3133910},
doi = {10.1109/TASE.2021.3133910},
timestamp = {Wed, 27 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tase/LanTS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tsmc/YouWS22,
author = {Dan You and
Shouguang Wang and
Carla Seatzu},
title = {A Liveness-Enforcing Supervisor Tolerant to Sensor-Reading Modification
Attacks},
journal = {{IEEE} Trans. Syst. Man Cybern. Syst.},
volume = {52},
number = {4},
pages = {2398--2411},
year = {2022},
url = {https://doi.org/10.1109/TSMC.2021.3051096},
doi = {10.1109/TSMC.2021.3051096},
timestamp = {Wed, 27 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tsmc/YouWS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cdc/DashtiDSF22,
author = {Zohreh Al Zahra Sanai Dashti and
Diego Deplano and
Carla Seatzu and
Mauro Franceschelli},
title = {Resilient Self-Organizing Networks in Multi-Agent Systems via Approximate
Random k-Regular Graphs},
booktitle = {61st {IEEE} Conference on Decision and Control, {CDC} 2022, Cancun,
Mexico, December 6-9, 2022},
pages = {6448--6453},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.1109/CDC51059.2022.9992489},
doi = {10.1109/CDC51059.2022.9992489},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cdc/DashtiDSF22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/access/ZhangSLG21,
author = {Qi Zhang and
Carla Seatzu and
Zhiwu Li and
Alessandro Giua},
title = {Joint State Estimation Under Attack of Discrete Event Systems},
journal = {{IEEE} Access},
volume = {9},
pages = {168068--168079},
year = {2021},
url = {https://doi.org/10.1109/ACCESS.2021.3135870},
doi = {10.1109/ACCESS.2021.3135870},
timestamp = {Fri, 29 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/access/ZhangSLG21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cdc/TongLS21,
author = {Yin Tong and
Jiate Luo and
Carla Seatzu},
title = {State Estimation of Discrete-Event Systems Subject to Intermittent
and Permanent Loss of Observations},
booktitle = {2021 60th {IEEE} Conference on Decision and Control (CDC), Austin,
TX, USA, December 14-17, 2021},
pages = {1048--1053},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/CDC45484.2021.9683601},
doi = {10.1109/CDC45484.2021.9683601},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cdc/TongLS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/med/WardiSS21,
author = {Yorai Wardi and
Carla Seatzu and
Shashwat Shivam},
title = {Application of an Output Tracking Technique to Formation Control},
booktitle = {29th Mediterranean Conference on Control and Automation, {MED} 2021,
Bari, Italy, June 22-25, 2021},
pages = {898--903},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/MED51440.2021.9480346},
doi = {10.1109/MED51440.2021.9480346},
timestamp = {Wed, 21 Jul 2021 15:31:25 +0200},
biburl = {https://dblp.org/rec/conf/med/WardiSS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2103-00234,
author = {Dan You and
Shouguang Wang and
Carla Seatzu},
title = {Generalized Current-State Opacity With Dynamically Changing Secrets},
journal = {CoRR},
volume = {abs/2103.00234},
year = {2021},
url = {https://arxiv.org/abs/2103.00234},
eprinttype = {arXiv},
eprint = {2103.00234},
timestamp = {Thu, 04 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2103-00234.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/isci/LanTGS20,
author = {Hao Lan and
Yin Tong and
Jin Guo and
Carla Seatzu},
title = {Verification of C-detectability using Petri nets},
journal = {Inf. Sci.},
volume = {528},
pages = {294--310},
year = {2020},
url = {https://doi.org/10.1016/j.ins.2020.04.024},
doi = {10.1016/J.INS.2020.04.024},
timestamp = {Tue, 16 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/isci/LanTGS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tac/GiuaLS20,
author = {Alessandro Giua and
St{\'{e}}phane Lafortune and
Carla Seatzu},
title = {Divergence Properties of Labeled Petri Nets and Their Relevance for
Diagnosability Analysis},
journal = {{IEEE} Trans. Autom. Control.},
volume = {65},
number = {7},
pages = {3092--3097},
year = {2020},
url = {https://doi.org/10.1109/TAC.2019.2947650},
doi = {10.1109/TAC.2019.2947650},
timestamp = {Wed, 26 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tac/GiuaLS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tase/CavoneDEMS20,
author = {Graziana Cavone and
Mariagrazia Dotoli and
Nicola Epicoco and
Davide Morelli and
Carla Seatzu},
title = {Design of Modern Supply Chain Networks Using Fuzzy Bargaining Game
and Data Envelopment Analysis},
journal = {{IEEE} Trans Autom. Sci. Eng.},
volume = {17},
number = {3},
pages = {1221--1236},
year = {2020},
url = {https://doi.org/10.1109/TASE.2020.2977452},
doi = {10.1109/TASE.2020.2977452},
timestamp = {Fri, 31 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tase/CavoneDEMS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/etfa/GaoLSLG20,
author = {Chao Gao and
Dimitri Lefebvre and
Carla Seatzu and
Zhiwu Li and
Alessandro Giua},
title = {A region-based approach for state estimation of timed automata under
no event observation},
booktitle = {25th {IEEE} International Conference on Emerging Technologies and
Factory Automation, {ETFA} 2020, Vienna, Austria, September 8-11,
2020},
pages = {799--804},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/ETFA46521.2020.9211942},
doi = {10.1109/ETFA46521.2020.9211942},
timestamp = {Fri, 29 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/etfa/GaoLSLG20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2005-00212,
author = {Qi Zhang and
Carla Seatzu and
Zhiwu Li and
Alessandro Giua},
title = {A framework for the analysis of supervised discrete event systems
under attack},
journal = {CoRR},
volume = {abs/2005.00212},
year = {2020},
url = {https://arxiv.org/abs/2005.00212},
eprinttype = {arXiv},
eprint = {2005.00212},
timestamp = {Fri, 29 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2005-00212.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijpr/DotoliFMS19,
author = {Mariagrazia Dotoli and
Alexander Fay and
Marek Miskowicz and
Carla Seatzu},
title = {An overview of current technologies and emerging trends in factory
automation},
journal = {Int. J. Prod. Res.},
volume = {57},
number = {15-16},
pages = {5047--5067},
year = {2019},
url = {https://doi.org/10.1080/00207543.2018.1510558},
doi = {10.1080/00207543.2018.1510558},
timestamp = {Thu, 16 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijpr/DotoliFMS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/isci/YouWS19,
author = {Dan You and
ShouGuang Wang and
Carla Seatzu},
title = {Supervisory control of a class of Petri nets with unobservable and
uncontrollable transitions},
journal = {Inf. Sci.},
volume = {501},
pages = {635--654},
year = {2019},
url = {https://doi.org/10.1016/j.ins.2018.10.018},
doi = {10.1016/J.INS.2018.10.018},
timestamp = {Thu, 08 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/isci/YouWS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tac/RanGS19,
author = {Ning Ran and
Alessandro Giua and
Carla Seatzu},
title = {Enforcement of Diagnosability in Labeled Petri Nets via Optimal Sensor
Selection},
journal = {{IEEE} Trans. Autom. Control.},
volume = {64},
number = {7},
pages = {2997--3004},
year = {2019},
url = {https://doi.org/10.1109/TAC.2018.2874020},
doi = {10.1109/TAC.2018.2874020},
timestamp = {Wed, 20 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tac/RanGS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tac/YouWS19,
author = {Dan You and
ShouGuang Wang and
Carla Seatzu},
title = {Verification of Fault-predictability in Labeled Petri Nets Using Predictor
Graphs},
journal = {{IEEE} Trans. Autom. Control.},
volume = {64},
number = {10},
pages = {4353--4360},
year = {2019},
url = {https://doi.org/10.1109/TAC.2019.2897272},
doi = {10.1109/TAC.2019.2897272},
timestamp = {Wed, 20 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tac/YouWS19.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/case/CaiGS19,
author = {Kai Cai and
Alessandro Giua and
Carla Seatzu},
title = {On Consistent Reduction in Discrete-Event Systems},
booktitle = {15th {IEEE} International Conference on Automation Science and Engineering,
{CASE} 2019, Vancouver, BC, Canada, August 22-26, 2019},
pages = {474--479},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/COASE.2019.8843091},
doi = {10.1109/COASE.2019.8843091},
timestamp = {Wed, 16 Oct 2019 14:14:53 +0200},
biburl = {https://dblp.org/rec/conf/case/CaiGS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cdc/DashtiSF19,
author = {Zohreh Al Zahra Sanai Dashti and
Carla Seatzu and
Mauro Franceschelli},
title = {Dynamic Consensus on the Median Value in Open Multi-Agent Systems},
booktitle = {58th {IEEE} Conference on Decision and Control, {CDC} 2019, Nice,
France, December 11-13, 2019},
pages = {3691--3697},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/CDC40024.2019.9029451},
doi = {10.1109/CDC40024.2019.9029451},
timestamp = {Fri, 04 Mar 2022 13:30:46 +0100},
biburl = {https://dblp.org/rec/conf/cdc/DashtiSF19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/codit/CavoneBBDSS19,
author = {Graziana Cavone and
Lex Blenkers and
Ton J. J. van den Boom and
Mariagrazia Dotoli and
Carla Seatzu and
Bart De Schutter},
title = {Railway disruption: a bi-level rescheduling algorithm},
booktitle = {6th International Conference on Control, Decision and Information
Technologies, CoDIT 2019, Paris, France, April 23-26, 2019},
pages = {54--59},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/CoDIT.2019.8820380},
doi = {10.1109/CODIT.2019.8820380},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/codit/CavoneBBDSS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/etfa/Seatzu19,
author = {Carla Seatzu},
title = {Modeling, analysis, and control of automated manufacturing systems
using Petri nets},
booktitle = {24th {IEEE} International Conference on Emerging Technologies and
Factory Automation, {ETFA} 2019, Zaragoza, Spain, September 10-13,
2019},
pages = {27--30},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/ETFA.2019.8869012},
doi = {10.1109/ETFA.2019.8869012},
timestamp = {Thu, 24 Oct 2019 15:50:20 +0200},
biburl = {https://dblp.org/rec/conf/etfa/Seatzu19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eucc/ShivamBWSE19,
author = {Shashwat Shivam and
Ian Buckley and
Yorai Wardi and
Carla Seatzu and
Magnus Egerstedt},
title = {Tracking Control by the Newton-Raphson Flow: Applications to Autonomous
Vehicles},
booktitle = {17th European Control Conference, {ECC} 2019, Naples, Italy, June
25-28, 2019},
pages = {1562--1567},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.23919/ECC.2019.8796157},
doi = {10.23919/ECC.2019.8796157},
timestamp = {Thu, 11 Feb 2021 14:14:57 +0100},
biburl = {https://dblp.org/rec/conf/eucc/ShivamBWSE19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/smc/GaoSLG19,
author = {Chao Gao and
Carla Seatzu and
Zhiwu Li and
Alessandro Giua},
title = {Multiple Attacks Detection on Discrete Event Systems},
booktitle = {2019 {IEEE} International Conference on Systems, Man and Cybernetics,
{SMC} 2019, Bari, Italy, October 6-9, 2019},
pages = {2352--2357},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/SMC.2019.8914035},
doi = {10.1109/SMC.2019.8914035},
timestamp = {Fri, 29 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/smc/GaoSLG19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1903-07827,
author = {Hao Lan and
Yin Tong and
Jin Guo and
Carla Seatzu},
title = {Verification of C-detectability Using Petri Nets},
journal = {CoRR},
volume = {abs/1903.07827},
year = {2019},
url = {http://arxiv.org/abs/1903.07827},
eprinttype = {arXiv},
eprint = {1903.07827},
timestamp = {Mon, 01 Apr 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1903-07827.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1903-09298,
author = {Hao Lan and
Yin Tong and
Carla Seatzu and
Jin Guo},
title = {Verification of Detectability in Petri Nets Using Verifier Nets},
journal = {CoRR},
volume = {abs/1903.09298},
year = {2019},
url = {http://arxiv.org/abs/1903.09298},
eprinttype = {arXiv},
eprint = {1903.09298},
timestamp = {Mon, 01 Apr 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1903-09298.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1906-10207,
author = {Qi Zhang and
Carla Seatzu and
Zhiwu Li and
Alessandro Giua},
title = {Cyber attacks with bounded sensor reading edits for partially-observed
discrete event systems},
journal = {CoRR},
volume = {abs/1906.10207},
year = {2019},
url = {http://arxiv.org/abs/1906.10207},
eprinttype = {arXiv},
eprint = {1906.10207},
timestamp = {Fri, 29 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1906-10207.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1908-09604,
author = {Hao Lan and
Yin Tong and
Jin Guo and
Carla Seatzu},
title = {Verification of Detectability Using Petri Nets and Detector},
journal = {CoRR},
volume = {abs/1908.09604},
year = {2019},
url = {http://arxiv.org/abs/1908.09604},
eprinttype = {arXiv},
eprint = {1908.09604},
timestamp = {Thu, 29 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1908-09604.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1909-05138,
author = {Hao Lan and
Yin Tong and
Jin Guo and
Carla Seatzu},
title = {Verification of infinite-step and K-step opacity Using Petri Nets},
journal = {CoRR},
volume = {abs/1909.05138},
year = {2019},
url = {http://arxiv.org/abs/1909.05138},
eprinttype = {arXiv},
eprint = {1909.05138},
timestamp = {Tue, 17 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1909-05138.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/candie/ZandaZS18,
author = {Simone Zanda and
Paola Zuddas and
Carla Seatzu},
title = {Long term nurse scheduling via a decision support system based on
linear integer programming: {A} case study at the University Hospital
in Cagliari},
journal = {Comput. Ind. Eng.},
volume = {126},
pages = {337--347},
year = {2018},
url = {https://doi.org/10.1016/j.cie.2018.09.027},
doi = {10.1016/J.CIE.2018.09.027},
timestamp = {Thu, 20 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/candie/ZandaZS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/deds/TongLSG18,
author = {Yin Tong and
Zhiwu Li and
Carla Seatzu and
Alessandro Giua},
title = {Current-state opacity enforcement in discrete event systems under
incomparable observations},
journal = {Discret. Event Dyn. Syst.},
volume = {28},
number = {2},
pages = {161--182},
year = {2018},
url = {https://doi.org/10.1007/s10626-017-0264-7},
doi = {10.1007/S10626-017-0264-7},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/deds/TongLSG18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tac/RanSGS18,
author = {Ning Ran and
Hongye Su and
Alessandro Giua and
Carla Seatzu},
title = {Codiagnosability Analysis of Bounded Petri Nets},
journal = {{IEEE} Trans. Autom. Control.},
volume = {63},
number = {4},
pages = {1192--1199},
year = {2018},
url = {https://doi.org/10.1109/TAC.2017.2742659},
doi = {10.1109/TAC.2017.2742659},
timestamp = {Wed, 20 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tac/RanSGS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tits/CavoneDS18,
author = {Graziana Cavone and
Mariagrazia Dotoli and
Carla Seatzu},
title = {A Survey on Petri Net Models for Freight Logistics and Transportation
Systems},
journal = {{IEEE} Trans. Intell. Transp. Syst.},
volume = {19},
number = {6},
pages = {1795--1813},
year = {2018},
url = {https://doi.org/10.1109/TITS.2017.2737788},
doi = {10.1109/TITS.2017.2737788},
timestamp = {Tue, 24 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tits/CavoneDS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tsmc/WangYS18,
author = {Shouguang Wang and
Dan You and
Carla Seatzu},
title = {A Novel Approach for Constraint Transformation in Petri Nets With
Uncontrollable Transitions},
journal = {{IEEE} Trans. Syst. Man Cybern. Syst.},
volume = {48},
number = {8},
pages = {1403--1410},
year = {2018},
url = {https://doi.org/10.1109/TSMC.2017.2665479},
doi = {10.1109/TSMC.2017.2665479},
timestamp = {Wed, 20 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tsmc/WangYS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adhs/WardiSE18,
author = {Yorai Wardi and
Carla Seatzu and
Magnus Egerstedt},
editor = {Alessandro Abate and
Antoine Girard and
Maurice Heemels},
title = {Tracking Control via Variable-gain Integrator and Lookahead Simulation:
Application to Leader-follower Multiagent Networks},
booktitle = {6th {IFAC} Conference on Analysis and Design of Hybrid Systems, {ADHS}
2018, Oxford, UK, July 11-13, 2018},
series = {IFAC-PapersOnLine},
volume = {51},
number = {16},
pages = {217--222},
publisher = {Elsevier},
year = {2018},
url = {https://doi.org/10.1016/j.ifacol.2018.08.037},
doi = {10.1016/J.IFACOL.2018.08.037},
timestamp = {Mon, 08 Oct 2018 13:49:16 +0200},
biburl = {https://dblp.org/rec/conf/adhs/WardiSE18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/LefaucheuxGS18,
author = {Engel Lefaucheux and
Alessandro Giua and
Carla Seatzu},
editor = {Victor Khomenko and
Olivier H. Roux},
title = {Basis Coverability Graph for Partially Observable Petri Nets with
Application to Diagnosability Analysis},
booktitle = {Application and Theory of Petri Nets and Concurrency - 39th International
Conference, {PETRI} {NETS} 2018, Bratislava, Slovakia, June 24-29,
2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10877},
pages = {164--183},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-91268-4\_9},
doi = {10.1007/978-3-319-91268-4\_9},
timestamp = {Tue, 14 May 2019 10:00:45 +0200},
biburl = {https://dblp.org/rec/conf/apn/LefaucheuxGS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/case/CavoneDEMS18,
author = {Graziana Cavone and
Mariagrazia Dotoli and
Nicola Epicoco and
Davide Morelli and
Carla Seatzu},
title = {A Game-theoretical Design Technique for Multi-stage Supply Chains
under Uncertainty},
booktitle = {14th {IEEE} International Conference on Automation Science and Engineering,
{CASE} 2018, Munich, Germany, August 20-24, 2018},
pages = {528--533},
publisher = {{IEEE}},
year = {2018},
url = {https://doi.org/10.1109/COASE.2018.8560501},
doi = {10.1109/COASE.2018.8560501},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/case/CavoneDEMS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/etfa/RanHHS18,
author = {Ning Ran and
Jinyuan Hao and
Zhou He and
Carla Seatzu},
title = {Diagnosability analysis of bounded Petri nets},
booktitle = {23rd {IEEE} International Conference on Emerging Technologies and
Factory Automation, {ETFA} 2018, Torino, Italy, September 4-7, 2018},
pages = {1145--1148},
publisher = {{IEEE}},
year = {2018},
url = {https://doi.org/10.1109/ETFA.2018.8502652},
doi = {10.1109/ETFA.2018.8502652},
timestamp = {Fri, 03 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/etfa/RanHHS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/etfa/ZhangLSG18,
author = {Qi Zhang and
Zhiwu Li and
Carla Seatzu and
Alessandro Giua},
title = {Stealthy Attacks for Partially-Observed Discrete Event Systems},
booktitle = {23rd {IEEE} International Conference on Emerging Technologies and
Factory Automation, {ETFA} 2018, Torino, Italy, September 4-7, 2018},
pages = {1161--1164},
publisher = {{IEEE}},
year = {2018},
url = {https://doi.org/10.1109/ETFA.2018.8502501},
doi = {10.1109/ETFA.2018.8502501},
timestamp = {Fri, 29 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/etfa/ZhangLSG18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/smc/YouWDDBS18,
author = {Dan You and
Shouguang Wang and
Hao Dou and
Wenli Duo and
Kamel Barkaoui and
Carla Seatzu},
title = {Liveness Enforcement for a Class of Petri Nets via Resource Allocation},
booktitle = {{IEEE} International Conference on Systems, Man, and Cybernetics,
{SMC} 2018, Miyazaki, Japan, October 7-10, 2018},
pages = {4369--4374},
publisher = {{IEEE}},
year = {2018},
url = {https://doi.org/10.1109/SMC.2018.00738},
doi = {10.1109/SMC.2018.00738},
timestamp = {Wed, 16 Oct 2019 14:14:51 +0200},
biburl = {https://dblp.org/rec/conf/smc/YouWDDBS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1811-08033,
author = {Shashwat Shivam and
Ian Buckley and
Yorai Wardi and
Carla Seatzu and
Magnus Egerstedt},
title = {Tracking Control by the Newton-Raphson Flow: Applications to Autonomous
Vehicles},
journal = {CoRR},
volume = {abs/1811.08033},
year = {2018},
url = {http://arxiv.org/abs/1811.08033},
eprinttype = {arXiv},
eprint = {1811.08033},
timestamp = {Mon, 26 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1811-08033.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/automatica/TongLSG17,
author = {Yin Tong and
Zhiwu Li and
Carla Seatzu and
Alessandro Giua},
title = {Decidability of opacity verification problems in labeled Petri net
systems},
journal = {Autom.},
volume = {80},
pages = {48--53},
year = {2017},
url = {https://doi.org/10.1016/j.automatica.2017.01.013},
doi = {10.1016/J.AUTOMATICA.2017.01.013},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/automatica/TongLSG17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/automatica/GiuaMS17,
author = {Alessandro Giua and
Cristian Mahulea and
Carla Seatzu},
title = {Decentralized observability of discrete event systems with synchronizations},
journal = {Autom.},
volume = {85},
pages = {468--476},
year = {2017},
url = {https://doi.org/10.1016/j.automatica.2017.08.009},
doi = {10.1016/J.AUTOMATICA.2017.08.009},
timestamp = {Thu, 20 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/automatica/GiuaMS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ejcon/WardiS17,
author = {Yorai Wardi and
Carla Seatzu},
title = {Performance regulation in discrete event and hybrid dynamical systems
using {IPA}},
journal = {Eur. J. Control},
volume = {36},
pages = {51--61},
year = {2017},
url = {https://doi.org/10.1016/j.ejcon.2017.02.004},
doi = {10.1016/J.EJCON.2017.02.004},
timestamp = {Mon, 26 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ejcon/WardiS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijpr/DotoliFMS17,
author = {Mariagrazia Dotoli and
Alexander Fay and
Marek Miskowicz and
Carla Seatzu},
title = {Advanced control in factory automation: a survey},
journal = {Int. J. Prod. Res.},
volume = {55},
number = {5},
pages = {1243--1259},
year = {2017},
url = {https://doi.org/10.1080/00207543.2016.1173259},
doi = {10.1080/00207543.2016.1173259},
timestamp = {Tue, 01 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijpr/DotoliFMS17.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/tac/CabasinoHS17,
author = {Maria Paola Cabasino and
Christoforos N. Hadjicostis and
Carla Seatzu},
title = {Marking Observer in Labeled Petri Nets With Application to Supervisory
Control},
journal = {{IEEE} Trans. Autom. Control.},
volume = {62},
number = {4},
pages = {1813--1824},
year = {2017},
url = {https://doi.org/10.1109/TAC.2016.2592952},
doi = {10.1109/TAC.2016.2592952},
timestamp = {Wed, 20 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tac/CabasinoHS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tac/TongLSG17,
author = {Yin Tong and
Zhiwu Li and
Carla Seatzu and
Alessandro Giua},
title = {Verification of State-Based Opacity Using Petri Nets},
journal = {{IEEE} Trans. Autom. Control.},
volume = {62},
number = {6},
pages = {2823--2837},
year = {2017},
url = {https://doi.org/10.1109/TAC.2016.2620429},
doi = {10.1109/TAC.2016.2620429},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tac/TongLSG17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tsmc/DotoliEFST17,
author = {Mariagrazia Dotoli and
Nicola Epicoco and
Marco Falagario and
Carla Seatzu and
Biagio Turchiano},
title = {A Decision Support System for Optimizing Operations at Intermodal
Railroad Terminals},
journal = {{IEEE} Trans. Syst. Man Cybern. Syst.},
volume = {47},
number = {3},
pages = {487--501},
year = {2017},
url = {https://doi.org/10.1109/TSMC.2015.2506540},
doi = {10.1109/TSMC.2015.2506540},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tsmc/DotoliEFST17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cdc/WardiSEB17,
author = {Yorai Wardi and
Carla Seatzu and
Magnus Egerstedt and
Ian Buckley},
title = {Performance regulation and tracking via lookahead simulation: Preliminary
results and validation},
booktitle = {56th {IEEE} Annual Conference on Decision and Control, {CDC} 2017,
Melbourne, Australia, December 12-15, 2017},
pages = {6462--6468},
publisher = {{IEEE}},
year = {2017},
url = {https://doi.org/10.1109/CDC.2017.8264633},
doi = {10.1109/CDC.2017.8264633},
timestamp = {Fri, 04 Mar 2022 13:29:55 +0100},
biburl = {https://dblp.org/rec/conf/cdc/WardiSEB17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ral/CavoneDS16,
author = {Graziana Cavone and
Mariagrazia Dotoli and
Carla Seatzu},
title = {Management of Intermodal Freight Terminals by First-Order Hybrid Petri
Nets},
journal = {{IEEE} Robotics Autom. Lett.},
volume = {1},
number = {1},
pages = {2--9},
year = {2016},
url = {https://doi.org/10.1109/LRA.2015.2502905},
doi = {10.1109/LRA.2015.2502905},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ral/CavoneDS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tac/WangYZS16,
author = {Shouguang Wang and
Dan You and
MengChu Zhou and
Carla Seatzu},
title = {Characterization of Admissible Marking Sets in Petri Nets with Uncontrollable
Transitions},
journal = {{IEEE} Trans. Autom. Control.},
volume = {61},
number = {7},
pages = {1953--1958},
year = {2016},
url = {https://doi.org/10.1109/TAC.2015.2480233},
doi = {10.1109/TAC.2015.2480233},
timestamp = {Wed, 20 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tac/WangYZS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amcc/TongMLSG16,
author = {Yin Tong and
Ziyue Ma and
ZhiWu Li and
Carla Seatzu and
Alessandro Giua},
title = {Verification of language-based opacity in Petri nets using verifier},
booktitle = {2016 American Control Conference, {ACC} 2016, Boston, MA, USA, July
6-8, 2016},
pages = {757--763},
publisher = {{IEEE}},
year = {2016},
url = {https://doi.org/10.1109/ACC.2016.7525005},
doi = {10.1109/ACC.2016.7525005},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/amcc/TongMLSG16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cdc/HadjicostisS16,
author = {Christoforos N. Hadjicostis and
Carla Seatzu},
title = {K-detectability in discrete event systems},
booktitle = {55th {IEEE} Conference on Decision and Control, {CDC} 2016, Las Vegas,
NV, USA, December 12-14, 2016},
pages = {420--425},
publisher = {{IEEE}},
year = {2016},
url = {https://doi.org/10.1109/CDC.2016.7798305},
doi = {10.1109/CDC.2016.7798305},
timestamp = {Fri, 04 Mar 2022 13:29:43 +0100},
biburl = {https://dblp.org/rec/conf/cdc/HadjicostisS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cdc/RanSGS16,
author = {Ning Ran and
Hongye Su and
Alessandro Giua and
Carla Seatzu},
title = {Codiagnosability verification of bounded Petri nets using basis markings},
booktitle = {55th {IEEE} Conference on Decision and Control, {CDC} 2016, Las Vegas,
NV, USA, December 12-14, 2016},
pages = {3948--3953},
publisher = {{IEEE}},
year = {2016},
url = {https://doi.org/10.1109/CDC.2016.7798866},
doi = {10.1109/CDC.2016.7798866},
timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cdc/RanSGS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wodes/CavoneDS16,
author = {Graziana Cavone and
Mariagrazia Dotoli and
Carla Seatzu},
editor = {Christos G. Cassandras and
Alessandro Giua and
Zhiwu Li},
title = {Resource planning of intermodal terminals using timed Petri nets},
booktitle = {13th International Workshop on Discrete Event Systems, {WODES} 2016,
Xi'an, China, May 30 - June 1, 2016},
pages = {44--50},
publisher = {{IEEE}},
year = {2016},
url = {https://doi.org/10.1109/WODES.2016.7497824},
doi = {10.1109/WODES.2016.7497824},
timestamp = {Fri, 29 Apr 2022 15:37:30 +0200},
biburl = {https://dblp.org/rec/conf/wodes/CavoneDS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wodes/YouWS16,
author = {Dan You and
ShouGuang Wang and
Carla Seatzu},
editor = {Christos G. Cassandras and
Alessandro Giua and
Zhiwu Li},
title = {A new linear constraint transformation approach for Petri nets with
uncontrollable transitions},
booktitle = {13th International Workshop on Discrete Event Systems, {WODES} 2016,
Xi'an, China, May 30 - June 1, 2016},
pages = {258--263},
publisher = {{IEEE}},
year = {2016},
url = {https://doi.org/10.1109/WODES.2016.7497857},
doi = {10.1109/WODES.2016.7497857},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wodes/YouWS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wodes/TongMLSG16,
author = {Yin Tong and
Ziyue Ma and
Zhiwu Li and
Carla Seatzu and
Alessandro Giua},
editor = {Christos G. Cassandras and
Alessandro Giua and
Zhiwu Li},
title = {Supervisory enforcement of current-state opacity with uncomparable
observations},
booktitle = {13th International Workshop on Discrete Event Systems, {WODES} 2016,
Xi'an, China, May 30 - June 1, 2016},
pages = {313--318},
publisher = {{IEEE}},
year = {2016},
url = {https://doi.org/10.1109/WODES.2016.7497865},
doi = {10.1109/WODES.2016.7497865},
timestamp = {Fri, 29 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wodes/TongMLSG16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wodes/HadjicostisS16,
author = {Christoforos N. Hadjicostis and
Carla Seatzu},
editor = {Christos G. Cassandras and
Alessandro Giua and
Zhiwu Li},
title = {Decentralized state estimation in discrete event systems under partially
ordered observation sequences},
booktitle = {13th International Workshop on Discrete Event Systems, {WODES} 2016,
Xi'an, China, May 30 - June 1, 2016},
pages = {367--372},
publisher = {{IEEE}},
year = {2016},
url = {https://doi.org/10.1109/WODES.2016.7497874},
doi = {10.1109/WODES.2016.7497874},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wodes/HadjicostisS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/automatica/FranceschelliGS15,
author = {Mauro Franceschelli and
Alessandro Giua and
Carla Seatzu},
title = {Fast discrete consensus based on gossip for makespan minimization
in networked systems},
journal = {Autom.},
volume = {56},
pages = {60--69},
year = {2015},
url = {https://doi.org/10.1016/j.automatica.2015.02.040},
doi = {10.1016/J.AUTOMATICA.2015.02.040},
timestamp = {Thu, 20 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/automatica/FranceschelliGS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/deds/CabasinoGHS15,
author = {Maria Paola Cabasino and
Alessandro Giua and
Christoforos N. Hadjicostis and
Carla Seatzu},
title = {Fault model identification and synthesis in Petri nets},
journal = {Discret. Event Dyn. Syst.},
volume = {25},
number = {3},
pages = {419--440},
year = {2015},
url = {https://doi.org/10.1007/s10626-014-0190-x},
doi = {10.1007/S10626-014-0190-X},
timestamp = {Mon, 08 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/deds/CabasinoGHS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/GiuaS15,
author = {Alessandro Giua and
Carla Seatzu},
title = {Petri nets for the control of discrete event systems},
journal = {Softw. Syst. Model.},
volume = {14},
number = {2},
pages = {693--701},
year = {2015},
url = {https://doi.org/10.1007/s10270-014-0425-1},
doi = {10.1007/S10270-014-0425-1},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sosym/GiuaS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tac/CabasinoHS15,
author = {Maria Paola Cabasino and
Christoforos N. Hadjicostis and
Carla Seatzu},
title = {Probabilistic Marking Estimation in Labeled Petri Nets},
journal = {{IEEE} Trans. Autom. Control.},
volume = {60},
number = {2},
pages = {528--533},
year = {2015},
url = {https://doi.org/10.1109/TAC.2014.2343373},
doi = {10.1109/TAC.2014.2343373},
timestamp = {Wed, 20 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tac/CabasinoHS15.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/adhs/SeatzuW15,
author = {Carla Seatzu and
Yorai Wardi},
editor = {Magnus Egerstedt and
Yorai Wardi},
title = {Congestion management in traffic-light intersections via Infinitesimal
Perturbation Analysis},
booktitle = {5th {IFAC} Conference on Analysis and Design of Hybrid Systems, {ADHS}
2015, Atlanta, GA, USA, October 14-16, 2015},
series = {IFAC-PapersOnLine},
volume = {48},
number = {27},
pages = {117--122},
publisher = {Elsevier},
year = {2015},
url = {https://doi.org/10.1016/j.ifacol.2015.11.162},
doi = {10.1016/J.IFACOL.2015.11.162},
timestamp = {Tue, 09 Oct 2018 14:05:06 +0200},
biburl = {https://dblp.org/rec/conf/adhs/SeatzuW15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adhs/FranceschelliGS15,
author = {Mauro Franceschelli and
Alessandro Giua and
Carla Seatzu},
editor = {Magnus Egerstedt and
Yorai Wardi},
title = {Distributed Task Assignment Based on Gossip with Guaranteed Performance
on Heterogeneous Networks},
booktitle = {5th {IFAC} Conference on Analysis and Design of Hybrid Systems, {ADHS}
2015, Atlanta, GA, USA, October 14-16, 2015},
series = {IFAC-PapersOnLine},
volume = {48},
number = {27},
pages = {218--223},
publisher = {Elsevier},
year = {2015},
url = {https://doi.org/10.1016/j.ifacol.2015.11.178},
doi = {10.1016/J.IFACOL.2015.11.178},
timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/adhs/FranceschelliGS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amcc/TongLSG15,
author = {Yin Tong and
Zhiwu Li and
Carla Seatzu and
Alessandro Giua},
title = {Verification of current-state opacity using Petri nets},
booktitle = {American Control Conference, {ACC} 2015, Chicago, IL, USA, July 1-3,
2015},
pages = {1935--1940},
publisher = {{IEEE}},
year = {2015},
url = {https://doi.org/10.1109/ACC.2015.7171016},
doi = {10.1109/ACC.2015.7171016},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/amcc/TongLSG15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/case/WangSH15,
author = {ShouGuang Wang and
Carla Seatzu and
Lingyun Huang},
title = {A three-stage deadlock prevention strategy for S\({}^{\mbox{3}}\)PR
nets},
booktitle = {{IEEE} International Conference on Automation Science and Engineering,
{CASE} 2015, Gothenburg, Sweden, August 24-28, 2015},
pages = {286--291},
publisher = {{IEEE}},
year = {2015},
url = {https://doi.org/10.1109/CoASE.2015.7294093},
doi = {10.1109/COASE.2015.7294093},
timestamp = {Wed, 16 Oct 2019 14:14:53 +0200},
biburl = {https://dblp.org/rec/conf/case/WangSH15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cdc/TongLSG15,
author = {Yin Tong and
Zhiwu Li and
Carla Seatzu and
Alessandro Giua},
title = {Verification of initial-state opacity in Petri nets},
booktitle = {54th {IEEE} Conference on Decision and Control, {CDC} 2015, Osaka,
Japan, December 15-18, 2015},
pages = {344--349},
publisher = {{IEEE}},
year = {2015},
url = {https://doi.org/10.1109/CDC.2015.7402224},
doi = {10.1109/CDC.2015.7402224},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cdc/TongLSG15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cdc/WangYSG15,
author = {ShouGuang Wang and
Dan You and
Carla Seatzu and
Alessandro Giua},
title = {Complete enumeration of minimal siphons in ordinary Petri nets based
on problem partitioning},
booktitle = {54th {IEEE} Conference on Decision and Control, {CDC} 2015, Osaka,
Japan, December 15-18, 2015},
pages = {356--361},
publisher = {{IEEE}},
year = {2015},
url = {https://doi.org/10.1109/CDC.2015.7402226},
doi = {10.1109/CDC.2015.7402226},
timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cdc/WangYSG15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/etfa/DotoliES15,
author = {Mariagrazia Dotoli and
Nicola Epicoco and
Carla Seatzu},
title = {An improved technique for train load planning at intermodal rail-road
terminals},
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.7301580},
doi = {10.1109/ETFA.2015.7301580},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/etfa/DotoliES15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/WangYZS15,
author = {ShouGuang Wang and
Dan You and
MengChu Zhou and
Carla Seatzu},
title = {Transformation From Legal-marking Set to Admissible-marking Set of
Petri Nets With Uncontrollable Transitions},
journal = {CoRR},
volume = {abs/1501.04777},
year = {2015},
url = {http://arxiv.org/abs/1501.04777},
eprinttype = {arXiv},
eprint = {1501.04777},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/WangYZS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/ZarehSF15,
author = {Mehran Zareh and
Carla Seatzu and
Mauro Franceschelli},
title = {Consensus on the average in arbitrary directed network topologies
with time-delays},
journal = {CoRR},
volume = {abs/1502.04364},
year = {2015},
url = {http://arxiv.org/abs/1502.04364},
eprinttype = {arXiv},
eprint = {1502.04364},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/ZarehSF15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/insk/GiuaS14,
author = {Alessandro Giua and
Carla Seatzu},
title = {Petrinetze und die Steuerung Ereignisdiskreter Systeme},
journal = {Inform. Spektrum},
volume = {37},
number = {3},
pages = {199--210},
year = {2014},
url = {https://doi.org/10.1007/s00287-014-0766-8},
doi = {10.1007/S00287-014-0766-8},
timestamp = {Thu, 13 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/insk/GiuaS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tase/CassandrasFHRS14,
author = {Christos G. Cassandras and
Maria Pia Fanti and
Christoforos N. Hadjicostis and
Spyros A. Reveliotis and
Carla Seatzu},
title = {Guest Editorial Special Section on Advances in Discrete-Event Systems
for Automation},
journal = {{IEEE} Trans Autom. Sci. Eng.},
volume = {11},
number = {1},
pages = {3--5},
year = {2014},
url = {https://doi.org/10.1109/TASE.2013.2293003},
doi = {10.1109/TASE.2013.2293003},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tase/CassandrasFHRS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tase/CabasinoGS14,
author = {Maria Paola Cabasino and
Alessandro Giua and
Carla Seatzu},
title = {Diagnosability of Discrete-Event Systems Using Labeled Petri Nets},
journal = {{IEEE} Trans Autom. Sci. Eng.},
volume = {11},
number = {1},
pages = {144--153},
year = {2014},
url = {https://doi.org/10.1109/TASE.2013.2289360},
doi = {10.1109/TASE.2013.2289360},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tase/CabasinoGS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tsmc/CabasinoGPS14,
author = {Maria Paola Cabasino and
Alessandro Giua and
Andrea Paoli and
Carla Seatzu},
title = {A Remark on the Decentralized Diagnosis of Labeled Petri Nets},
journal = {{IEEE} Trans. Syst. Man Cybern. Syst.},
volume = {44},
number = {11},
pages = {1549},
year = {2014},
url = {https://doi.org/10.1109/TSMC.2014.2328604},
doi = {10.1109/TSMC.2014.2328604},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tsmc/CabasinoGPS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cdc/Lopez-LimonFSR14,
author = {Carlos L{\'{o}}pez{-}Lim{\'{o}}n and
Mauro Franceschelli and
Carla Seatzu and
Antonio Ram{\'{\i}}rez{-}Trevi{\~{n}}o},
title = {A consensus algorithm for common reference frame estimation in networked
multi-agent systems},
booktitle = {53rd {IEEE} Conference on Decision and Control, {CDC} 2014, Los Angeles,
CA, USA, December 15-17, 2014},
pages = {6117--6122},
publisher = {{IEEE}},
year = {2014},
url = {https://doi.org/10.1109/CDC.2014.7040347},
doi = {10.1109/CDC.2014.7040347},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cdc/Lopez-LimonFSR14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cdc/CabasinoHS14,
author = {Maria Paola Cabasino and
Christoforos N. Hadjicostis and
Carla Seatzu},
title = {Initial marking estimation in labeled Petri nets in a probabilistic
setting},
booktitle = {53rd {IEEE} Conference on Decision and Control, {CDC} 2014, Los Angeles,
CA, USA, December 15-17, 2014},
pages = {6725--6730},
publisher = {{IEEE}},
year = {2014},
url = {https://doi.org/10.1109/CDC.2014.7040445},
doi = {10.1109/CDC.2014.7040445},
timestamp = {Thu, 01 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cdc/CabasinoHS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cdc/WardiS14,
author = {Yorai Wardi and
Carla Seatzu},
title = {Infinitesimal perturbation analysis of stochastic hybrid systems:
Application to congestion management in traffic-light intersections},
booktitle = {53rd {IEEE} Conference on Decision and Control, {CDC} 2014, Los Angeles,
CA, USA, December 15-17, 2014},
pages = {6752--6757},
publisher = {{IEEE}},
year = {2014},
url = {https://doi.org/10.1109/CDC.2014.7040449},
doi = {10.1109/CDC.2014.7040449},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cdc/WardiS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/codit/ZarehDFJS14,
author = {Mehran Zareh and
Dimos V. Dimarogonas and
Mauro Franceschelli and
Karl Henrik Johansson and
Carla Seatzu},
title = {Consensus in multi-agent systems with non-periodic sampled-data exchange
and uncertain network topology},
booktitle = {International Conference on Control, Decision and Information Technologies,
CoDIT 2014, Metz, France, November 3-5, 2014},
pages = {411--416},
publisher = {{IEEE}},
year = {2014},
url = {https://doi.org/10.1109/CoDIT.2014.6996929},
doi = {10.1109/CODIT.2014.6996929},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/codit/ZarehDFJS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/etfa/CabasinoHS14,
author = {Maria Paola Cabasino and
Christoforos N. Hadjicostis and
Carla Seatzu},
editor = {Antoni Grau and
Herminio Mart{\'{\i}}nez},
title = {State feedback control of labeled Petri nets with uncertainty in the
initial marking},
booktitle = {Proceedings of the 2014 {IEEE} Emerging Technology and Factory Automation,
{ETFA} 2014, Barcelona, Spain, September 16-19, 2014},
pages = {1--7},
publisher = {{IEEE}},
year = {2014},
url = {https://doi.org/10.1109/ETFA.2014.7005154},
doi = {10.1109/ETFA.2014.7005154},
timestamp = {Wed, 16 Oct 2019 14:14:55 +0200},
biburl = {https://dblp.org/rec/conf/etfa/CabasinoHS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/etfa/ZarehDFJS14,
author = {Mehran Zareh and
Dimos V. Dimarogonas and
Mauro Franceschelli and
Karl Henrik Johansson and
Carla Seatzu},
editor = {Antoni Grau and
Herminio Mart{\'{\i}}nez},
title = {Consensus in multi-agent systems with second-order dynamics and non-periodic
sampled-data exchange},
booktitle = {Proceedings of the 2014 {IEEE} Emerging Technology and Factory Automation,
{ETFA} 2014, Barcelona, Spain, September 16-19, 2014},
pages = {1--8},
publisher = {{IEEE}},
year = {2014},
url = {https://doi.org/10.1109/ETFA.2014.7005127},
doi = {10.1109/ETFA.2014.7005127},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/etfa/ZarehDFJS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eucc/GiuaS14,
author = {Alessandro Giua and
Carla Seatzu},
title = {A survey on state estimation using Petri nets},
booktitle = {13th European Control Conference, {ECC} 2014, Strasbourg, France,
June 24-27, 2014},
pages = {2630--2635},
publisher = {{IEEE}},
year = {2014},
url = {https://doi.org/10.1109/ECC.2014.6862648},
doi = {10.1109/ECC.2014.6862648},
timestamp = {Thu, 11 Feb 2021 14:14:57 +0100},
biburl = {https://dblp.org/rec/conf/eucc/GiuaS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icra/DotoliEFST14,
author = {Mariagrazia Dotoli and
Nicola Epicoco and
Marco Falagario and
Carla Seatzu and
Biagio Turchiano},
title = {Optimization of intermodal rail-road freight transport terminals},
booktitle = {2014 {IEEE} International Conference on Robotics and Automation, {ICRA}
2014, Hong Kong, China, May 31 - June 7, 2014},
pages = {1971--1976},
publisher = {{IEEE}},
year = {2014},
url = {https://doi.org/10.1109/ICRA.2014.6907120},
doi = {10.1109/ICRA.2014.6907120},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icra/DotoliEFST14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vecos/Seatzu14,
author = {Carla Seatzu},
editor = {Hassane Alla and
Louiza Bouallouche{-}Medjkoune},
title = {Fault Diagnosis of Discrete Event Systems Using Petri Nets},
booktitle = {Proceedings of the 8th International Workshop on Verification and
Evaluation of Computer and Communication Systems, VECoS 2014, Beja{\"{\i}}a,
Algeria, September 29-30, 2014},
series = {{CEUR} Workshop Proceedings},
volume = {1256},
pages = {12--15},
publisher = {CEUR-WS.org},
year = {2014},
url = {https://ceur-ws.org/Vol-1256/inv2.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:15 +0100},
biburl = {https://dblp.org/rec/conf/vecos/Seatzu14.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}
}
@inproceedings{DBLP:conf/wodes/SeatzuW14,
author = {Carla Seatzu and
Yorai Wardi},
editor = {Jean{-}Jacques Lesage and
Jean{-}Marc Faure and
Jos{\'{e}} E. R. Cury and
Bengt Lennartson},
title = {Performance Regulation Via Integral Control in a Class of Stochastic
Discrete Event Dynamic Systems},
booktitle = {12th International Workshop on Discrete Event Systems, {WODES} 2014,
Cachan, France, May 14-16, 2014},
pages = {259--264},
publisher = {International Federation of Automatic Control},
year = {2014},
url = {https://doi.org/10.3182/20140514-3-FR-4046.00036},
doi = {10.3182/20140514-3-FR-4046.00036},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wodes/SeatzuW14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/ZarehDFJS14,
author = {Mehran Zareh and
Dimos V. Dimarogonas and
Mauro Franceschelli and
Karl Henrik Johansson and
Carla Seatzu},
title = {Consensus in multi-agent systems with second-order dynamics and non-periodic
sampled-data exchange},
journal = {CoRR},
volume = {abs/1407.3006},
year = {2014},
url = {http://arxiv.org/abs/1407.3006},
eprinttype = {arXiv},
eprint = {1407.3006},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/ZarehDFJS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/ZarehDFJS14a,
author = {Mehran Zareh and
Dimos V. Dimarogonas and
Mauro Franceschelli and
Karl Henrik Johansson and
Carla Seatzu},
title = {Consensus in multi-agent systems with non-periodic sampled-data exchange
and uncertain network topology},
journal = {CoRR},
volume = {abs/1409.2017},
year = {2014},
url = {http://arxiv.org/abs/1409.2017},
eprinttype = {arXiv},
eprint = {1409.2017},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/ZarehDFJS14a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/automatica/FranceschelliGGS13,
author = {Mauro Franceschelli and
Andrea Gasparri and
Alessandro Giua and
Carla Seatzu},
title = {Decentralized estimation of Laplacian eigenvalues in multi-agent systems},
journal = {Autom.},
volume = {49},
number = {4},
pages = {1031--1036},
year = {2013},
url = {https://doi.org/10.1016/j.automatica.2013.01.029},
doi = {10.1016/J.AUTOMATICA.2013.01.029},
timestamp = {Thu, 20 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/automatica/FranceschelliGGS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/automatica/WardiGS13,
author = {Yorai Wardi and
Alessandro Giua and
Carla Seatzu},
title = {{IPA} for continuous stochastic marked graphs},
journal = {Autom.},
volume = {49},
number = {5},
pages = {1204--1215},
year = {2013},
url = {https://doi.org/10.1016/j.automatica.2013.02.006},
doi = {10.1016/J.AUTOMATICA.2013.02.006},
timestamp = {Thu, 20 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/automatica/WardiGS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/automatica/CabasinoLS13,
author = {Maria Paola Cabasino and
St{\'{e}}phane Lafortune and
Carla Seatzu},
title = {Optimal sensor selection for ensuring diagnosability in labeled Petri
nets},
journal = {Autom.},
volume = {49},
number = {8},
pages = {2373--2383},
year = {2013},
url = {https://doi.org/10.1016/j.automatica.2013.04.041},
doi = {10.1016/J.AUTOMATICA.2013.04.041},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/automatica/CabasinoLS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tsmc/CabasinoGS13,
author = {Maria Paola Cabasino and
Alessandro Giua and
Carla Seatzu},
title = {Diagnosis Using Labeled Petri Nets With Silent or Undistinguishable
Fault Events},
journal = {{IEEE} Trans. Syst. Man Cybern. Syst.},
volume = {43},
number = {2},
pages = {345--355},
year = {2013},
url = {https://doi.org/10.1109/TSMCA.2012.2199307},
doi = {10.1109/TSMCA.2012.2199307},
timestamp = {Wed, 20 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tsmc/CabasinoGS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tsmc/CabasinoGPS13,
author = {Maria Paola Cabasino and
Alessandro Giua and
Andrea Paoli and
Carla Seatzu},
title = {Decentralized Diagnosis of Discrete-Event Systems Using Labeled Petri
Nets},
journal = {{IEEE} Trans. Syst. Man Cybern. Syst.},
volume = {43},
number = {6},
pages = {1477--1485},
year = {2013},
url = {https://doi.org/10.1109/TSMC.2013.2244208},
doi = {10.1109/TSMC.2013.2244208},
timestamp = {Wed, 20 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tsmc/CabasinoGPS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cdc/CabasinoHS13,
author = {Maria Paola Cabasino and
Christoforos N. Hadjicostis and
Carla Seatzu},
title = {Probabilistic marking estimation in labeled Petri nets},
booktitle = {Proceedings of the 52nd {IEEE} Conference on Decision and Control,
{CDC} 2013, Florence, Italy, December 10-13, 2013},
pages = {6304--6310},
publisher = {{IEEE}},
year = {2013},
url = {https://doi.org/10.1109/CDC.2013.6760886},
doi = {10.1109/CDC.2013.6760886},
timestamp = {Fri, 04 Mar 2022 13:29:02 +0100},
biburl = {https://dblp.org/rec/conf/cdc/CabasinoHS13.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 = {Wed, 16 Oct 2019 14:14:55 +0200},
biburl = {https://dblp.org/rec/conf/etfa/BasileCS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/etfa/HosseiniLCS13,
author = {Mona Noori Hosseini and
Bengt Lennartson and
Maria Paola Cabasino and
Carla Seatzu},
editor = {Carla Seatzu},
title = {A survey on efficient diagnosability tests for automata and bounded
Petri nets},
booktitle = {Proceedings of 2013 {IEEE} 18th Conference on Emerging Technologies
{\&} Factory Automation, {ETFA} 2013, Cagliari, Italy, September
10-13, 2013},
pages = {1--6},
publisher = {{IEEE}},
year = {2013},
url = {https://doi.org/10.1109/ETFA.2013.6648085},
doi = {10.1109/ETFA.2013.6648085},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/etfa/HosseiniLCS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/etfa/RiaziSWL13,
author = {Sarmad Riazi and
Carla Seatzu and
Oskar Wigstr{\"{o}}m and
Bengt Lennartson},
editor = {Carla Seatzu},
title = {Benders/gossip methods for heterogeneous multi-vehicle routing problems},
booktitle = {Proceedings of 2013 {IEEE} 18th Conference on Emerging Technologies
{\&} Factory Automation, {ETFA} 2013, Cagliari, Italy, September
10-13, 2013},
pages = {1--6},
publisher = {{IEEE}},
year = {2013},
url = {https://doi.org/10.1109/ETFA.2013.6647983},
doi = {10.1109/ETFA.2013.6647983},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/etfa/RiaziSWL13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/etfa/SeatzuW13,
author = {Carla Seatzu and
Yorai Wardi},
editor = {Carla Seatzu},
title = {On the use of {IPA} in performance optimization of continuous marked
graphs: {A} case study},
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.6648058},
doi = {10.1109/ETFA.2013.6648058},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/etfa/SeatzuW13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icnsc/ZarehSF13,
author = {Mehran Zareh and
Carla Seatzu and
Mauro Franceschelli},
title = {Consensus of second-order multi-agent systems with time delays and
slow switching topology},
booktitle = {Proceedings of 10th {IEEE} International Conference on Networking,
Sensing and Control, {ICNSC} 2013, Evry, France, April 10-12, 2013},
pages = {269--275},
publisher = {{IEEE}},
year = {2013},
url = {https://doi.org/10.1109/ICNSC.2013.6548749},
doi = {10.1109/ICNSC.2013.6548749},
timestamp = {Wed, 16 Oct 2019 14:14:51 +0200},
biburl = {https://dblp.org/rec/conf/icnsc/ZarehSF13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/smc/CabasinoSH13,
author = {Maria Paola Cabasino and
Carla Seatzu and
Christoforos N. Hadjicostis},
title = {Marking Observer of Labeled Petri Nets with Uncertainty in the Initial
Marking},
booktitle = {{IEEE} International Conference on Systems, Man, and Cybernetics,
Manchester, {SMC} 2013, United Kingdom, October 13-16, 2013},
pages = {2348--2353},
publisher = {{IEEE}},
year = {2013},
url = {https://doi.org/10.1109/SMC.2013.401},
doi = {10.1109/SMC.2013.401},
timestamp = {Wed, 16 Oct 2019 14:14:51 +0200},
biburl = {https://dblp.org/rec/conf/smc/CabasinoSH13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/13/CabasinoGS13,
author = {Maria Paola Cabasino and
Alessandro Giua and
Carla Seatzu},
editor = {Carla Seatzu and
Manuel Silva and
Jan H. van Schuppen},
title = {Introduction to Petri Nets},
booktitle = {Control of Discrete-Event Systems},
series = {Lecture Notes in Control and Information Sciences},
volume = {433},
pages = {191--211},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-1-4471-4276-8\_10},
doi = {10.1007/978-1-4471-4276-8\_10},
timestamp = {Mon, 01 Jul 2019 19:57:33 +0200},
biburl = {https://dblp.org/rec/books/sp/13/CabasinoGS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/13/CabasinoGS13a,
author = {Maria Paola Cabasino and
Alessandro Giua and
Carla Seatzu},
editor = {Carla Seatzu and
Manuel Silva and
Jan H. van Schuppen},
title = {Structural Analysis of Petri Nets},
booktitle = {Control of Discrete-Event Systems},
series = {Lecture Notes in Control and Information Sciences},
volume = {433},
pages = {213--233},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-1-4471-4276-8\_11},
doi = {10.1007/978-1-4471-4276-8\_11},
timestamp = {Mon, 01 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/sp/13/CabasinoGS13a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/13/CabasinoGS13b,
author = {Maria Paola Cabasino and
Alessandro Giua and
Carla Seatzu},
editor = {Carla Seatzu and
Manuel Silva and
Jan H. van Schuppen},
title = {Diagnosis of Petri Nets},
booktitle = {Control of Discrete-Event Systems},
series = {Lecture Notes in Control and Information Sciences},
volume = {433},
pages = {279--300},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-1-4471-4276-8\_14},
doi = {10.1007/978-1-4471-4276-8\_14},
timestamp = {Mon, 01 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/sp/13/CabasinoGS13b.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/13/BerardCFGS13,
author = {B{\'{e}}atrice B{\'{e}}rard and
Maria Paola Cabasino and
Angela Di Febbraro and
Alessandro Giua and
Carla Seatzu},
editor = {Carla Seatzu and
Manuel Silva and
Jan H. van Schuppen},
title = {Petri Nets with Time},
booktitle = {Control of Discrete-Event Systems},
series = {Lecture Notes in Control and Information Sciences},
volume = {433},
pages = {319--341},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-1-4471-4276-8\_16},
doi = {10.1007/978-1-4471-4276-8\_16},
timestamp = {Mon, 01 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/sp/13/BerardCFGS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/sp/13/SSS2013,
editor = {Carla Seatzu and
Manuel Silva and
Jan H. van Schuppen},
title = {Control of Discrete-Event Systems},
series = {Lecture Notes in Control and Information Sciences},
volume = {433},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-1-4471-4276-8},
doi = {10.1007/978-1-4471-4276-8},
isbn = {978-1-4471-4275-1},
timestamp = {Mon, 01 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/sp/13/SSS2013.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/etfa/2013,
editor = {Carla Seatzu},
title = {Proceedings of 2013 {IEEE} 18th Conference on Emerging Technologies
{\&} Factory Automation, {ETFA} 2013, Cagliari, Italy, September
10-13, 2013},
publisher = {{IEEE}},
year = {2013},
url = {https://ieeexplore.ieee.org/xpl/conhome/6636144/proceeding},
isbn = {978-1-4799-0864-6},
timestamp = {Wed, 16 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/etfa/2013.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tac/CabasinoGLS12,
author = {Maria Paola Cabasino and
Alessandro Giua and
St{\'{e}}phane Lafortune and
Carla Seatzu},
title = {A New Approach for Diagnosability Analysis of Petri Nets Using Verifier
Nets},
journal = {{IEEE} Trans. Autom. Control.},
volume = {57},
number = {12},
pages = {3104--3117},
year = {2012},
url = {https://doi.org/10.1109/TAC.2012.2200372},
doi = {10.1109/TAC.2012.2200372},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tac/CabasinoGLS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tsmc/MahuleaSCS12,
author = {Cristian Mahulea and
Carla Seatzu and
Maria Paola Cabasino and
Manuel Silva Su{\'{a}}rez},
title = {Fault Diagnosis of Discrete-Event Systems Using Continuous Petri Nets},
journal = {{IEEE} Trans. Syst. Man Cybern. Part {A}},
volume = {42},
number = {4},
pages = {970--984},
year = {2012},
url = {https://doi.org/10.1109/TSMCA.2012.2183358},
doi = {10.1109/TSMCA.2012.2183358},
timestamp = {Mon, 25 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tsmc/MahuleaSCS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adhs/FranceschelliRS12,
author = {Mauro Franceschelli and
Daniele Rosa and
Carla Seatzu and
Francesco Bullo},
editor = {Maurice Heemels and
Bart De Schutter},
title = {A Gossip Algorithm for Heterogeneous Multi-Vehicle Routing Problems},
booktitle = {4th {IFAC} Conference on Analysis and Design of Hybrid Systems, {ADHS}
2012, Eindhoven, The Netherlands, June 6-8, 2012},
series = {{IFAC} Proceedings Volumes},
volume = {45},
number = {9},
pages = {325--332},
publisher = {Elsevier},
year = {2012},
url = {https://doi.org/10.3182/20120606-3-NL-3011.00071},
doi = {10.3182/20120606-3-NL-3011.00071},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/adhs/FranceschelliRS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/case/CabasinoGMS12,
author = {Maria Paola Cabasino and
Alessandro Giua and
Laura Marcias and
Carla Seatzu},
title = {A comparison among tools for the diagnosability of discrete event
systems},
booktitle = {2012 {IEEE} International Conference on Automation Science and Engineering,
{CASE} 2012, Seoul, Korea (South), August 20-24, 2012},
pages = {218--223},
publisher = {{IEEE}},
year = {2012},
url = {https://doi.org/10.1109/CoASE.2012.6386425},
doi = {10.1109/COASE.2012.6386425},
timestamp = {Wed, 16 Oct 2019 14:14:53 +0200},
biburl = {https://dblp.org/rec/conf/case/CabasinoGMS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/etfa/CabasinoDS12,
author = {Maria Paola Cabasino and
Mariagrazia Dotoli and
Carla Seatzu},
title = {Marking estimation of fuzzy Petri nets},
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.6489737},
doi = {10.1109/ETFA.2012.6489737},
timestamp = {Wed, 16 Oct 2019 14:14:55 +0200},
biburl = {https://dblp.org/rec/conf/etfa/CabasinoDS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wodes/CabasinoLS12,
author = {Maria Paola Cabasino and
St{\'{e}}phane Lafortune and
Carla Seatzu},
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 = {Optimal sensor selection for ensuring diagnosability in labeled bounded
Petri nets},
booktitle = {11th International Workshop on Discrete Event Systems, {WODES} 2012,
Guadalajara, Mexico, October 3-5, 2012},
pages = {208--213},
publisher = {International Federation of Automatic Control},
year = {2012},
url = {https://doi.org/10.3182/20121003-3-MX-4033.00035},
doi = {10.3182/20121003-3-MX-4033.00035},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wodes/CabasinoLS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1206-4509,
author = {Mauro Franceschelli and
Andrea Gasparri and
Alessandro Giua and
Carla Seatzu},
title = {Decentralized Estimation of Laplacian Eigenvalues in Multi-Agent Systems},
journal = {CoRR},
volume = {abs/1206.4509},
year = {2012},
url = {http://arxiv.org/abs/1206.4509},
eprinttype = {arXiv},
eprint = {1206.4509},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1206-4509.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/automatica/FranceschelliGS11,
author = {Mauro Franceschelli and
Alessandro Giua and
Carla Seatzu},
title = {Quantized consensus in Hamiltonian graphs},
journal = {Autom.},
volume = {47},
number = {11},
pages = {2495--2503},
year = {2011},
url = {https://doi.org/10.1016/j.automatica.2011.08.032},
doi = {10.1016/J.AUTOMATICA.2011.08.032},
timestamp = {Thu, 20 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/automatica/FranceschelliGS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/case/CabasinoCGSS11,
author = {Maria Paola Cabasino and
Luca Contini and
Alessandro Giua and
Carla Seatzu and
Antonio Solinas},
title = {A software platform for the integration of discrete event systems
tools},
booktitle = {{IEEE} Conference on Automation Science and Engineering, {CASE} 2011,
Trieste, Italy, Aug. 24-27, 2011},
pages = {45--51},
publisher = {{IEEE}},
year = {2011},
url = {https://doi.org/10.1109/CASE.2011.6042509},
doi = {10.1109/CASE.2011.6042509},
timestamp = {Wed, 25 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/case/CabasinoCGSS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/case/CabasinoGSSZ11,
author = {Maria Paola Cabasino and
Alessandro Giua and
Carla Seatzu and
Antonio Solinas and
Katiuscia Zedda},
title = {Fault diagnosis of an {ABS} system using Petri nets},
booktitle = {{IEEE} Conference on Automation Science and Engineering, {CASE} 2011,
Trieste, Italy, Aug. 24-27, 2011},
pages = {594--599},
publisher = {{IEEE}},
year = {2011},
url = {https://doi.org/10.1109/CASE.2011.6042508},
doi = {10.1109/CASE.2011.6042508},
timestamp = {Wed, 25 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/case/CabasinoGSSZ11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cdc/CabasinoGMS11,
author = {Maria Paola Cabasino and
Alessandro Giua and
Cristian Mahulea and
Carla Seatzu},
title = {On decentralized observability of discrete event 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 = {378--384},
publisher = {{IEEE}},
year = {2011},
url = {https://doi.org/10.1109/CDC.2011.6161269},
doi = {10.1109/CDC.2011.6161269},
timestamp = {Wed, 24 Feb 2021 08:49:08 +0100},
biburl = {https://dblp.org/rec/conf/cdc/CabasinoGMS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/automatica/CabasinoGS10,
author = {Maria Paola Cabasino and
Alessandro Giua and
Carla Seatzu},
title = {Fault detection for discrete event systems using Petri nets with unobservable
transitions},
journal = {Autom.},
volume = {46},
number = {9},
pages = {1531--1539},
year = {2010},
url = {https://doi.org/10.1016/j.automatica.2010.06.013},
doi = {10.1016/J.AUTOMATICA.2010.06.013},
timestamp = {Thu, 20 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/automatica/CabasinoGS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijsysc/PaschedagGS10,
author = {Tina Paschedag and
Alessandro Giua and
Carla Seatzu},
title = {Constrained optimal control: an application to semiactive suspension
systems},
journal = {Int. J. Syst. Sci.},
volume = {41},
number = {7},
pages = {797--811},
year = {2010},
url = {https://doi.org/10.1080/00207720903366023},
doi = {10.1080/00207720903366023},
timestamp = {Wed, 22 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijsysc/PaschedagGS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tac/FranceschelliGS10,
author = {Mauro Franceschelli and
Alessandro Giua and
Carla Seatzu},
title = {A Gossip-Based Algorithm for Discrete Consensus Over Heterogeneous
Networks},
journal = {{IEEE} Trans. Autom. Control.},
volume = {55},
number = {5},
pages = {1244--1249},
year = {2010},
url = {https://doi.org/10.1109/TAC.2010.2042360},
doi = {10.1109/TAC.2010.2042360},
timestamp = {Wed, 20 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tac/FranceschelliGS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amcc/CabasinoGPS10,
author = {Maria Paola Cabasino and
Alessandro Giua and
Andrea Paoli and
Carla Seatzu},
title = {Decentralized diagnosis of Petri nets},
booktitle = {American Control Conference, {ACC} 2010, Baltimore, Maryland, USA,
June 30 - July 2, 2010},
pages = {3371--3377},
publisher = {{IEEE}},
year = {2010},
url = {https://doi.org/10.1109/ACC.2010.5530910},
doi = {10.1109/ACC.2010.5530910},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/amcc/CabasinoGPS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/case/CabasinoGS10,
author = {Maria Paola Cabasino and
Alessandro Giua and
Carla Seatzu},
title = {Diagnosis using labeled Petri nets: Faults may either be silent or
undistinguishable events},
booktitle = {{IEEE} Conference on Automation Science and Engineering, {CASE} 2010,
Toronto, ON, Canada, 21-24 August, 2010},
pages = {485--490},
publisher = {{IEEE}},
year = {2010},
url = {https://doi.org/10.1109/COASE.2010.5583995},
doi = {10.1109/COASE.2010.5583995},
timestamp = {Wed, 16 Oct 2019 14:14:53 +0200},
biburl = {https://dblp.org/rec/conf/case/CabasinoGS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/smc/CabasinoSMS10,
author = {Maria Paola Cabasino and
Carla Seatzu and
Cristian Mahulea and
Manuel Silva Su{\'{a}}rez},
title = {Fault diagnosis of manufacturing systems using continuous Petri nets},
booktitle = {Proceedings of the {IEEE} International Conference on Systems, Man
and Cybernetics, Istanbul, Turkey, 10-13 October 2010},
pages = {534--539},
publisher = {{IEEE}},
year = {2010},
url = {https://doi.org/10.1109/ICSMC.2010.5642021},
doi = {10.1109/ICSMC.2010.5642021},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/smc/CabasinoSMS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wodes/GiuaSW10,
author = {Alessandro Giua and
Carla Seatzu and
Yorai Wardi},
editor = {J{\"{o}}rg Raisch and
Alessandro Giua and
St{\'{e}}phane Lafortune and
Thomas Moor},
title = {{IPA} for continuous Petri nets},
booktitle = {10th International Workshop on Discrete Event Systems, {WODES} 2010,
Berlin, Germany, August 30 - September 01, 2010},
pages = {47--52},
publisher = {International Federation of Automatic Control},
year = {2010},
url = {https://doi.org/10.3182/20100830-3-DE-4013.00010},
doi = {10.3182/20100830-3-DE-4013.00010},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wodes/GiuaSW10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wodes/CabasinoGPS10,
author = {Maria Paola Cabasino and
Alessandro Giua and
Andrea Paoli and
Carla Seatzu},
editor = {J{\"{o}}rg Raisch and
Alessandro Giua and
St{\'{e}}phane Lafortune and
Thomas Moor},
title = {A new protocol for the decentralized diagnosis of labeled Petri nets},
booktitle = {10th International Workshop on Discrete Event Systems, {WODES} 2010,
Berlin, Germany, August 30 - September 01, 2010},
pages = {123--128},
publisher = {International Federation of Automatic Control},
year = {2010},
url = {https://doi.org/10.3182/20100830-3-DE-4013.00022},
doi = {10.3182/20100830-3-DE-4013.00022},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wodes/CabasinoGPS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/IEEEcca/FranceschelliGS09,
author = {Mauro Franceschelli and
Alessandro Giua and
Carla Seatzu},
title = {Hamiltonian quantized gossip},
booktitle = {Proceedings of the {IEEE} International Conference on Control Applications,
{CCA} 2009 and of the International Symposium on Intelligent Control,
{ISIC} 2009, Saint Petersburg, Russia, July 8-10, 2009},
pages = {648--654},
publisher = {{IEEE}},
year = {2009},
url = {https://doi.org/10.1109/CCA.2009.5281154},
doi = {10.1109/CCA.2009.5281154},
timestamp = {Wed, 16 Oct 2019 14:14:51 +0200},
biburl = {https://dblp.org/rec/conf/IEEEcca/FranceschelliGS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/IEEEcca/SeatzuMCS09,
author = {Carla Seatzu and
Cristian Mahulea and
Maria Paola Cabasino and
Manuel Silva Su{\'{a}}rez},
title = {Fault diagnoser design for untimed continuous Petri nets},
booktitle = {Proceedings of the {IEEE} International Conference on Control Applications,
{CCA} 2009 and of the International Symposium on Intelligent Control,
{ISIC} 2009, Saint Petersburg, Russia, July 8-10, 2009},
pages = {1598--1604},
publisher = {{IEEE}},
year = {2009},
url = {https://doi.org/10.1109/CCA.2009.5281084},
doi = {10.1109/CCA.2009.5281084},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/IEEEcca/SeatzuMCS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adhs/GiuaSW09,
author = {Alessandro Giua and
Carla Seatzu and
Yorai Wardi},
editor = {Alessandro Giua and
Cristian Mahulea and
Manuel Silva and
Janan Zaytoon},
title = {Application of {IPA} to Fluid Petri Nets},
booktitle = {3rd {IFAC} Conference on Analysis and Design of Hybrid Systems, {ADHS}
2009, Zaragoza, Spain, September 16-18, 2009},
series = {{IFAC} Proceedings Volumes},
volume = {42},
number = {17},
pages = {268--273},
publisher = {Elsevier},
year = {2009},
url = {https://doi.org/10.3182/20090916-3-ES-3003.00047},
doi = {10.3182/20090916-3-ES-3003.00047},
timestamp = {Thu, 11 Oct 2018 11:27:01 +0200},
biburl = {https://dblp.org/rec/conf/adhs/GiuaSW09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amcc/FranceschelliGS09,
author = {Mauro Franceschelli and
Alessandro Giua and
Carla Seatzu},
title = {Load balancing over heterogeneous networks with gossip-based algorithms},
booktitle = {American Control Conference, {ACC} 2009. St. Louis, Missouri, USA,
June 10-12, 2009},
pages = {1987--1993},
publisher = {{IEEE}},
year = {2009},
url = {https://doi.org/10.1109/ACC.2009.5160452},
doi = {10.1109/ACC.2009.5160452},
timestamp = {Fri, 03 Dec 2021 13:02:58 +0100},
biburl = {https://dblp.org/rec/conf/amcc/FranceschelliGS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amcc/MahuleaSCRS09,
author = {Cristian Mahulea and
Carla Seatzu and
Maria Paola Cabasino and
Laura Recalde and
Manuel Silva},
title = {Observer design for untimed continuous Petri nets},
booktitle = {American Control Conference, {ACC} 2009. St. Louis, Missouri, USA,
June 10-12, 2009},
pages = {4765--4770},
publisher = {{IEEE}},
year = {2009},
url = {https://doi.org/10.1109/ACC.2009.5159893},
doi = {10.1109/ACC.2009.5159893},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/amcc/MahuleaSCRS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/case/FranceschelliGS09,
author = {Mauro Franceschelli and
Alessandro Giua and
Carla Seatzu},
title = {Decentralized fault diagnosis for sensor networks},
booktitle = {{IEEE} Conference on Automation Science and Engineering, {CASE} 2009,
Bangalore, India, 22-25 August, 2011},
pages = {334--339},
publisher = {{IEEE}},
year = {2009},
url = {https://doi.org/10.1109/COASE.2009.5234147},
doi = {10.1109/COASE.2009.5234147},
timestamp = {Wed, 16 Oct 2019 14:14:53 +0200},
biburl = {https://dblp.org/rec/conf/case/FranceschelliGS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cdc/CabasinoGS09,
author = {Maria Paola Cabasino and
Alessandro Giua and
Carla Seatzu},
title = {Diagnosability of bounded Petri nets},
booktitle = {Proceedings of the 48th {IEEE} Conference on Decision and Control,
{CDC} 2009, combined withe the 28th Chinese Control Conference, December
16-18, 2009, Shanghai, China},
pages = {1254--1260},
publisher = {{IEEE}},
year = {2009},
url = {https://doi.org/10.1109/CDC.2009.5399874},
doi = {10.1109/CDC.2009.5399874},
timestamp = {Fri, 04 Mar 2022 13:27:41 +0100},
biburl = {https://dblp.org/rec/conf/cdc/CabasinoGS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cdc/CabasinoGLS09,
author = {Maria Paola Cabasino and
Alessandro Giua and
St{\'{e}}phane Lafortune and
Carla Seatzu},
title = {Diagnosability analysis of unbounded Petri nets},
booktitle = {Proceedings of the 48th {IEEE} Conference on Decision and Control,
{CDC} 2009, combined withe the 28th Chinese Control Conference, December
16-18, 2009, Shanghai, China},
pages = {1267--1272},
publisher = {{IEEE}},
year = {2009},
url = {https://doi.org/10.1109/CDC.2009.5400608},
doi = {10.1109/CDC.2009.5400608},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cdc/CabasinoGLS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cdc/FranceschelliGGS09,
author = {Mauro Franceschelli and
Andrea Gasparri and
Alessandro Giua and
Carla Seatzu},
title = {Decentralized Laplacian eigenvalues estimation for networked multi-agent
systems},
booktitle = {Proceedings of the 48th {IEEE} Conference on Decision and Control,
{CDC} 2009, combined withe the 28th Chinese Control Conference, December
16-18, 2009, Shanghai, China},
pages = {2717--2722},
publisher = {{IEEE}},
year = {2009},
url = {https://doi.org/10.1109/CDC.2009.5400723},
doi = {10.1109/CDC.2009.5400723},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cdc/FranceschelliGGS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cdc/SeatzuCMS09,
author = {Carla Seatzu and
Maria Paola Cabasino and
Cristian Mahulea and
Manuel Silva Su{\'{a}}rez},
title = {New results for fault detection of untimed continuous Petri nets},
booktitle = {Proceedings of the 48th {IEEE} Conference on Decision and Control,
{CDC} 2009, combined withe the 28th Chinese Control Conference, December
16-18, 2009, Shanghai, China},
pages = {6952--6957},
publisher = {{IEEE}},
year = {2009},
url = {https://doi.org/10.1109/CDC.2009.5400035},
doi = {10.1109/CDC.2009.5400035},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cdc/SeatzuCMS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icinco/CabasinoGS09,
author = {Maria Paola Cabasino and
Alessandro Giua and
Carla Seatzu},
editor = {Joaquim Filipe and
Juan Andrade{-}Cetto and
Jean{-}Louis Ferrier},
title = {Discrete Event Diagnosis using Petri Nets},
booktitle = {{ICINCO} 2009, Proceedings of the 6th International Conference on
Informatics in Control, Automation and Robotics, Intelligent Control
Systems and Optimization, Milan, Italy, July 2-5, 2009},
pages = {15--29},
publisher = {{INSTICC} Press},
year = {2009},
timestamp = {Mon, 14 Sep 2009 10:27:46 +0200},
biburl = {https://dblp.org/rec/conf/icinco/CabasinoGS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/deds/CassandrasGSZ08,
author = {Christos G. Cassandras and
Alessandro Giua and
Carla Seatzu and
Janan Zaytoon},
title = {{DEDS} Special Issue on Discrete Event Methodologies for Hybrid Systems},
journal = {Discret. Event Dyn. Syst.},
volume = {18},
number = {2},
pages = {161--162},
year = {2008},
url = {https://doi.org/10.1007/s10626-008-0043-6},
doi = {10.1007/S10626-008-0043-6},
timestamp = {Mon, 08 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/deds/CassandrasGSZ08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tac/MahuleaGRSS08,
author = {Cristian Mahulea and
Alessandro Giua and
Laura Recalde and
Carla Seatzu and
Manuel Silva Su{\'{a}}rez},
title = {Optimal Model Predictive Control of Timed Continuous Petri Nets},
journal = {{IEEE} Trans. Autom. Control.},
volume = {53},
number = {7},
pages = {1731--1735},
year = {2008},
url = {https://doi.org/10.1109/TAC.2008.929386},
doi = {10.1109/TAC.2008.929386},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tac/MahuleaGRSS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tase/GiuaS08,
author = {Alessandro Giua and
Carla Seatzu},
title = {Modeling and Supervisory Control of Railway Networks Using Petri Nets},
journal = {{IEEE} Trans Autom. Sci. Eng.},
volume = {5},
number = {3},
pages = {431--445},
year = {2008},
url = {https://doi.org/10.1109/TASE.2008.916925},
doi = {10.1109/TASE.2008.916925},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tase/GiuaS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/SessegoGS08,
author = {Fausto Sessego and
Alessandro Giua and
Carla Seatzu},
editor = {Kees M. van Hee and
R{\"{u}}diger Valk},
title = {{HYPENS:} {A} Matlab Tool for Timed Discrete, Continuous and Hybrid
Petri Nets},
booktitle = {Applications and Theory of Petri Nets, 29th International Conference,
{PETRI} {NETS} 2008, Xi'an, China, June 23-27, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5062},
pages = {419--428},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-68746-7\_28},
doi = {10.1007/978-3-540-68746-7\_28},
timestamp = {Tue, 14 May 2019 10:00:45 +0200},
biburl = {https://dblp.org/rec/conf/apn/SessegoGS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cdc/CabasinoGS08,
author = {Maria Paola Cabasino and
Alessandro Giua and
Carla Seatzu},
title = {Linear programming techniques for the identification of place/transition
nets},
booktitle = {Proceedings of the 47th {IEEE} Conference on Decision and Control,
{CDC} 2008, December 9-11, 2008, Canc{\'{u}}n, Mexico},
pages = {514--520},
publisher = {{IEEE}},
year = {2008},
url = {https://doi.org/10.1109/CDC.2008.4739039},
doi = {10.1109/CDC.2008.4739039},
timestamp = {Fri, 04 Mar 2022 13:27:23 +0100},
biburl = {https://dblp.org/rec/conf/cdc/CabasinoGS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/smc/GiuaSS08,
author = {Alessandro Giua and
Carla Seatzu and
Fausto Sessego},
title = {Simulation and analysis of hybrid Petri nets using the Matlab tool
{HYPENS}},
booktitle = {Proceedings of the {IEEE} International Conference on Systems, Man
and Cybernetics, Singapore, 12-15 October 2008},
pages = {1922--1928},
publisher = {{IEEE}},
year = {2008},
url = {https://doi.org/10.1109/ICSMC.2008.4811571},
doi = {10.1109/ICSMC.2008.4811571},
timestamp = {Wed, 16 Oct 2019 14:14:51 +0200},
biburl = {https://dblp.org/rec/conf/smc/GiuaSS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/deds/CabasinoGS07,
author = {Maria Paola Cabasino and
Alessandro Giua and
Carla Seatzu},
title = {Identification of Petri Nets from Knowledge of Their Language},
journal = {Discret. Event Dyn. Syst.},
volume = {17},
number = {4},
pages = {447--474},
year = {2007},
url = {https://doi.org/10.1007/s10626-007-0025-0},
doi = {10.1007/S10626-007-0025-0},
timestamp = {Mon, 08 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/deds/CabasinoGS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tac/GiuaSC07,
author = {Alessandro Giua and
Carla Seatzu and
Daniele Corona},
title = {Marking Estimation of Petri Nets With Silent Transitions},
journal = {{IEEE} Trans. Autom. Control.},
volume = {52},
number = {9},
pages = {1695--1699},
year = {2007},
url = {https://doi.org/10.1109/TAC.2007.904281},
doi = {10.1109/TAC.2007.904281},
timestamp = {Wed, 20 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tac/GiuaSC07.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/CabasinoGMRSS07,
author = {Maria Paola Cabasino and
Alessandro Giua and
Cristian Mahulea and
Laura Recalde and
Carla Seatzu and
Manuel Silva Su{\'{a}}rez},
title = {State Estimation of Petri Nets by Transformation},
booktitle = {{IEEE} Conference on Automation Science and Engineering, {CASE} 2007,
September 22-25, 2007. Scottsdale, Arizona, {USA}},
pages = {194--199},
publisher = {{IEEE}},
year = {2007},
url = {https://doi.org/10.1109/COASE.2007.4341820},
doi = {10.1109/COASE.2007.4341820},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/case/CabasinoGMRSS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cdc/FranceschelliGS07,
author = {Mauro Franceschelli and
Alessandro Giua and
Carla Seatzu},
title = {Load balancing on networks with gossip-based distributed ]algorithms},
booktitle = {46th {IEEE} Conference on Decision and Control, {CDC} 2007, New Orleans,
LA, USA, December 12-14, 2007},
pages = {500--505},
publisher = {{IEEE}},
year = {2007},
url = {https://doi.org/10.1109/CDC.2007.4434904},
doi = {10.1109/CDC.2007.4434904},
timestamp = {Fri, 04 Mar 2022 13:27:03 +0100},
biburl = {https://dblp.org/rec/conf/cdc/FranceschelliGS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cdc/MahuleaCGS07,
author = {Cristian Mahulea and
Maria Paola Cabasino and
Alessandro Giua and
Carla Seatzu},
title = {A state estimation problem for timed continuous Petri nets},
booktitle = {46th {IEEE} Conference on Decision and Control, {CDC} 2007, New Orleans,
LA, USA, December 12-14, 2007},
pages = {1770--1775},
publisher = {{IEEE}},
year = {2007},
url = {https://doi.org/10.1109/CDC.2007.4435036},
doi = {10.1109/CDC.2007.4435036},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cdc/MahuleaCGS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tac/SeatzuCGB06,
author = {Carla Seatzu and
Daniele Corona and
Alessandro Giua and
Alberto Bemporad},
title = {Optimal control of continuous-time switched affine systems},
journal = {{IEEE} Trans. Autom. Control.},
volume = {51},
number = {5},
pages = {726--741},
year = {2006},
url = {https://doi.org/10.1109/TAC.2006.875053},
doi = {10.1109/TAC.2006.875053},
timestamp = {Wed, 20 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tac/SeatzuCGB06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adhs/MahuleaGRS006,
author = {Cristian Mahulea and
Alessandro Giua and
Laura Recalde and
Carla Seatzu and
Manuel Silva},
editor = {Christos G. Cassandras and
Alessandro Giua and
Carla Seatzu and
Janan Zaytoon},
title = {On Sampling continuous Timed Petri Nets: Reachability "Equivalence"
under Infinite Servers Semantics},
booktitle = {2nd {IFAC} Conference on Analysis and Design of Hybrid Systems, {ADHS}
2006, Alghero, Italy, June 7-9, 2006},
series = {{IFAC} Proceedings Volumes},
volume = {39},
number = {5},
pages = {37--43},
publisher = {Elsevier},
year = {2006},
url = {https://doi.org/10.3182/20060607-3-IT-3902.00011},
doi = {10.3182/20060607-3-IT-3902.00011},
timestamp = {Fri, 12 Oct 2018 12:38:52 +0200},
biburl = {https://dblp.org/rec/conf/adhs/MahuleaGRS006.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cdc/CabasinoGS06,
author = {Maria Paola Cabasino and
Alessandro Giua and
Carla Seatzu},
title = {Identification of unbounded Petri nets from their coverability graph},
booktitle = {45th {IEEE} Conference on Decision and Control, {CDC} 2006, San Diego,
CA, USA, December 13-15, 2006},
pages = {434--440},
publisher = {{IEEE}},
year = {2006},
url = {https://doi.org/10.1109/CDC.2006.377769},
doi = {10.1109/CDC.2006.377769},
timestamp = {Fri, 04 Mar 2022 13:26:30 +0100},
biburl = {https://dblp.org/rec/conf/cdc/CabasinoGS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/posta/GiuaMRS006,
author = {Alessandro Giua and
Cristian Mahulea and
Laura Recalde and
Carla Seatzu and
Manuel Silva},
editor = {Christian Commault and
Nicolas Marchand},
title = {Optimal Control of Timed Continuous Petri Nets via Explicit {MPC}},
booktitle = {Positive Systems - Proceedings of the second Multidisciplinary International
Symposium on Positive Systems: Theory and Applications {(POSTA} 06),
Grenoble, France, Aug. 30-31, Sept. 1, 2006},
series = {Lecture Notes in Control and Information Sciences},
volume = {341},
pages = {383--390},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/3-540-34774-7\_49},
doi = {10.1007/3-540-34774-7\_49},
timestamp = {Mon, 22 Apr 2024 11:03:15 +0200},
biburl = {https://dblp.org/rec/conf/posta/GiuaMRS006.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/adhs/2006,
editor = {Christos G. Cassandras and
Alessandro Giua and
Carla Seatzu and
Janan Zaytoon},
title = {2nd {IFAC} Conference on Analysis and Design of Hybrid Systems, {ADHS}
2006, Alghero, Italy, June 7-9, 2006},
series = {{IFAC} Proceedings Volumes},
volume = {39},
number = {5},
publisher = {Elsevier},
year = {2006},
url = {https://www.sciencedirect.com/journal/ifac-proceedings-volumes/vol/39/issue/5},
timestamp = {Fri, 12 Oct 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/adhs/2006.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/deds/GiuaCS05,
author = {Alessandro Giua and
Daniele Corona and
Carla Seatzu},
title = {State Estimation of lambda-free Labeled Petri Nets with Contact-Free
Nondeterministic Transitions*},
journal = {Discret. Event Dyn. Syst.},
volume = {15},
number = {1},
pages = {85--108},
year = {2005},
url = {https://doi.org/10.1007/s10626-005-5239-4},
doi = {10.1007/S10626-005-5239-4},
timestamp = {Mon, 08 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/deds/GiuaCS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/IEEEisic/GromovMRCSG05,
author = {Dmitry Gromov and
Eckart Mayer and
J{\"{o}}rg Raisch and
Daniele Corona and
Carla Seatzu and
Alessandro Giua},
title = {Optimal Control of Discrete-Time Hybrid Automata under Safety and
Liveness Constraints},
booktitle = {Intelligent Control, 2005. Proceedings of the 2005 {IEEE} International
Symposium on, Mediterrean Conference on Control and Automation, Limassol,
Cyprus, 27-29 June, 2005},
pages = {243--249},
publisher = {{IEEE}},
year = {2005},
url = {https://doi.org/10.1109/.2005.1467022},
doi = {10.1109/.2005.1467022},
timestamp = {Sat, 09 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/IEEEisic/GromovMRCSG05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cdc/GiuaS05,
author = {Alessandro Giua and
Carla Seatzu},
title = {Fault detection for discrete event systems using Petri nets with unobservable
transitions},
booktitle = {44th {IEEE} {IEEE} Conference on Decision and Control and 8th European
Control Conference Control, {CDC/ECC} 2005, Seville, Spain, 12-15
December, 2005},
pages = {6323--6328},
publisher = {{IEEE}},
year = {2005},
url = {https://doi.org/10.1109/CDC.2005.1583175},
doi = {10.1109/CDC.2005.1583175},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cdc/GiuaS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cdc/GiuaS05a,
author = {Alessandro Giua and
Carla Seatzu},
title = {Identification of free-labeled Petri nets via integer programming},
booktitle = {44th {IEEE} {IEEE} Conference on Decision and Control and 8th European
Control Conference Control, {CDC/ECC} 2005, Seville, Spain, 12-15
December, 2005},
pages = {7639--7644},
publisher = {{IEEE}},
year = {2005},
url = {https://doi.org/10.1109/CDC.2005.1583395},
doi = {10.1109/CDC.2005.1583395},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cdc/GiuaS05a.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}
}
@inproceedings{DBLP:conf/etfa/CoronaGS05,
author = {Daniele Corona and
Alessandro Giua and
Carla Seatzu},
title = {Quantized optimal control of discrete-time systems},
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.1612533},
doi = {10.1109/ETFA.2005.1612533},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/etfa/CoronaGS05.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/IEEEisic/CoronaGS04,
author = {Daniele Corona and
Alessandro Giua and
Carla Seatzu},
title = {Optimal feedback switching laws for autonomous hybrid automata},
booktitle = {Intelligent Control, {ISIC} 2004. Proceedings of the 2004 {IEEE} International
Symposium on, Taipei, Taiwan, 2-4 Sept., 2004},
pages = {31--36},
publisher = {{IEEE}},
year = {2004},
url = {https://doi.org/10.1109/ISIC.2004.1387654},
doi = {10.1109/ISIC.2004.1387654},
timestamp = {Mon, 10 Jul 2023 15:19:36 +0200},
biburl = {https://dblp.org/rec/conf/IEEEisic/CoronaGS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cdc/CoronaGS04,
author = {Daniele Corona and
Alessandro Giua and
Carla Seatzu},
title = {Marking estimation of Petri nets with silent transitions},
booktitle = {43rd {IEEE} Conference on Decision and Control, {CDC} 2004, Nassau,
Bahamas, December 14-17, 2004},
pages = {966--971},
publisher = {{IEEE}},
year = {2004},
url = {https://doi.org/10.1109/CDC.2004.1428810},
doi = {10.1109/CDC.2004.1428810},
timestamp = {Fri, 04 Mar 2022 13:24:31 +0100},
biburl = {https://dblp.org/rec/conf/cdc/CoronaGS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adhs/BemporadCGS03,
author = {Alberto Bemporad and
Daniele Corona and
Alessandro Giua and
Carla Seatzu},
editor = {Sebastian Engell and
Herv{\'{e}} Gu{\'{e}}guen and
Janan Zaytoon},
title = {Optimal State-Feedback Quadratic Regulation of Linear Hybrid Automata},
booktitle = {{IFAC} Conference on Analysis and Design of Hybrid Systems, 2003,
St Malo, Brittany, France, June 16-18, 2003},
series = {{IFAC} Proceedings Volumes},
volume = {36},
number = {6},
pages = {367--372},
publisher = {Elsevier},
year = {2003},
url = {https://doi.org/10.1016/S1474-6670(17)36459-5},
doi = {10.1016/S1474-6670(17)36459-5},
timestamp = {Mon, 15 Oct 2018 09:39:22 +0200},
biburl = {https://dblp.org/rec/conf/adhs/BemporadCGS03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amcc/GiuaS03,
author = {Alessandro Giua and
Carla Seatzu},
title = {Deadlock characterization for Petri nets control using GMEC's and
observers},
booktitle = {American Control Conference, {ACC} 2003, Denver, CO, USA, June 4-6
2003},
pages = {320--325},
publisher = {{IEEE}},
year = {2003},
url = {https://doi.org/10.1109/ACC.2003.1238960},
doi = {10.1109/ACC.2003.1238960},
timestamp = {Mon, 06 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/amcc/GiuaS03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amcc/GiuaJS03,
author = {Alessandro Giua and
Jorge J{\'{u}}lvez and
Carla Seatzu},
title = {Marking estimation of Petri nets based on partial observation},
booktitle = {American Control Conference, {ACC} 2003, Denver, CO, USA, June 4-6
2003},
pages = {326--331},
publisher = {{IEEE}},
year = {2003},
url = {https://doi.org/10.1109/ACC.2003.1238961},
doi = {10.1109/ACC.2003.1238961},
timestamp = {Mon, 06 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/amcc/GiuaJS03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/etfa/CoronaGSJ03,
author = {Daniele Corona and
Alessandro Giua and
Carla Seatzu and
Jorge J{\'{u}}lvez},
title = {Observers for nondeterministic {\(\lambda\)}-free labeled Petri nets},
booktitle = {Proceedings of 9th {IEEE} International Conference on Emerging Technologies
and Factory Automation, {ETFA} 2003, September 16-19, 2003, Lisbon,
Portugal - Volume 1},
pages = {307--314},
publisher = {{IEEE}},
year = {2003},
url = {https://doi.org/10.1109/ETFA.2003.1247722},
doi = {10.1109/ETFA.2003.1247722},
timestamp = {Wed, 16 Oct 2019 14:14:55 +0200},
biburl = {https://dblp.org/rec/conf/etfa/CoronaGSJ03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eucc/GiuaMS03,
author = {Alessandro Giua and
Mauro Melas and
Carla Seatzu},
title = {Design of a control law for a magneto-rheological suspension},
booktitle = {7th European Control Conference, {ECC} 2003, Cambridge, UK, September
1-4, 2003},
pages = {1869--1874},
publisher = {{IEEE}},
year = {2003},
url = {https://doi.org/10.23919/ECC.2003.7085238},
doi = {10.23919/ECC.2003.7085238},
timestamp = {Fri, 05 Mar 2021 13:39:31 +0100},
biburl = {https://dblp.org/rec/conf/eucc/GiuaMS03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/posta/ArmosiniGPS03,
author = {Roberta Armosini and
Alessandro Giua and
Maria Teresa Pilloni and
Carla Seatzu},
editor = {Luca Benvenuti and
Alberto De Santis and
Lorenzo Farina},
title = {Simulation and Control of a Bottling Plant using First-order Hybrid
Petri Nets},
booktitle = {Positive Systems, Proceedings of the First Multidisciplinary International
Symposium on Positive Systems: Theory and Applications {(POSTA} 2003),
Rome, Italy, August 28-30, 2003},
series = {Lecture Notes in Control and Information Sciences},
volume = {294},
pages = {79--86},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-44928-7\_12},
doi = {10.1007/978-3-540-44928-7\_12},
timestamp = {Thu, 01 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/posta/ArmosiniGPS03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/smc/FantiGS03,
author = {Maria Pia Fanti and
Alessandro Giua and
Carla Seatzu},
title = {Generalized mutual exclusion constraints and monitors for colored
Petri nets},
booktitle = {Proceedings of the {IEEE} International Conference on Systems, Man
{\&} Cybernetics: Washington, D.C., USA, 5-8 October 2003},
pages = {1860--1865},
publisher = {{IEEE}},
year = {2003},
url = {https://doi.org/10.1109/ICSMC.2003.1244682},
doi = {10.1109/ICSMC.2003.1244682},
timestamp = {Wed, 16 Oct 2019 14:14:51 +0200},
biburl = {https://dblp.org/rec/conf/smc/FantiGS03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/smc/FantiGS03a,
author = {Maria Pia Fanti and
Alessandro Giua and
Carla Seatzu},
title = {A deadlock prevention method for railway networks using monitors for
colored Petri nets},
booktitle = {Proceedings of the {IEEE} International Conference on Systems, Man
{\&} Cybernetics: Washington, D.C., USA, 5-8 October 2003},
pages = {1866--1873},
publisher = {{IEEE}},
year = {2003},
url = {https://doi.org/10.1109/ICSMC.2003.1244683},
doi = {10.1109/ICSMC.2003.1244683},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/smc/FantiGS03a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/automatica/GiuaPS02,
author = {Alessandro Giua and
Aldo Piccaluga and
Carla Seatzu},
title = {Firing rate optimization of cyclic timed event graphs by token allocations},
journal = {Autom.},
volume = {38},
number = {1},
pages = {91--103},
year = {2002},
url = {https://doi.org/10.1016/S0005-1098(01)00189-3},
doi = {10.1016/S0005-1098(01)00189-3},
timestamp = {Thu, 20 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/automatica/GiuaPS02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tac/GiuaS02,
author = {Alessandro Giua and
Carla Seatzu},
title = {Observability of place/transition nets},
journal = {{IEEE} Trans. Autom. Control.},
volume = {47},
number = {9},
pages = {1424--1437},
year = {2002},
url = {https://doi.org/10.1109/TAC.2002.802769},
doi = {10.1109/TAC.2002.802769},
timestamp = {Wed, 20 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tac/GiuaS02.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/cdc/BemporadGS02a,
author = {Alberto Bemporad and
Raymond Giua and
Carla Seatzu},
title = {Synthesis of state-feedback optimal controllers for continuous-time
switched linear systems},
booktitle = {41st {IEEE} Conference on Decision and Control, {CDC} 2002, Las Vegas,
NV, USA, December 10-13, 2002},
pages = {3182--3187},
publisher = {{IEEE}},
year = {2002},
url = {https://doi.org/10.1109/CDC.2002.1184360},
doi = {10.1109/CDC.2002.1184360},
timestamp = {Tue, 08 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cdc/BemporadGS02a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/deds/BalduzziFGS01,
author = {Fabio Balduzzi and
Angela Di Febbraro and
Alessandro Giua and
Carla Seatzu},
title = {Decidability results in First-Order Hybrid Petri Nets},
journal = {Discret. Event Dyn. Syst.},
volume = {11},
number = {1-2},
pages = {41--57},
year = {2001},
url = {https://doi.org/10.1023/A:1008383031624},
doi = {10.1023/A:1008383031624},
timestamp = {Mon, 08 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/deds/BalduzziFGS01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cdc/EbauGSU01,
author = {Manuela Ebau and
Alessandro Giua and
Carla Seatzu and
Giampaolo Usai},
title = {Semiactive suspension design taking into account the actuator delay},
booktitle = {40th {IEEE} Conference on Decision and Control, {CDC} 2001, Orlando,
FL, USA, 4-7 Dec., 2001},
pages = {93--98},
publisher = {{IEEE}},
year = {2001},
url = {https://doi.org/10.1109/.2001.980078},
doi = {10.1109/.2001.980078},
timestamp = {Thu, 13 Oct 2022 17:08:41 +0200},
biburl = {https://dblp.org/rec/conf/cdc/EbauGSU01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cdc/GiuaSM01,
author = {Alessandro Giua and
Carla Seatzu and
Cornelis Van der Mee},
title = {Optimal control of switched autonomous linear systems},
booktitle = {40th {IEEE} Conference on Decision and Control, {CDC} 2001, Orlando,
FL, USA, 4-7 Dec., 2001},
pages = {2472--2477},
publisher = {{IEEE}},
year = {2001},
url = {https://doi.org/10.1109/.2001.980634},
doi = {10.1109/.2001.980634},
timestamp = {Thu, 06 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cdc/GiuaSM01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cdc/GiuaS01,
author = {Alessandro Giua and
Carla Seatzu},
title = {Supervisory control of railway networks with Petri nets},
booktitle = {40th {IEEE} Conference on Decision and Control, {CDC} 2001, Orlando,
FL, USA, 4-7 Dec., 2001},
pages = {5004--5009},
publisher = {{IEEE}},
year = {2001},
url = {https://doi.org/10.1109/.2001.981003},
doi = {10.1109/.2001.981003},
timestamp = {Thu, 06 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cdc/GiuaS01.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 = {Wed, 16 Oct 2019 14:14:55 +0200},
biburl = {https://dblp.org/rec/conf/etfa/BasileCGS01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eucc/GiuaS01,
author = {Alessandro Giua and
Carla Seatzu},
title = {The observer coverability graph for the analysis of observability
properties of Place/Transition nets},
booktitle = {6th European Control Conference, {ECC} 2001, Porto, Portugal, September
4-7, 2001},
pages = {1339--1344},
publisher = {{IEEE}},
year = {2001},
url = {https://doi.org/10.23919/ECC.2001.7076103},
doi = {10.23919/ECC.2001.7076103},
timestamp = {Mon, 15 Feb 2021 11:16:45 +0100},
biburl = {https://dblp.org/rec/conf/eucc/GiuaS01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijsysc/Seatzu00,
author = {Carla Seatzu},
title = {Design of decentralized constant-volume controllers for open-channels
by solving a least squares problem},
journal = {Int. J. Syst. Sci.},
volume = {31},
number = {6},
pages = {759--770},
year = {2000},
url = {https://doi.org/10.1080/00207720050030806},
doi = {10.1080/00207720050030806},
timestamp = {Wed, 22 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijsysc/Seatzu00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cdc/GiuaSU00,
author = {Alessandro Giua and
Carla Seatzu and
Giampaolo Usai},
title = {Active axletree suspension for road vehicles with gain-switching},
booktitle = {39th {IEEE} Conference on Decision and Control, {CDC} 2000, Sydney,
Australia, December 12-15, 2000},
pages = {438--443},
publisher = {{IEEE}},
year = {2000},
url = {https://doi.org/10.1109/CDC.2000.912803},
doi = {10.1109/CDC.2000.912803},
timestamp = {Mon, 22 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cdc/GiuaSU00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cdc/GiuaS00,
author = {Alessandro Giua and
Carla Seatzu},
title = {Observability properties of Petri nets},
booktitle = {39th {IEEE} Conference on Decision and Control, {CDC} 2000, Sydney,
Australia, December 12-15, 2000},
pages = {2676--2681},
publisher = {{IEEE}},
year = {2000},
url = {https://doi.org/10.1109/CDC.2000.914209},
doi = {10.1109/CDC.2000.914209},
timestamp = {Wed, 30 Mar 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cdc/GiuaS00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icra/GiuaPS00,
author = {Alessandro Giua and
Aldo Piccaluga and
Carla Seatzu},
title = {Incremental Optimization of Cyclic Timed Event Graphs},
booktitle = {Proceedings of the 2000 {IEEE} International Conference on Robotics
and Automation, {ICRA} 2000, April 24-28, 2000, San Francisco, CA,
{USA}},
pages = {2211--2216},
publisher = {{IEEE}},
year = {2000},
url = {https://doi.org/10.1109/ROBOT.2000.846356},
doi = {10.1109/ROBOT.2000.846356},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icra/GiuaPS00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/automatica/GiuaSU99,
author = {Alessandro Giua and
Carla Seatzu and
Giampaolo Usai},
title = {Observer-controller design for cranes via Lyapunov equivalence},
journal = {Autom.},
volume = {35},
number = {4},
pages = {669--678},
year = {1999},
url = {https://doi.org/10.1016/S0005-1098(98)00204-0},
doi = {10.1016/S0005-1098(98)00204-0},
timestamp = {Thu, 20 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/automatica/GiuaSU99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eucc/Seatzu99,
author = {Carla Seatzu},
title = {Robust {PI} decentralized control law for open-channel hydraulic systems},
booktitle = {5th European Control Conference, {ECC} 1999, Karlsruhe, Germany, August
31 - September 3, 1999},
pages = {3160--3165},
publisher = {{IEEE}},
year = {1999},
url = {https://doi.org/10.23919/ECC.1999.7099813},
doi = {10.23919/ECC.1999.7099813},
timestamp = {Fri, 12 Mar 2021 16:09:40 +0100},
biburl = {https://dblp.org/rec/conf/eucc/Seatzu99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/smc/SeatzuGU98,
author = {Carla Seatzu and
Alessandro Giua and
Giampaolo Usai},
title = {Decentralized volume control of open-channels using H\({}_{\mbox{2}}\)
norm minimization},
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 = {3891--3896},
publisher = {{IEEE}},
year = {1998},
url = {https://doi.org/10.1109/ICSMC.1998.726695},
doi = {10.1109/ICSMC.1998.726695},
timestamp = {Wed, 16 Oct 2019 14:14:51 +0200},
biburl = {https://dblp.org/rec/conf/smc/SeatzuGU98.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-22 22:42 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:
