Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "stream:streams/conf/wodes:"
download as .bib file
@inproceedings{DBLP:conf/wodes/Al-AjeliB16,
author = {Ahmed Al{-}Ajeli and
Behzad Bordbar},
editor = {Christos G. Cassandras and
Alessandro Giua and
Zhiwu Li},
title = {Fourier-Motzkin method for failure diagnosis in Petri Net models of
discrete event systems},
booktitle = {13th International Workshop on Discrete Event Systems, {WODES} 2016,
Xi'an, China, May 30 - June 1, 2016},
pages = {165--170},
publisher = {{IEEE}},
year = {2016},
url = {https://doi.org/10.1109/WODES.2016.7497843},
doi = {10.1109/WODES.2016.7497843},
timestamp = {Fri, 29 Apr 2022 15:37:30 +0200},
biburl = {https://dblp.org/rec/conf/wodes/Al-AjeliB16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wodes/AmmourLSL16,
author = {Rabah Ammour and
Edouard Leclercq and
Eric Sanlaville and
Dimitri Lefebvre},
editor = {Christos G. Cassandras and
Alessandro Giua and
Zhiwu Li},
title = {Faults prognosis using partially observed stochastic Petri nets},
booktitle = {13th International Workshop on Discrete Event Systems, {WODES} 2016,
Xi'an, China, May 30 - June 1, 2016},
pages = {472--477},
publisher = {{IEEE}},
year = {2016},
url = {https://doi.org/10.1109/WODES.2016.7497890},
doi = {10.1109/WODES.2016.7497890},
timestamp = {Sat, 16 Sep 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wodes/AmmourLSL16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wodes/AtamporeDR16,
author = {Francis Atampore and
Juergen Dingel and
Karen Rudie},
editor = {Christos G. Cassandras and
Alessandro Giua and
Zhiwu Li},
title = {Automated service composition via supervisory control theory},
booktitle = {13th International Workshop on Discrete Event Systems, {WODES} 2016,
Xi'an, China, May 30 - June 1, 2016},
pages = {28--35},
publisher = {{IEEE}},
year = {2016},
url = {https://doi.org/10.1109/WODES.2016.7497822},
doi = {10.1109/WODES.2016.7497822},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wodes/AtamporeDR16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wodes/BaiWLZ16,
author = {Liping Bai and
Naiqi Wu and
ZhiWu Li and
MengChu Zhou},
editor = {Christos G. Cassandras and
Alessandro Giua and
Zhiwu Li},
title = {Buffer space configuration and scheduling analysis of single-arm multi-cluster
tools},
booktitle = {13th International Workshop on Discrete Event Systems, {WODES} 2016,
Xi'an, China, May 30 - June 1, 2016},
pages = {349--354},
publisher = {{IEEE}},
year = {2016},
url = {https://doi.org/10.1109/WODES.2016.7497871},
doi = {10.1109/WODES.2016.7497871},
timestamp = {Fri, 29 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wodes/BaiWLZ16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wodes/BaldisseraC16,
author = {Fabio L. Baldissera and
Jos{\'{e}} E. R. Cury},
editor = {Christos G. Cassandras and
Alessandro Giua and
Zhiwu Li},
title = {Computing continuous control laws for gene regulatory networks within
a discrete-event systems approach},
booktitle = {13th International Workshop on Discrete Event Systems, {WODES} 2016,
Xi'an, China, May 30 - June 1, 2016},
pages = {36--43},
publisher = {{IEEE}},
year = {2016},
url = {https://doi.org/10.1109/WODES.2016.7497823},
doi = {10.1109/WODES.2016.7497823},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wodes/BaldisseraC16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wodes/BarkaouiHKL16,
author = {Kamel Barkaoui and
Awatef Hicheur and
Ahmed Kheldoun and
Ding Liu},
editor = {Christos G. Cassandras and
Alessandro Giua and
Zhiwu Li},
title = {Modelling and analyzing home care plans using high-level Petri nets},
booktitle = {13th International Workshop on Discrete Event Systems, {WODES} 2016,
Xi'an, China, May 30 - June 1, 2016},
pages = {284--290},
publisher = {{IEEE}},
year = {2016},
url = {https://doi.org/10.1109/WODES.2016.7497861},
doi = {10.1109/WODES.2016.7497861},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wodes/BarkaouiHKL16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wodes/BasileCC16,
author = {Francesco Basile and
Pasquale Chiacchio and
Jolanda Coppola},
editor = {Christos G. Cassandras and
Alessandro Giua and
Zhiwu Li},
title = {Identification of labeled Time Petri nets},
booktitle = {13th International Workshop on Discrete Event Systems, {WODES} 2016,
Xi'an, China, May 30 - June 1, 2016},
pages = {478--485},
publisher = {{IEEE}},
year = {2016},
url = {https://doi.org/10.1109/WODES.2016.7497891},
doi = {10.1109/WODES.2016.7497891},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/wodes/BasileCC16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wodes/BasileCC16a,
author = {Francesco Basile and
Pasquale Chiacchio and
Jolanda Coppola},
editor = {Christos G. Cassandras and
Alessandro Giua and
Zhiwu Li},
title = {Faulty model identification in deterministic labeled Time Petri nets},
booktitle = {13th International Workshop on Discrete Event Systems, {WODES} 2016,
Xi'an, China, May 30 - June 1, 2016},
pages = {486--492},
publisher = {{IEEE}},
year = {2016},
url = {https://doi.org/10.1109/WODES.2016.7497892},
doi = {10.1109/WODES.2016.7497892},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/wodes/BasileCC16a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wodes/BenhamronT16,
author = {Jeremie Benhamron and
John G. Thistle},
editor = {Christos G. Cassandras and
Alessandro Giua and
Zhiwu Li},
title = {Graph transformation as a modelling framework for supervisory control},
booktitle = {13th International Workshop on Discrete Event Systems, {WODES} 2016,
Xi'an, China, May 30 - June 1, 2016},
pages = {109--116},
publisher = {{IEEE}},
year = {2016},
url = {https://doi.org/10.1109/WODES.2016.7497834},
doi = {10.1109/WODES.2016.7497834},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wodes/BenhamronT16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wodes/BerardKMS16,
author = {B{\'{e}}atrice B{\'{e}}rard and
Olga Kouchnarenko and
John Mullins and
Mathieu Sassolas},
editor = {Christos G. Cassandras and
Alessandro Giua and
Zhiwu Li},
title = {Preserving opacity on Interval Markov Chains under simulation},
booktitle = {13th International Workshop on Discrete Event Systems, {WODES} 2016,
Xi'an, China, May 30 - June 1, 2016},
pages = {319--324},
publisher = {{IEEE}},
year = {2016},
url = {https://doi.org/10.1109/WODES.2016.7497866},
doi = {10.1109/WODES.2016.7497866},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wodes/BerardKMS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wodes/Berkhout16,
author = {Joost Berkhout},
editor = {Christos G. Cassandras and
Alessandro Giua and
Zhiwu Li},
title = {Google's PageRank algorithm for ranking nodes in general networks},
booktitle = {13th International Workshop on Discrete Event Systems, {WODES} 2016,
Xi'an, China, May 30 - June 1, 2016},
pages = {153--158},
publisher = {{IEEE}},
year = {2016},
url = {https://doi.org/10.1109/WODES.2016.7497841},
doi = {10.1109/WODES.2016.7497841},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/wodes/Berkhout16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wodes/BohlenderSFKH16,
author = {Dimitri Bohlender and
Hendrik Simon and
Nico Friedrich and
Stefan Kowalewski and
Stefan Hauck{-}Stattelmann},
editor = {Christos G. Cassandras and
Alessandro Giua and
Zhiwu Li},
title = {Concolic test generation for {PLC} programs using coverage metrics},
booktitle = {13th International Workshop on Discrete Event Systems, {WODES} 2016,
Xi'an, China, May 30 - June 1, 2016},
pages = {432--437},
publisher = {{IEEE}},
year = {2016},
url = {https://doi.org/10.1109/WODES.2016.7497884},
doi = {10.1109/WODES.2016.7497884},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wodes/BohlenderSFKH16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wodes/BoussahelF16,
author = {Wassim Mohamed Boussahel and
Georg Frey},
editor = {Christos G. Cassandras and
Alessandro Giua and
Zhiwu Li},
title = {Priced discrete Automata for modeling energy efficient manufacturing
systems},
booktitle = {13th International Workshop on Discrete Event Systems, {WODES} 2016,
Xi'an, China, May 30 - June 1, 2016},
pages = {79--84},
publisher = {{IEEE}},
year = {2016},
url = {https://doi.org/10.1109/WODES.2016.7497829},
doi = {10.1109/WODES.2016.7497829},
timestamp = {Mon, 15 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wodes/BoussahelF16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wodes/BoussifLG16,
author = {Abderraouf Boussif and
Baisi Liu and
Mohamed Ghazel},
editor = {Christos G. Cassandras and
Alessandro Giua and
Zhiwu Li},
title = {A twin-plant based approach for diagnosability analysis of intermittent
failures},
booktitle = {13th International Workshop on Discrete Event Systems, {WODES} 2016,
Xi'an, China, May 30 - June 1, 2016},
pages = {237--244},
publisher = {{IEEE}},
year = {2016},
url = {https://doi.org/10.1109/WODES.2016.7497854},
doi = {10.1109/WODES.2016.7497854},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wodes/BoussifLG16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wodes/CaiW16,
author = {Kai Cai and
Walter Murray Wonham},
editor = {Christos G. Cassandras and
Alessandro Giua and
Zhiwu Li},
title = {A new algorithm for computing the supremal relatively observable sublanguage},
booktitle = {13th International Workshop on Discrete Event Systems, {WODES} 2016,
Xi'an, China, May 30 - June 1, 2016},
pages = {8--13},
publisher = {{IEEE}},
year = {2016},
url = {https://doi.org/10.1109/WODES.2016.7497819},
doi = {10.1109/WODES.2016.7497819},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wodes/CaiW16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wodes/Capra16,
author = {Lorenzo Capra},
editor = {Christos G. Cassandras and
Alessandro Giua and
Zhiwu Li},
title = {A pure SPEC-inscribed {PN} model for reconfigurable systems},
booktitle = {13th International Workshop on Discrete Event Systems, {WODES} 2016,
Xi'an, China, May 30 - June 1, 2016},
pages = {459--465},
publisher = {{IEEE}},
year = {2016},
url = {https://doi.org/10.1109/WODES.2016.7497888},
doi = {10.1109/WODES.2016.7497888},
timestamp = {Mon, 15 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wodes/Capra16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wodes/CarvalhoWKL16,
author = {Lilian Kawakami Carvalho and
Yi{-}Chin Wu and
Raymond H. Kwong and
St{\'{e}}phane Lafortune},
editor = {Christos G. Cassandras and
Alessandro Giua and
Zhiwu Li},
title = {Detection and prevention of actuator enablement attacks in supervisory
control systems},
booktitle = {13th International Workshop on Discrete Event Systems, {WODES} 2016,
Xi'an, China, May 30 - June 1, 2016},
pages = {298--305},
publisher = {{IEEE}},
year = {2016},
url = {https://doi.org/10.1109/WODES.2016.7497863},
doi = {10.1109/WODES.2016.7497863},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wodes/CarvalhoWKL16.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 = {Mon, 05 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wodes/CavoneDS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wodes/ChenWY16,
author = {Xinwei Chen and
Yorai Wardi and
Sudhakar Yalamanchili},
editor = {Christos G. Cassandras and
Alessandro Giua and
Zhiwu Li},
title = {{IPA} in the loop: Control design for throughput regulation in computer
processors},
booktitle = {13th International Workshop on Discrete Event Systems, {WODES} 2016,
Xi'an, China, May 30 - June 1, 2016},
pages = {141--146},
publisher = {{IEEE}},
year = {2016},
url = {https://doi.org/10.1109/WODES.2016.7497839},
doi = {10.1109/WODES.2016.7497839},
timestamp = {Wed, 13 Dec 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/wodes/ChenWY16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wodes/DemirelGQJ16,
author = {Burak Demirel and
Vijay Gupta and
Daniel E. Quevedo and
Mikael Johansson},
editor = {Christos G. Cassandras and
Alessandro Giua and
Zhiwu Li},
title = {Threshold optimization of event-triggered multi-loop control systems},
booktitle = {13th International Workshop on Discrete Event Systems, {WODES} 2016,
Xi'an, China, May 30 - June 1, 2016},
pages = {203--210},
publisher = {{IEEE}},
year = {2016},
url = {https://doi.org/10.1109/WODES.2016.7497849},
doi = {10.1109/WODES.2016.7497849},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wodes/DemirelGQJ16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wodes/Desirena-LopezV16,
author = {Gaddiel Desirena{-}Lopez and
Carlos Renato V{\'{a}}zquez and
Jos{\'{e}} Luis Briz and
Antonio Ram{\'{\i}}rez{-}Trevi{\~{n}}o and
David G{\'{o}}mez{-}Guti{\'{e}}rrez},
editor = {Christos G. Cassandras and
Alessandro Giua and
Zhiwu Li},
title = {On-line scheduling in multiprocessor systems based on continuous control
using Timed Continuous Petri Nets},
booktitle = {13th International Workshop on Discrete Event Systems, {WODES} 2016,
Xi'an, China, May 30 - June 1, 2016},
pages = {278--283},
publisher = {{IEEE}},
year = {2016},
url = {https://doi.org/10.1109/WODES.2016.7497860},
doi = {10.1109/WODES.2016.7497860},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/wodes/Desirena-LopezV16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wodes/EbnerT16,
author = {Simon Ebner and
Sebastian Trimpe},
editor = {Christos G. Cassandras and
Alessandro Giua and
Zhiwu Li},
title = {Communication rate analysis for event-based state estimation},
booktitle = {13th International Workshop on Discrete Event Systems, {WODES} 2016,
Xi'an, China, May 30 - June 1, 2016},
pages = {189--196},
publisher = {{IEEE}},
year = {2016},
url = {https://doi.org/10.1109/WODES.2016.7497847},
doi = {10.1109/WODES.2016.7497847},
timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wodes/EbnerT16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wodes/FabreHLM16,
author = {Eric Fabre and
Lo{\"{\i}}c H{\'{e}}lou{\"{e}}t and
Engel Lefaucheux and
Herv{\'{e}} Marchand},
editor = {Christos G. Cassandras and
Alessandro Giua and
Zhiwu Li},
title = {Diagnosability of repairable faults},
booktitle = {13th International Workshop on Discrete Event Systems, {WODES} 2016,
Xi'an, China, May 30 - June 1, 2016},
pages = {230--236},
publisher = {{IEEE}},
year = {2016},
url = {https://doi.org/10.1109/WODES.2016.7497853},
doi = {10.1109/WODES.2016.7497853},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wodes/FabreHLM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wodes/FantiMPU16,
author = {Maria Pia Fanti and
Agostino Marcello Mangini and
Giovanni Pedroncelli and
Walter Ukovich},
editor = {Christos G. Cassandras and
Alessandro Giua and
Zhiwu Li},
title = {A Petri Net model for fleet sizing of Electric Car Sharing Systems},
booktitle = {13th International Workshop on Discrete Event Systems, {WODES} 2016,
Xi'an, China, May 30 - June 1, 2016},
pages = {51--56},
publisher = {{IEEE}},
year = {2016},
url = {https://doi.org/10.1109/WODES.2016.7497825},
doi = {10.1109/WODES.2016.7497825},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wodes/FantiMPU16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wodes/FraustroRVR16,
author = {Jaime A. Fraustro{-}Valdez and
Javier Ruiz{-}Le{\'{o}}n and
Carlos Renato V{\'{a}}zquez and
Antonio Ram{\'{\i}}rez{-}Trevi{\~{n}}o},
editor = {Christos G. Cassandras and
Alessandro Giua and
Zhiwu Li},
title = {Structural fault diagnosis in Timed Continuous Petri Nets},
booktitle = {13th International Workshop on Discrete Event Systems, {WODES} 2016,
Xi'an, China, May 30 - June 1, 2016},
pages = {159--164},
publisher = {{IEEE}},
year = {2016},
url = {https://doi.org/10.1109/WODES.2016.7497842},
doi = {10.1109/WODES.2016.7497842},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/wodes/FraustroRVR16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wodes/GhazelL16,
author = {Mohamed Ghazel and
Baisi Liu},
editor = {Christos G. Cassandras and
Alessandro Giua and
Zhiwu Li},
title = {A customizable railway benchmark to deal with fault diagnosis issues
in {DES}},
booktitle = {13th International Workshop on Discrete Event Systems, {WODES} 2016,
Xi'an, China, May 30 - June 1, 2016},
pages = {177--182},
publisher = {{IEEE}},
year = {2016},
url = {https://doi.org/10.1109/WODES.2016.7497845},
doi = {10.1109/WODES.2016.7497845},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wodes/GhazelL16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wodes/GobeTNK16,
author = {Florian G{\"{o}}be and
Thomas Timmermanns and
Oliver Ney and
Stefan Kowalewski},
editor = {Christos G. Cassandras and
Alessandro Giua and
Zhiwu Li},
title = {Synthesis Tool for Automation Controller Supervision},
booktitle = {13th International Workshop on Discrete Event Systems, {WODES} 2016,
Xi'an, China, May 30 - June 1, 2016},
pages = {424--431},
publisher = {{IEEE}},
year = {2016},
url = {https://doi.org/10.1109/WODES.2016.7497883},
doi = {10.1109/WODES.2016.7497883},
timestamp = {Tue, 17 Nov 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/wodes/GobeTNK16.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}
}
@inproceedings{DBLP:conf/wodes/HagebringWLWS16,
author = {Fredrik Hagebring and
Oskar Wigstr{\"{o}}m and
Bengt Lennartson and
Simon Ian Ware and
Rong Su},
editor = {Christos G. Cassandras and
Alessandro Giua and
Zhiwu Li},
title = {Comparing MILP, CP, and A* for multiple stacker crane scheduling},
booktitle = {13th International Workshop on Discrete Event Systems, {WODES} 2016,
Xi'an, China, May 30 - June 1, 2016},
pages = {63--70},
publisher = {{IEEE}},
year = {2016},
url = {https://doi.org/10.1109/WODES.2016.7497827},
doi = {10.1109/WODES.2016.7497827},
timestamp = {Wed, 22 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/wodes/HagebringWLWS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wodes/HamriKA16,
author = {Hakima Hamri and
Redouane Kara and
Sa{\"{\i}}d Amari},
editor = {Christos G. Cassandras and
Alessandro Giua and
Zhiwu Li},
title = {Multiparametric predictive control for a class of Discrete Event Systems},
booktitle = {13th International Workshop on Discrete Event Systems, {WODES} 2016,
Xi'an, China, May 30 - June 1, 2016},
pages = {418--423},
publisher = {{IEEE}},
year = {2016},
url = {https://doi.org/10.1109/WODES.2016.7497882},
doi = {10.1109/WODES.2016.7497882},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wodes/HamriKA16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wodes/HosseiniL16,
author = {Mona Noori Hosseini and
Bengt Lennartson},
editor = {Christos G. Cassandras and
Alessandro Giua and
Zhiwu Li},
title = {Diagnosability verification using compositional branching bisimulation},
booktitle = {13th International Workshop on Discrete Event Systems, {WODES} 2016,
Xi'an, China, May 30 - June 1, 2016},
pages = {245--250},
publisher = {{IEEE}},
year = {2016},
url = {https://doi.org/10.1109/WODES.2016.7497855},
doi = {10.1109/WODES.2016.7497855},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wodes/HosseiniL16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wodes/IbrahimCK16,
author = {Mariam Ibrahim and
Jun Chen and
Ratnesh Kumar},
editor = {Christos G. Cassandras and
Alessandro Giua and
Zhiwu Li},
title = {Quantification of distributed secrecy loss in stochastic discrete
event systems under bounded-delay communications},
booktitle = {13th International Workshop on Discrete Event Systems, {WODES} 2016,
Xi'an, China, May 30 - June 1, 2016},
pages = {373--378},
publisher = {{IEEE}},
year = {2016},
url = {https://doi.org/10.1109/WODES.2016.7497875},
doi = {10.1109/WODES.2016.7497875},
timestamp = {Sat, 02 Dec 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/wodes/IbrahimCK16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wodes/IbrahimCK16a,
author = {Mariam Ibrahim and
Jun Chen and
Ratnesh Kumar},
editor = {Christos G. Cassandras and
Alessandro Giua and
Zhiwu Li},
title = {A resiliency measure for electrical power systems},
booktitle = {13th International Workshop on Discrete Event Systems, {WODES} 2016,
Xi'an, China, May 30 - June 1, 2016},
pages = {385--390},
publisher = {{IEEE}},
year = {2016},
url = {https://doi.org/10.1109/WODES.2016.7497877},
doi = {10.1109/WODES.2016.7497877},
timestamp = {Sat, 02 Dec 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/wodes/IbrahimCK16a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wodes/JiaoGXW16,
author = {Ting Jiao and
Yongmei Gan and
Guochun Xiao and
W. M. Wonham},
editor = {Christos G. Cassandras and
Alessandro Giua and
Zhiwu Li},
title = {Exploiting symmetry of state tree structures for discrete-event systems
with parallel components},
booktitle = {13th International Workshop on Discrete Event Systems, {WODES} 2016,
Xi'an, China, May 30 - June 1, 2016},
pages = {97--102},
publisher = {{IEEE}},
year = {2016},
url = {https://doi.org/10.1109/WODES.2016.7497832},
doi = {10.1109/WODES.2016.7497832},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wodes/JiaoGXW16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wodes/KeroglouH16,
author = {Christoforos Keroglou and
Christoforos N. Hadjicostis},
editor = {Christos G. Cassandras and
Alessandro Giua and
Zhiwu Li},
title = {Probabilistic system opacity in discrete event systems},
booktitle = {13th International Workshop on Discrete Event Systems, {WODES} 2016,
Xi'an, China, May 30 - June 1, 2016},
pages = {379--384},
publisher = {{IEEE}},
year = {2016},
url = {https://doi.org/10.1109/WODES.2016.7497876},
doi = {10.1109/WODES.2016.7497876},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/wodes/KeroglouH16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wodes/KhazaeniC16,
author = {Yasaman Khazaeni and
Christos G. Cassandras},
editor = {Christos G. Cassandras and
Alessandro Giua and
Zhiwu Li},
title = {Event excitation for event-driven control and optimization of multi-agent
systems},
booktitle = {13th International Workshop on Discrete Event Systems, {WODES} 2016,
Xi'an, China, May 30 - June 1, 2016},
pages = {197--202},
publisher = {{IEEE}},
year = {2016},
url = {https://doi.org/10.1109/WODES.2016.7497848},
doi = {10.1109/WODES.2016.7497848},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/wodes/KhazaeniC16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wodes/KloetzerM16,
author = {Marius Kloetzer and
Cristian Mahulea},
editor = {Christos G. Cassandras and
Alessandro Giua and
Zhiwu Li},
title = {Multi-robot path planning for syntactically co-safe {LTL} specifications},
booktitle = {13th International Workshop on Discrete Event Systems, {WODES} 2016,
Xi'an, China, May 30 - June 1, 2016},
pages = {452--458},
publisher = {{IEEE}},
year = {2016},
url = {https://doi.org/10.1109/WODES.2016.7497887},
doi = {10.1109/WODES.2016.7497887},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/wodes/KloetzerM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wodes/KomendaL16,
author = {Jan Komenda and
Feng Lin},
editor = {Christos G. Cassandras and
Alessandro Giua and
Zhiwu Li},
title = {Modular supervisory control of networked discrete-event systems},
booktitle = {13th International Workshop on Discrete Event Systems, {WODES} 2016,
Xi'an, China, May 30 - June 1, 2016},
pages = {85--90},
publisher = {{IEEE}},
year = {2016},
url = {https://doi.org/10.1109/WODES.2016.7497830},
doi = {10.1109/WODES.2016.7497830},
timestamp = {Tue, 27 Sep 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wodes/KomendaL16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wodes/KomendaMS16,
author = {Jan Komenda and
Tom{\'{a}}s Masopust and
Jan H. van Schuppen},
editor = {Christos G. Cassandras and
Alessandro Giua and
Zhiwu Li},
title = {Control of an engineering-structured multilevel discrete-event system},
booktitle = {13th International Workshop on Discrete Event Systems, {WODES} 2016,
Xi'an, China, May 30 - June 1, 2016},
pages = {103--108},
publisher = {{IEEE}},
year = {2016},
url = {https://doi.org/10.1109/WODES.2016.7497833},
doi = {10.1109/WODES.2016.7497833},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wodes/KomendaMS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wodes/Lefebvre16,
author = {Dimitri Lefebvre},
editor = {Christos G. Cassandras and
Alessandro Giua and
Zhiwu Li},
title = {Deadlock-free scheduling for timed Petri net models combined with
{MPC} and backtracking},
booktitle = {13th International Workshop on Discrete Event Systems, {WODES} 2016,
Xi'an, China, May 30 - June 1, 2016},
pages = {466--471},
publisher = {{IEEE}},
year = {2016},
url = {https://doi.org/10.1109/WODES.2016.7497889},
doi = {10.1109/WODES.2016.7497889},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wodes/Lefebvre16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wodes/LiKT16,
author = {Ben Li and
Manel Khlif{-}Bouassida and
Armand Toguy{\'{e}}ni},
editor = {Christos G. Cassandras and
Alessandro Giua and
Zhiwu Li},
title = {Diagnosis and diagnosability analysis of labeled Petri nets using
reduction rules},
booktitle = {13th International Workshop on Discrete Event Systems, {WODES} 2016,
Xi'an, China, May 30 - June 1, 2016},
pages = {171--176},
publisher = {{IEEE}},
year = {2016},
url = {https://doi.org/10.1109/WODES.2016.7497844},
doi = {10.1109/WODES.2016.7497844},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wodes/LiKT16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wodes/LiuWSY16,
author = {Huixia Liu and
Weimin Wu and
Hongye Su and
Hongyong Yang},
editor = {Christos G. Cassandras and
Alessandro Giua and
Zhiwu Li},
title = {A polynomial complexity deadlock avoidance method for a class of flexible
manufacturing systems},
booktitle = {13th International Workshop on Discrete Event Systems, {WODES} 2016,
Xi'an, China, May 30 - June 1, 2016},
pages = {272--277},
publisher = {{IEEE}},
year = {2016},
url = {https://doi.org/10.1109/WODES.2016.7497859},
doi = {10.1109/WODES.2016.7497859},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wodes/LiuWSY16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wodes/LiuWYQ16,
author = {Zicheng Liu and
Naiqi Wu and
FaJun Yang and
Yan Qiao},
editor = {Christos G. Cassandras and
Alessandro Giua and
Zhiwu Li},
title = {Optimal scheduling of time-constrained single-arm cluster tools with
wafer revisiting},
booktitle = {13th International Workshop on Discrete Event Systems, {WODES} 2016,
Xi'an, China, May 30 - June 1, 2016},
pages = {355--360},
publisher = {{IEEE}},
year = {2016},
url = {https://doi.org/10.1109/WODES.2016.7497872},
doi = {10.1109/WODES.2016.7497872},
timestamp = {Tue, 12 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/wodes/LiuWYQ16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wodes/LiuXWC16,
author = {Ming Liu and
Lujun Xu and
Shijin Wang and
Chengbin Chu},
editor = {Christos G. Cassandras and
Alessandro Giua and
Zhiwu Li},
title = {Efficient algorithm for quay crane scheduling with arbitrary precedence
constraint},
booktitle = {13th International Workshop on Discrete Event Systems, {WODES} 2016,
Xi'an, China, May 30 - June 1, 2016},
pages = {57--62},
publisher = {{IEEE}},
year = {2016},
url = {https://doi.org/10.1109/WODES.2016.7497826},
doi = {10.1109/WODES.2016.7497826},
timestamp = {Fri, 04 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wodes/LiuXWC16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wodes/MaityB16,
author = {Dipankar Maity and
John S. Baras},
editor = {Christos G. Cassandras and
Alessandro Giua and
Zhiwu Li},
title = {Strategies for two-player differential games with costly information},
booktitle = {13th International Workshop on Discrete Event Systems, {WODES} 2016,
Xi'an, China, May 30 - June 1, 2016},
pages = {211--216},
publisher = {{IEEE}},
year = {2016},
url = {https://doi.org/10.1109/WODES.2016.7497850},
doi = {10.1109/WODES.2016.7497850},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wodes/MaityB16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wodes/Malik16,
author = {Robi Malik},
editor = {Christos G. Cassandras and
Alessandro Giua and
Zhiwu Li},
title = {Programming a fast explicit conflict checker},
booktitle = {13th International Workshop on Discrete Event Systems, {WODES} 2016,
Xi'an, China, May 30 - June 1, 2016},
pages = {438--443},
publisher = {{IEEE}},
year = {2016},
url = {https://doi.org/10.1109/WODES.2016.7497885},
doi = {10.1109/WODES.2016.7497885},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wodes/Malik16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wodes/MalikT16,
author = {Robi Malik and
Marcelo Teixeira},
editor = {Christos G. Cassandras and
Alessandro Giua and
Zhiwu Li},
title = {Modular supervisor synthesis for extended finite-state machines subject
to controllability},
booktitle = {13th International Workshop on Discrete Event Systems, {WODES} 2016,
Xi'an, China, May 30 - June 1, 2016},
pages = {91--96},
publisher = {{IEEE}},
year = {2016},
url = {https://doi.org/10.1109/WODES.2016.7497831},
doi = {10.1109/WODES.2016.7497831},
timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wodes/MalikT16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wodes/MallikS16,
author = {Kaushik Mallik and
Anne{-}Kathrin Schmuck},
editor = {Christos G. Cassandras and
Alessandro Giua and
Zhiwu Li},
title = {Supervisory controller synthesis for decomposable deterministic context
free specification languages},
booktitle = {13th International Workshop on Discrete Event Systems, {WODES} 2016,
Xi'an, China, May 30 - June 1, 2016},
pages = {22--27},
publisher = {{IEEE}},
year = {2016},
url = {https://doi.org/10.1109/WODES.2016.7497821},
doi = {10.1109/WODES.2016.7497821},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wodes/MallikS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wodes/MaoC16,
author = {Jianfeng Mao and
Christos G. Cassandras},
editor = {Christos G. Cassandras and
Alessandro Giua and
Zhiwu Li},
title = {Solving a class of discrete event simulation-based optimization problems
using "optimality in probability"},
booktitle = {13th International Workshop on Discrete Event Systems, {WODES} 2016,
Xi'an, China, May 30 - June 1, 2016},
pages = {129--134},
publisher = {{IEEE}},
year = {2016},
url = {https://doi.org/10.1109/WODES.2016.7497837},
doi = {10.1109/WODES.2016.7497837},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/wodes/MaoC16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wodes/MengLD16,
author = {Xianghu Meng and
Jun Li and
Xiangzhong Dai},
editor = {Christos G. Cassandras and
Alessandro Giua and
Zhiwu Li},
title = {Selection of solution strategies for colored traveling salesman problems
with different city distribution},
booktitle = {13th International Workshop on Discrete Event Systems, {WODES} 2016,
Xi'an, China, May 30 - June 1, 2016},
pages = {338--342},
publisher = {{IEEE}},
year = {2016},
url = {https://doi.org/10.1109/WODES.2016.7497869},
doi = {10.1109/WODES.2016.7497869},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wodes/MengLD16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wodes/MoradiHR16,
author = {Soraia Moradi and
Laurent Hardouin and
J{\"{o}}rg Raisch},
editor = {Christos G. Cassandras and
Alessandro Giua and
Zhiwu Li},
title = {Modeling and control of resource sharing problems in dioids},
booktitle = {13th International Workshop on Discrete Event Systems, {WODES} 2016,
Xi'an, China, May 30 - June 1, 2016},
pages = {410--417},
publisher = {{IEEE}},
year = {2016},
url = {https://doi.org/10.1109/WODES.2016.7497881},
doi = {10.1109/WODES.2016.7497881},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wodes/MoradiHR16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wodes/Navarro-Gutierrez16,
author = {Manuel Navarro{-}Guti{\'{e}}rrez and
Antonio Ram{\'{\i}}rez{-}Trevi{\~{n}}o and
Manuel Silva Su{\'{a}}rez},
editor = {Christos G. Cassandras and
Alessandro Giua and
Zhiwu Li},
title = {Discontinuities and non-monotonicities in Mono-T-Semiflow timed continuous
Petri nets},
booktitle = {13th International Workshop on Discrete Event Systems, {WODES} 2016,
Xi'an, China, May 30 - June 1, 2016},
pages = {493--500},
publisher = {{IEEE}},
year = {2016},
url = {https://doi.org/10.1109/WODES.2016.7497893},
doi = {10.1109/WODES.2016.7497893},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/wodes/Navarro-Gutierrez16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wodes/NiguezAF16,
author = {Julien Niguez and
Sa{\"{\i}}d Amari and
Jean{-}Marc Faure},
editor = {Christos G. Cassandras and
Alessandro Giua and
Zhiwu Li},
title = {Analysis of Timed Automata with Guards in dioids algebra},
booktitle = {13th International Workshop on Discrete Event Systems, {WODES} 2016,
Xi'an, China, May 30 - June 1, 2016},
pages = {391--397},
publisher = {{IEEE}},
year = {2016},
url = {https://doi.org/10.1109/WODES.2016.7497878},
doi = {10.1109/WODES.2016.7497878},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wodes/NiguezAF16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wodes/NunesMAB16,
author = {Carlos E. V. Nunes and
Marcos Vicente Moreira and
Marcos Vin{\'{\i}}cius Silva Alves and
Jo{\~{a}}o Carlos Basilio},
editor = {Christos G. Cassandras and
Alessandro Giua and
Zhiwu Li},
title = {Network codiagnosability of Discrete-Event Systems subject to event
communication delays},
booktitle = {13th International Workshop on Discrete Event Systems, {WODES} 2016,
Xi'an, China, May 30 - June 1, 2016},
pages = {217--223},
publisher = {{IEEE}},
year = {2016},
url = {https://doi.org/10.1109/WODES.2016.7497851},
doi = {10.1109/WODES.2016.7497851},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/wodes/NunesMAB16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wodes/PengFH16,
author = {Yijie Peng and
Michael C. Fu and
Jian{-}Qiang Hu},
editor = {Christos G. Cassandras and
Alessandro Giua and
Zhiwu Li},
title = {Estimating distribution sensitivity using generalized likelihood ratio
method},
booktitle = {13th International Workshop on Discrete Event Systems, {WODES} 2016,
Xi'an, China, May 30 - June 1, 2016},
pages = {123--128},
publisher = {{IEEE}},
year = {2016},
url = {https://doi.org/10.1109/WODES.2016.7497836},
doi = {10.1109/WODES.2016.7497836},
timestamp = {Wed, 20 Nov 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/wodes/PengFH16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wodes/SchuhL16,
author = {Melanie Schuh and
Jan Lunze},
editor = {Christos G. Cassandras and
Alessandro Giua and
Zhiwu Li},
title = {Fault-tolerant control of deterministic {I/O} automata with ambiguous
diagnostic result},
booktitle = {13th International Workshop on Discrete Event Systems, {WODES} 2016,
Xi'an, China, May 30 - June 1, 2016},
pages = {251--257},
publisher = {{IEEE}},
year = {2016},
url = {https://doi.org/10.1109/WODES.2016.7497856},
doi = {10.1109/WODES.2016.7497856},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wodes/SchuhL16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wodes/SchuhL16a,
author = {Melanie Schuh and
Jan Lunze},
editor = {Christos G. Cassandras and
Alessandro Giua and
Zhiwu Li},
title = {Tracking control of deterministic {I/O} automata},
booktitle = {13th International Workshop on Discrete Event Systems, {WODES} 2016,
Xi'an, China, May 30 - June 1, 2016},
pages = {325--331},
publisher = {{IEEE}},
year = {2016},
url = {https://doi.org/10.1109/WODES.2016.7497867},
doi = {10.1109/WODES.2016.7497867},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wodes/SchuhL16a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wodes/ShangHLM16,
author = {Ying Shang and
Laurent Hardouin and
Mehdi Lhommeau and
Carlos Andrey Maia},
editor = {Christos G. Cassandras and
Alessandro Giua and
Zhiwu Li},
title = {Robust controllers in disturbance decoupling of uncertain max-plus
linear systems: an application to a high throughput screening system
for drug discovery},
booktitle = {13th International Workshop on Discrete Event Systems, {WODES} 2016,
Xi'an, China, May 30 - June 1, 2016},
pages = {404--409},
publisher = {{IEEE}},
year = {2016},
url = {https://doi.org/10.1109/WODES.2016.7497880},
doi = {10.1109/WODES.2016.7497880},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/wodes/ShangHLM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wodes/SoleymaniHB16,
author = {Touraj Soleymani and
Sandra Hirche and
John S. Baras},
editor = {Christos G. Cassandras and
Alessandro Giua and
Zhiwu Li},
title = {Optimal self-driven sampling for estimation based on value of information},
booktitle = {13th International Workshop on Discrete Event Systems, {WODES} 2016,
Xi'an, China, May 30 - June 1, 2016},
pages = {183--188},
publisher = {{IEEE}},
year = {2016},
url = {https://doi.org/10.1109/WODES.2016.7497846},
doi = {10.1109/WODES.2016.7497846},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wodes/SoleymaniHB16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wodes/SundstromL16,
author = {Nina Sundstr{\"{o}}m and
Bengt Lennartson},
editor = {Christos G. Cassandras and
Alessandro Giua and
Zhiwu Li},
title = {Rescheduling affected operations - a purely predictive approach},
booktitle = {13th International Workshop on Discrete Event Systems, {WODES} 2016,
Xi'an, China, May 30 - June 1, 2016},
pages = {71--78},
publisher = {{IEEE}},
year = {2016},
url = {https://doi.org/10.1109/WODES.2016.7497828},
doi = {10.1109/WODES.2016.7497828},
timestamp = {Wed, 10 Oct 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wodes/SundstromL16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wodes/SwartjesRBF16,
author = {Lennart Swartjes and
Michel A. Reniers and
D. A. van Beek and
Wan J. Fokkink},
editor = {Christos G. Cassandras and
Alessandro Giua and
Zhiwu Li},
title = {Why is my supervisor empty? Finding causes for the unreachability
of states in synthesized supervisors},
booktitle = {13th International Workshop on Discrete Event Systems, {WODES} 2016,
Xi'an, China, May 30 - June 1, 2016},
pages = {14--21},
publisher = {{IEEE}},
year = {2016},
url = {https://doi.org/10.1109/WODES.2016.7497820},
doi = {10.1109/WODES.2016.7497820},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/wodes/SwartjesRBF16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wodes/TakaiK16,
author = {Shigemasa Takai and
Ratnesh Kumar},
editor = {Christos G. Cassandras and
Alessandro Giua and
Zhiwu Li},
title = {Delay bound of inference-based decentralized diagnosis in discrete
event systems},
booktitle = {13th International Workshop on Discrete Event Systems, {WODES} 2016,
Xi'an, China, May 30 - June 1, 2016},
pages = {224--229},
publisher = {{IEEE}},
year = {2016},
url = {https://doi.org/10.1109/WODES.2016.7497852},
doi = {10.1109/WODES.2016.7497852},
timestamp = {Sat, 02 Dec 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/wodes/TakaiK16.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/Vazquez-AbadB16,
author = {Felisa J. V{\'{a}}zquez{-}Abad and
Silvano Bernabel},
editor = {Christos G. Cassandras and
Alessandro Giua and
Zhiwu Li},
title = {Stochastic path optimization for robotic bees using cloud computing},
booktitle = {13th International Workshop on Discrete Event Systems, {WODES} 2016,
Xi'an, China, May 30 - June 1, 2016},
pages = {135--140},
publisher = {{IEEE}},
year = {2016},
url = {https://doi.org/10.1109/WODES.2016.7497838},
doi = {10.1109/WODES.2016.7497838},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wodes/Vazquez-AbadB16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wodes/VilelaP16,
author = {Juliana Nogueira Vilela and
Patr{\'{\i}}cia N. Pena},
editor = {Christos G. Cassandras and
Alessandro Giua and
Zhiwu Li},
title = {Supervisor abstraction to deal with planning problems in manufacturing
systems},
booktitle = {13th International Workshop on Discrete Event Systems, {WODES} 2016,
Xi'an, China, May 30 - June 1, 2016},
pages = {117--122},
publisher = {{IEEE}},
year = {2016},
url = {https://doi.org/10.1109/WODES.2016.7497835},
doi = {10.1109/WODES.2016.7497835},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wodes/VilelaP16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wodes/WangLL16,
author = {Jiacun Wang and
Xiaoou Li and
Gaiyun Liu},
editor = {Christos G. Cassandras and
Alessandro Giua and
Zhiwu Li},
title = {Cyclic workflow resource requirement analysis and application in healthcare},
booktitle = {13th International Workshop on Discrete Event Systems, {WODES} 2016,
Xi'an, China, May 30 - June 1, 2016},
pages = {291--297},
publisher = {{IEEE}},
year = {2016},
url = {https://doi.org/10.1109/WODES.2016.7497862},
doi = {10.1109/WODES.2016.7497862},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/wodes/WangLL16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wodes/WareS16,
author = {Simon Ware and
Rong Su},
editor = {Christos G. Cassandras and
Alessandro Giua and
Zhiwu Li},
title = {Incremental scheduling of discrete event systems},
booktitle = {13th International Workshop on Discrete Event Systems, {WODES} 2016,
Xi'an, China, May 30 - June 1, 2016},
pages = {147--152},
publisher = {{IEEE}},
year = {2016},
url = {https://doi.org/10.1109/WODES.2016.7497840},
doi = {10.1109/WODES.2016.7497840},
timestamp = {Wed, 22 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/wodes/WareS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wodes/WeiW16,
author = {Wei Wei and
Zheng Wang},
editor = {Christos G. Cassandras and
Alessandro Giua and
Zhiwu Li},
title = {Integrated optimal production and energy control of a single machine
and single product-type manufacturing system},
booktitle = {13th International Workshop on Discrete Event Systems, {WODES} 2016,
Xi'an, China, May 30 - June 1, 2016},
pages = {343--348},
publisher = {{IEEE}},
year = {2016},
url = {https://doi.org/10.1109/WODES.2016.7497870},
doi = {10.1109/WODES.2016.7497870},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wodes/WeiW16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wodes/Xia16,
author = {Li Xia},
editor = {Christos G. Cassandras and
Alessandro Giua and
Zhiwu Li},
title = {Optimization of parametric policies of Markov decision processes under
a variance criterion},
booktitle = {13th International Workshop on Discrete Event Systems, {WODES} 2016,
Xi'an, China, May 30 - June 1, 2016},
pages = {332--337},
publisher = {{IEEE}},
year = {2016},
url = {https://doi.org/10.1109/WODES.2016.7497868},
doi = {10.1109/WODES.2016.7497868},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wodes/Xia16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wodes/XuBBS16,
author = {Jia Xu and
Lucian Busoniu and
Ton J. J. van den Boom and
Bart De Schutter},
editor = {Christos G. Cassandras and
Alessandro Giua and
Zhiwu Li},
title = {Receding-horizon control for max-plus linear systems with discrete
actions using optimistic planning},
booktitle = {13th International Workshop on Discrete Event Systems, {WODES} 2016,
Xi'an, China, May 30 - June 1, 2016},
pages = {398--403},
publisher = {{IEEE}},
year = {2016},
url = {https://doi.org/10.1109/WODES.2016.7497879},
doi = {10.1109/WODES.2016.7497879},
timestamp = {Sat, 31 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wodes/XuBBS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wodes/YangH16,
author = {Yan Yang and
Hesuan Hu},
editor = {Christos G. Cassandras and
Alessandro Giua and
Zhiwu Li},
title = {Backward conflict free systems with resources and their distributed
control using Petri nets},
booktitle = {13th International Workshop on Discrete Event Systems, {WODES} 2016,
Xi'an, China, May 30 - June 1, 2016},
pages = {264--271},
publisher = {{IEEE}},
year = {2016},
url = {https://doi.org/10.1109/WODES.2016.7497858},
doi = {10.1109/WODES.2016.7497858},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wodes/YangH16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wodes/Yeddes16,
author = {Moez Yeddes},
editor = {Christos G. Cassandras and
Alessandro Giua and
Zhiwu Li},
title = {Enforcing opacity with Orwellian observation},
booktitle = {13th International Workshop on Discrete Event Systems, {WODES} 2016,
Xi'an, China, May 30 - June 1, 2016},
pages = {306--312},
publisher = {{IEEE}},
year = {2016},
url = {https://doi.org/10.1109/WODES.2016.7497864},
doi = {10.1109/WODES.2016.7497864},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wodes/Yeddes16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wodes/YinL16,
author = {Xiang Yin and
St{\'{e}}phane Lafortune},
editor = {Christos G. Cassandras and
Alessandro Giua and
Zhiwu Li},
title = {On maximal permissiveness in partially-observed discrete event systems:
Verification and synthesis},
booktitle = {13th International Workshop on Discrete Event Systems, {WODES} 2016,
Xi'an, China, May 30 - June 1, 2016},
pages = {1--7},
publisher = {{IEEE}},
year = {2016},
url = {https://doi.org/10.1109/WODES.2016.7497818},
doi = {10.1109/WODES.2016.7497818},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wodes/YinL16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wodes/YinL16a,
author = {Xiang Yin and
St{\'{e}}phane Lafortune},
editor = {Christos G. Cassandras and
Alessandro Giua and
Zhiwu Li},
title = {On two-way observer and its application to the verification of infinite-step
and K-step opacity},
booktitle = {13th International Workshop on Discrete Event Systems, {WODES} 2016,
Xi'an, China, May 30 - June 1, 2016},
pages = {361--366},
publisher = {{IEEE}},
year = {2016},
url = {https://doi.org/10.1109/WODES.2016.7497873},
doi = {10.1109/WODES.2016.7497873},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wodes/YinL16a.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/ZgorzelskiL16,
author = {Markus Zgorzelski and
Jan Lunze},
editor = {Christos G. Cassandras and
Alessandro Giua and
Zhiwu Li},
title = {A method for the synchronisation of networked discrete-event systems},
booktitle = {13th International Workshop on Discrete Event Systems, {WODES} 2016,
Xi'an, China, May 30 - June 1, 2016},
pages = {444--451},
publisher = {{IEEE}},
year = {2016},
url = {https://doi.org/10.1109/WODES.2016.7497886},
doi = {10.1109/WODES.2016.7497886},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wodes/ZgorzelskiL16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/wodes/2016,
editor = {Christos G. Cassandras and
Alessandro Giua and
Zhiwu Li},
title = {13th International Workshop on Discrete Event Systems, {WODES} 2016,
Xi'an, China, May 30 - June 1, 2016},
publisher = {{IEEE}},
year = {2016},
url = {https://ieeexplore.ieee.org/xpl/conhome/7493813/proceeding},
isbn = {978-1-5090-4190-9},
timestamp = {Fri, 29 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wodes/2016.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wodes/AbbasO14,
author = {Karim Abbas and
Sofiane Ouazine},
editor = {Jean{-}Jacques Lesage and
Jean{-}Marc Faure and
Jos{\'{e}} E. R. Cury and
Bengt Lennartson},
title = {A Numerical Analysis of the {M/G/1/N} Queue with Vacations},
booktitle = {12th International Workshop on Discrete Event Systems, {WODES} 2014,
Cachan, France, May 14-16, 2014},
pages = {504--509},
publisher = {International Federation of Automatic Control},
year = {2014},
url = {https://doi.org/10.3182/20140514-3-FR-4046.00023},
doi = {10.3182/20140514-3-FR-4046.00023},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wodes/AbbasO14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wodes/AbidMZ14,
author = {Chiheb Ameur Abid and
Soukaina Ben Mohamed and
Belhassen Zouari},
editor = {Jean{-}Jacques Lesage and
Jean{-}Marc Faure and
Jos{\'{e}} E. R. Cury and
Bengt Lennartson},
title = {An Active Controller Based on Parikh Vectors},
booktitle = {12th International Workshop on Discrete Event Systems, {WODES} 2014,
Cachan, France, May 14-16, 2014},
pages = {93--98},
publisher = {International Federation of Automatic Control},
year = {2014},
url = {https://doi.org/10.3182/20140514-3-FR-4046.00121},
doi = {10.3182/20140514-3-FR-4046.00121},
timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wodes/AbidMZ14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wodes/AdiegoDTVS14,
author = {Borja Fernandez Adiego and
D{\'{a}}niel Darvas and
Jean{-}Charles Tournier and
Enrique Blanco Vi{\~{n}}uela and
V{\'{\i}}ctor M. Gonz{\'{a}}lez Su{\'{a}}rez},
editor = {Jean{-}Jacques Lesage and
Jean{-}Marc Faure and
Jos{\'{e}} E. R. Cury and
Bengt Lennartson},
title = {Bringing Automated Model Checking to {PLC} Program Development - a
{CERN} Case Study},
booktitle = {12th International Workshop on Discrete Event Systems, {WODES} 2014,
Cachan, France, May 14-16, 2014},
pages = {394--399},
publisher = {International Federation of Automatic Control},
year = {2014},
url = {https://doi.org/10.3182/20140514-3-FR-4046.00051},
doi = {10.3182/20140514-3-FR-4046.00051},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wodes/AdiegoDTVS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wodes/AdzkiyaSA14,
author = {Dieky Adzkiya and
Bart De Schutter and
Alessandro Abate},
editor = {Jean{-}Jacques Lesage and
Jean{-}Marc Faure and
Jos{\'{e}} E. R. Cury and
Bengt Lennartson},
title = {Backward Reachability of Autonomous Max-Plus-Linear Systems},
booktitle = {12th International Workshop on Discrete Event Systems, {WODES} 2014,
Cachan, France, May 14-16, 2014},
pages = {117--122},
publisher = {International Federation of Automatic Control},
year = {2014},
url = {https://doi.org/10.3182/20140514-3-FR-4046.00056},
doi = {10.3182/20140514-3-FR-4046.00056},
timestamp = {Sat, 31 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wodes/AdzkiyaSA14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wodes/AlvesBCCM14,
author = {Marcos Vin{\'{\i}}cius Silva Alves and
Jo{\~{a}}o Carlos Basilio and
Antonio Eduardo Carrilho da Cunha and
Lilian Kawakami Carvalho and
Marcos Vicente Moreira},
editor = {Jean{-}Jacques Lesage and
Jean{-}Marc Faure and
Jos{\'{e}} E. R. Cury and
Bengt Lennartson},
title = {Robust Supervisory Control against Intermittent Loss of Observations},
booktitle = {12th International Workshop on Discrete Event Systems, {WODES} 2014,
Cachan, France, May 14-16, 2014},
pages = {294--299},
publisher = {International Federation of Automatic Control},
year = {2014},
url = {https://doi.org/10.3182/20140514-3-FR-4046.00092},
doi = {10.3182/20140514-3-FR-4046.00092},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wodes/AlvesBCCM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wodes/AmmourA14,
author = {Rabah Ammour and
Sa{\"{\i}}d Amari},
editor = {Jean{-}Jacques Lesage and
Jean{-}Marc Faure and
Jos{\'{e}} E. R. Cury and
Bengt Lennartson},
title = {Evaluation of Response Time Bounds in Producer/Consumer Networked
Control Systems Using (Max, +) Algebra},
booktitle = {12th International Workshop on Discrete Event Systems, {WODES} 2014,
Cachan, France, May 14-16, 2014},
pages = {123--128},
publisher = {International Federation of Automatic Control},
year = {2014},
url = {https://doi.org/10.3182/20140514-3-FR-4046.00103},
doi = {10.3182/20140514-3-FR-4046.00103},
timestamp = {Sat, 16 Sep 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wodes/AmmourA14.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/BasilePC14,
author = {Francesco Basile and
Luigi Piroddi and
Roberto Cordone},
editor = {Jean{-}Jacques Lesage and
Jean{-}Marc Faure and
Jos{\'{e}} E. R. Cury and
Bengt Lennartson},
title = {Decentralized Monitors Design for Petri Net Models},
booktitle = {12th International Workshop on Discrete Event Systems, {WODES} 2014,
Cachan, France, May 14-16, 2014},
pages = {73--79},
publisher = {International Federation of Automatic Control},
year = {2014},
url = {https://doi.org/10.3182/20140514-3-FR-4046.00048},
doi = {10.3182/20140514-3-FR-4046.00048},
timestamp = {Mon, 05 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wodes/BasilePC14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wodes/BerkhoutH14,
author = {Joost Berkhout and
Bernd Heidergott},
editor = {Jean{-}Jacques Lesage and
Jean{-}Marc Faure and
Jos{\'{e}} E. R. Cury and
Bengt Lennartson},
title = {A Series Expansion Approach to Risk Analysis of an Inventory System
with Sourcing},
booktitle = {12th International Workshop on Discrete Event Systems, {WODES} 2014,
Cachan, France, May 14-16, 2014},
pages = {510--515},
publisher = {International Federation of Automatic Control},
year = {2014},
url = {https://doi.org/10.3182/20140514-3-FR-4046.00095},
doi = {10.3182/20140514-3-FR-4046.00095},
timestamp = {Mon, 15 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wodes/BerkhoutH14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wodes/BerthierM14,
author = {Nicolas Berthier and
Herv{\'{e}} Marchand},
editor = {Jean{-}Jacques Lesage and
Jean{-}Marc Faure and
Jos{\'{e}} E. R. Cury and
Bengt Lennartson},
title = {Discrete Controller Synthesis for Infinite State Systems with ReaX},
booktitle = {12th International Workshop on Discrete Event Systems, {WODES} 2014,
Cachan, France, May 14-16, 2014},
pages = {46--53},
publisher = {International Federation of Automatic Control},
year = {2014},
url = {https://doi.org/10.3182/20140514-3-FR-4046.00099},
doi = {10.3182/20140514-3-FR-4046.00099},
timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/wodes/BerthierM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wodes/BiallasKSS14,
author = {Sebastian Biallas and
Stefan Kowalewski and
Stefan Stattelmann and
Bastian Schlich},
editor = {Jean{-}Jacques Lesage and
Jean{-}Marc Faure and
Jos{\'{e}} E. R. Cury and
Bengt Lennartson},
title = {Efficient Handling of States in Abstract Interpretation of Industrial
Programmable Logic Controller Code},
booktitle = {12th International Workshop on Discrete Event Systems, {WODES} 2014,
Cachan, France, May 14-16, 2014},
pages = {400--405},
publisher = {International Federation of Automatic Control},
year = {2014},
url = {https://doi.org/10.3182/20140514-3-FR-4046.00065},
doi = {10.3182/20140514-3-FR-4046.00065},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wodes/BiallasKSS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wodes/BravoPCMC14,
author = {Hugo J. Bravo and
Patr{\'{\i}}cia Nascimento Pena and
Antonio Eduardo Carrilho da Cunha and
Robi Malik and
Jos{\'{e}} E. R. Cury},
editor = {Jean{-}Jacques Lesage and
Jean{-}Marc Faure and
Jos{\'{e}} E. R. Cury and
Bengt Lennartson},
title = {Generalised Search for the Observer Property in Discrete Event Systems},
booktitle = {12th International Workshop on Discrete Event Systems, {WODES} 2014,
Cachan, France, May 14-16, 2014},
pages = {350--355},
publisher = {International Federation of Automatic Control},
year = {2014},
url = {https://doi.org/10.3182/20140514-3-FR-4046.00079},
doi = {10.3182/20140514-3-FR-4046.00079},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wodes/BravoPCMC14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wodes/CaiZW14,
author = {Kai Cai and
Renyuan Zhang and
Walter Murray Wonham},
editor = {Jean{-}Jacques Lesage and
Jean{-}Marc Faure and
Jos{\'{e}} E. R. Cury and
Bengt Lennartson},
title = {On Relative Observability of Timed Discrete-Event Systems},
booktitle = {12th International Workshop on Discrete Event Systems, {WODES} 2014,
Cachan, France, May 14-16, 2014},
pages = {208--213},
publisher = {International Federation of Automatic Control},
year = {2014},
url = {https://doi.org/10.3182/20140514-3-FR-4046.00005},
doi = {10.3182/20140514-3-FR-4046.00005},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wodes/CaiZW14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wodes/CaoW14,
author = {Xi{-}Ren Cao and
Xiangwei Wan},
editor = {Jean{-}Jacques Lesage and
Jean{-}Marc Faure and
Jos{\'{e}} E. R. Cury and
Bengt Lennartson},
title = {How Does Perturbation Analysis Work in Finance and Economics?},
booktitle = {12th International Workshop on Discrete Event Systems, {WODES} 2014,
Cachan, France, May 14-16, 2014},
pages = {253--258},
publisher = {International Federation of Automatic Control},
year = {2014},
url = {https://doi.org/10.3182/20140514-3-FR-4046.00066},
doi = {10.3182/20140514-3-FR-4046.00066},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wodes/CaoW14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wodes/ChauQF14,
author = {Marie Chau and
Huashuai Qu and
Michael C. Fu},
editor = {Jean{-}Jacques Lesage and
Jean{-}Marc Faure and
Jos{\'{e}} E. R. Cury and
Bengt Lennartson},
title = {A New Hybrid Stochastic Approximation Algorithm},
booktitle = {12th International Workshop on Discrete Event Systems, {WODES} 2014,
Cachan, France, May 14-16, 2014},
pages = {241--246},
publisher = {International Federation of Automatic Control},
year = {2014},
url = {https://doi.org/10.3182/20140514-3-FR-4046.00072},
doi = {10.3182/20140514-3-FR-4046.00072},
timestamp = {Wed, 20 Nov 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/wodes/ChauQF14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wodes/ChenK14,
author = {Jun Chen and
Ratnesh Kumar},
editor = {Jean{-}Jacques Lesage and
Jean{-}Marc Faure and
Jos{\'{e}} E. R. Cury and
Bengt Lennartson},
title = {Pattern Mining for Predicting Critical Events from Sequential Event
Data Log},
booktitle = {12th International Workshop on Discrete Event Systems, {WODES} 2014,
Cachan, France, May 14-16, 2014},
pages = {1--6},
publisher = {International Federation of Automatic Control},
year = {2014},
url = {https://doi.org/10.3182/20140514-3-FR-4046.00120},
doi = {10.3182/20140514-3-FR-4046.00120},
timestamp = {Sat, 02 Dec 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/wodes/ChenK14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wodes/ChenLB14,
author = {Yufeng Chen and
Zhiwu Li and
Kamel Barkaoui},
editor = {Jean{-}Jacques Lesage and
Jean{-}Marc Faure and
Jos{\'{e}} E. R. Cury and
Bengt Lennartson},
title = {Maximally Permissive Petri Net Supervisors with a Novel Structure},
booktitle = {12th International Workshop on Discrete Event Systems, {WODES} 2014,
Cachan, France, May 14-16, 2014},
pages = {80--85},
publisher = {International Federation of Automatic Control},
year = {2014},
url = {https://doi.org/10.3182/20140514-3-FR-4046.00044},
doi = {10.3182/20140514-3-FR-4046.00044},
timestamp = {Fri, 29 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wodes/ChenLB14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wodes/CottenceauLH14,
author = {Bertrand Cottenceau and
S{\'{e}}bastien Lahaye and
Laurent Hardouin},
editor = {Jean{-}Jacques Lesage and
Jean{-}Marc Faure and
Jos{\'{e}} E. R. Cury and
Bengt Lennartson},
title = {Modeling of Time-Varying (max, +) Systems by Means of Weighted Timed
Event Graphs},
booktitle = {12th International Workshop on Discrete Event Systems, {WODES} 2014,
Cachan, France, May 14-16, 2014},
pages = {465--470},
publisher = {International Federation of Automatic Control},
year = {2014},
url = {https://doi.org/10.3182/20140514-3-FR-4046.00014},
doi = {10.3182/20140514-3-FR-4046.00014},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wodes/CottenceauLH14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wodes/DarragiED14,
author = {Nesrine Darragi and
El{-}Miloudi El{-}Koursi and
Simon Collart Dutilleul},
editor = {Jean{-}Jacques Lesage and
Jean{-}Marc Faure and
Jos{\'{e}} E. R. Cury and
Bengt Lennartson},
title = {From Goal Modeling of Real-Time Control System to {RT-DEVS} Safety
Properties Analysis},
booktitle = {12th International Workshop on Discrete Event Systems, {WODES} 2014,
Cachan, France, May 14-16, 2014},
pages = {162--169},
publisher = {International Federation of Automatic Control},
year = {2014},
url = {https://doi.org/10.3182/20140514-3-FR-4046.00026},
doi = {10.3182/20140514-3-FR-4046.00026},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wodes/DarragiED14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wodes/David-HenrietRHC14,
author = {Xavier David{-}Henriet and
J{\"{o}}rg Raisch and
Laurent Hardouin and
Bertrand Cottenceau},
editor = {Jean{-}Jacques Lesage and
Jean{-}Marc Faure and
Jos{\'{e}} E. R. Cury and
Bengt Lennartson},
title = {Modeling and Control for Max-Plus Systems with Partial Synchronization},
booktitle = {12th International Workshop on Discrete Event Systems, {WODES} 2014,
Cachan, France, May 14-16, 2014},
pages = {105--110},
publisher = {International Federation of Automatic Control},
year = {2014},
url = {https://doi.org/10.3182/20140514-3-FR-4046.00025},
doi = {10.3182/20140514-3-FR-4046.00025},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wodes/David-HenrietRHC14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wodes/Declerck14,
author = {Philippe Declerck},
editor = {Jean{-}Jacques Lesage and
Jean{-}Marc Faure and
Jos{\'{e}} E. R. Cury and
Bengt Lennartson},
title = {Causality Phenomenon and Compromise Technique for Predictive Control
of Timed Event Graphs with Specifications Defined by P-Time Event
Graphs},
booktitle = {12th International Workshop on Discrete Event Systems, {WODES} 2014,
Cachan, France, May 14-16, 2014},
pages = {99--104},
publisher = {International Federation of Automatic Control},
year = {2014},
url = {https://doi.org/10.3182/20140514-3-FR-4046.00045},
doi = {10.3182/20140514-3-FR-4046.00045},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wodes/Declerck14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wodes/DotoliEFC14,
author = {Mariagrazia Dotoli and
Nicola Epicoco and
Marco Falagario and
Graziana Cavone},
editor = {Jean{-}Jacques Lesage and
Jean{-}Marc Faure and
Jos{\'{e}} E. R. Cury and
Bengt Lennartson},
title = {A Timed Petri Nets Model for Intermodal Freight Transport Terminals},
booktitle = {12th International Workshop on Discrete Event Systems, {WODES} 2014,
Cachan, France, May 14-16, 2014},
pages = {176--181},
publisher = {International Federation of Automatic Control},
year = {2014},
url = {https://doi.org/10.3182/20140514-3-FR-4046.00038},
doi = {10.3182/20140514-3-FR-4046.00038},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wodes/DotoliEFC14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wodes/EhlersLTV14,
author = {R{\"{u}}diger Ehlers and
St{\'{e}}phane Lafortune and
Stavros Tripakis and
Moshe Y. Vardi},
editor = {Jean{-}Jacques Lesage and
Jean{-}Marc Faure and
Jos{\'{e}} E. R. Cury and
Bengt Lennartson},
title = {Bridging the Gap between Supervisory Control and Reactive Synthesis:
Case of Full Observation and Centralized Control},
booktitle = {12th International Workshop on Discrete Event Systems, {WODES} 2014,
Cachan, France, May 14-16, 2014},
pages = {222--227},
publisher = {International Federation of Automatic Control},
year = {2014},
url = {https://doi.org/10.3182/20140514-3-FR-4046.00018},
doi = {10.3182/20140514-3-FR-4046.00018},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wodes/EhlersLTV14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wodes/FeiRA14,
author = {Zhennan Fei and
Spyros A. Reveliotis and
Knut {\AA}kesson},
editor = {Jean{-}Jacques Lesage and
Jean{-}Marc Faure and
Jos{\'{e}} E. R. Cury and
Bengt Lennartson},
title = {A Symbolic Approach for Maximally Permissive Deadlock Avoidance in
Complex Resource Allocation Systems},
booktitle = {12th International Workshop on Discrete Event Systems, {WODES} 2014,
Cachan, France, May 14-16, 2014},
pages = {362--369},
publisher = {International Federation of Automatic Control},
year = {2014},
url = {https://doi.org/10.3182/20140514-3-FR-4046.00021},
doi = {10.3182/20140514-3-FR-4046.00021},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wodes/FeiRA14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wodes/FiemsT14,
author = {Dieter Fiems and
Koen De Turck},
editor = {Jean{-}Jacques Lesage and
Jean{-}Marc Faure and
Jos{\'{e}} E. R. Cury and
Bengt Lennartson},
title = {Series Expansion Techniques for Fast Evaluation of Acyclic Finite-Capacity
Queueing Networks},
booktitle = {12th International Workshop on Discrete Event Systems, {WODES} 2014,
Cachan, France, May 14-16, 2014},
pages = {492--497},
publisher = {International Federation of Automatic Control},
year = {2014},
url = {https://doi.org/10.3182/20140514-3-FR-4046.00132},
doi = {10.3182/20140514-3-FR-4046.00132},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wodes/FiemsT14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wodes/FleckC14,
author = {Julia Lima Fleck and
Christos G. Cassandras},
editor = {Jean{-}Jacques Lesage and
Jean{-}Marc Faure and
Jos{\'{e}} E. R. Cury and
Bengt Lennartson},
title = {Infinitesimal Perturbation Analysis for Quasi-Dynamic Traffic Light
Controllers},
booktitle = {12th International Workshop on Discrete Event Systems, {WODES} 2014,
Cachan, France, May 14-16, 2014},
pages = {235--240},
publisher = {International Federation of Automatic Control},
year = {2014},
url = {https://doi.org/10.3182/20140514-3-FR-4046.00028},
doi = {10.3182/20140514-3-FR-4046.00028},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/wodes/FleckC14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wodes/FracaJS14,
author = {Est{\'{\i}}baliz Fraca and
Jorge J{\'{u}}lvez and
Manuel Silva Su{\'{a}}rez},
editor = {Jean{-}Jacques Lesage and
Jean{-}Marc Faure and
Jos{\'{e}} E. R. Cury and
Bengt Lennartson},
title = {The "bound Reaching Problem" on the Fluidization of Timed Petri Nets},
booktitle = {12th International Workshop on Discrete Event Systems, {WODES} 2014,
Cachan, France, May 14-16, 2014},
pages = {142--148},
publisher = {International Federation of Automatic Control},
year = {2014},
url = {https://doi.org/10.3182/20140514-3-FR-4046.00100},
doi = {10.3182/20140514-3-FR-4046.00100},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wodes/FracaJS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wodes/GougamSP14,
author = {Houssam{-}Eddine Gougam and
Audine Subias and
Yannick Pencol{\'{e}}},
editor = {Jean{-}Jacques Lesage and
Jean{-}Marc Faure and
Jos{\'{e}} E. R. Cury and
Bengt Lennartson},
title = {Discriminability Analysis of Supervision Patterns by Net Unfoldings},
booktitle = {12th International Workshop on Discrete Event Systems, {WODES} 2014,
Cachan, France, May 14-16, 2014},
pages = {459--464},
publisher = {International Federation of Automatic Control},
year = {2014},
url = {https://doi.org/10.3182/20140514-3-FR-4046.00136},
doi = {10.3182/20140514-3-FR-4046.00136},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wodes/GougamSP14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wodes/GuignardF14,
author = {Ana{\"{\i}}s Guignard and
Jean{-}Marc Faure},
editor = {Jean{-}Jacques Lesage and
Jean{-}Marc Faure and
Jos{\'{e}} E. R. Cury and
Bengt Lennartson},
title = {A Conformance Relation for Model-Based Testing of {PLC}},
booktitle = {12th International Workshop on Discrete Event Systems, {WODES} 2014,
Cachan, France, May 14-16, 2014},
pages = {412--419},
publisher = {International Federation of Automatic Control},
year = {2014},
url = {https://doi.org/10.3182/20140514-3-FR-4046.00125},
doi = {10.3182/20140514-3-FR-4046.00125},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wodes/GuignardF14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wodes/GuilletBB14,
author = {S{\'{e}}bastien Guillet and
Bruno Bouchard and
Abdenour Bouzouane},
editor = {Jean{-}Jacques Lesage and
Jean{-}Marc Faure and
Jos{\'{e}} E. R. Cury and
Bengt Lennartson},
title = {Designing Smart Homes Dedicated to Disabled People Using Modular Discrete
Controller Synthesis},
booktitle = {12th International Workshop on Discrete Event Systems, {WODES} 2014,
Cachan, France, May 14-16, 2014},
pages = {54--59},
publisher = {International Federation of Automatic Control},
year = {2014},
url = {https://doi.org/10.3182/20140514-3-FR-4046.00109},
doi = {10.3182/20140514-3-FR-4046.00109},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wodes/GuilletBB14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wodes/HajjarDPN14,
author = {Salam Hajjar and
Emil Dumitrescu and
Laurent Pi{\'{e}}trac and
{\'{E}}ric Niel},
editor = {Jean{-}Jacques Lesage and
Jean{-}Marc Faure and
Jos{\'{e}} E. R. Cury and
Bengt Lennartson},
title = {A Design Method for Synthesizing Control-Command Systems Out of Reusable
Components},
booktitle = {12th International Workshop on Discrete Event Systems, {WODES} 2014,
Cachan, France, May 14-16, 2014},
pages = {60--65},
publisher = {International Federation of Automatic Control},
year = {2014},
url = {https://doi.org/10.3182/20140514-3-FR-4046.00111},
doi = {10.3182/20140514-3-FR-4046.00111},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wodes/HajjarDPN14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wodes/HeidergottAH14,
author = {Bernd Heidergott and
Djamil A{\"{\i}}ssani and
Zina Hamoudi},
editor = {Jean{-}Jacques Lesage and
Jean{-}Marc Faure and
Jos{\'{e}} E. R. Cury and
Bengt Lennartson},
title = {Non-Parametric Sensitivity Analysis of the Finite {M/M/1} Queue},
booktitle = {12th International Workshop on Discrete Event Systems, {WODES} 2014,
Cachan, France, May 14-16, 2014},
pages = {498--503},
publisher = {International Federation of Automatic Control},
year = {2014},
url = {https://doi.org/10.3182/20140514-3-FR-4046.00049},
doi = {10.3182/20140514-3-FR-4046.00049},
timestamp = {Mon, 15 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wodes/HeidergottAH14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wodes/HeracleousZP14,
author = {Constantinos Heracleous and
Zinon Zinonos and
Christos G. Panayiotou},
editor = {Jean{-}Jacques Lesage and
Jean{-}Marc Faure and
Jos{\'{e}} E. R. Cury and
Bengt Lennartson},
title = {Water Supply Optimization: An {IPA} Approach},
booktitle = {12th International Workshop on Discrete Event Systems, {WODES} 2014,
Cachan, France, May 14-16, 2014},
pages = {265--270},
publisher = {International Federation of Automatic Control},
year = {2014},
url = {https://doi.org/10.3182/20140514-3-FR-4046.00088},
doi = {10.3182/20140514-3-FR-4046.00088},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wodes/HeracleousZP14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wodes/HiraishiK14,
author = {Kunihiko Hiraishi and
Koichi Kobayashi},
editor = {Jean{-}Jacques Lesage and
Jean{-}Marc Faure and
Jos{\'{e}} E. R. Cury and
Bengt Lennartson},
title = {Detection of Unusual Human Activities Based on Behavior Modeling},
booktitle = {12th International Workshop on Discrete Event Systems, {WODES} 2014,
Cachan, France, May 14-16, 2014},
pages = {182--187},
publisher = {International Federation of Automatic Control},
year = {2014},
url = {https://doi.org/10.3182/20140514-3-FR-4046.00029},
doi = {10.3182/20140514-3-FR-4046.00029},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wodes/HiraishiK14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wodes/HulstRF14,
author = {Allan van Hulst and
Michel A. Reniers and
Wan J. Fokkink},
editor = {Jean{-}Jacques Lesage and
Jean{-}Marc Faure and
Jos{\'{e}} E. R. Cury and
Bengt Lennartson},
title = {Maximal Synthesis for Hennessy-Milner Logic with the Box Modality},
booktitle = {12th International Workshop on Discrete Event Systems, {WODES} 2014,
Cachan, France, May 14-16, 2014},
pages = {278--285},
publisher = {International Federation of Automatic Control},
year = {2014},
url = {https://doi.org/10.3182/20140514-3-FR-4046.00034},
doi = {10.3182/20140514-3-FR-4046.00034},
timestamp = {Mon, 18 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wodes/HulstRF14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wodes/KeroglouH14,
author = {Christoforos Keroglou and
Christoforos N. Hadjicostis},
editor = {Jean{-}Jacques Lesage and
Jean{-}Marc Faure and
Jos{\'{e}} E. R. Cury and
Bengt Lennartson},
title = {Hidden Markov Model Classification Based on Empirical Frequencies
of Observed Symbols},
booktitle = {12th International Workshop on Discrete Event Systems, {WODES} 2014,
Cachan, France, May 14-16, 2014},
pages = {7--12},
publisher = {International Federation of Automatic Control},
year = {2014},
url = {https://doi.org/10.3182/20140514-3-FR-4046.00068},
doi = {10.3182/20140514-3-FR-4046.00068},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/wodes/KeroglouH14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wodes/KeroglouH14a,
author = {Christoforos Keroglou and
Christoforos N. Hadjicostis},
editor = {Jean{-}Jacques Lesage and
Jean{-}Marc Faure and
Jos{\'{e}} E. R. Cury and
Bengt Lennartson},
title = {Detectability in Stochastic Discrete Event Systems},
booktitle = {12th International Workshop on Discrete Event Systems, {WODES} 2014,
Cachan, France, May 14-16, 2014},
pages = {27--32},
publisher = {International Federation of Automatic Control},
year = {2014},
url = {https://doi.org/10.3182/20140514-3-FR-4046.00067},
doi = {10.3182/20140514-3-FR-4046.00067},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/wodes/KeroglouH14a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wodes/KhakpourAR14,
author = {Narges Khakpour and
Farhad Arbab and
{\'{E}}ric Rutten},
editor = {Jean{-}Jacques Lesage and
Jean{-}Marc Faure and
Jos{\'{e}} E. R. Cury and
Bengt Lennartson},
title = {Supervisory Controller Synthesis for Safe Software Adaptation},
booktitle = {12th International Workshop on Discrete Event Systems, {WODES} 2014,
Cachan, France, May 14-16, 2014},
pages = {39--45},
publisher = {International Federation of Automatic Control},
year = {2014},
url = {https://doi.org/10.3182/20140514-3-FR-4046.00035},
doi = {10.3182/20140514-3-FR-4046.00035},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/wodes/KhakpourAR14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wodes/LahayeKB14,
author = {S{\'{e}}bastien Lahaye and
Jan Komenda and
Jean{-}Louis Boimond},
editor = {Jean{-}Jacques Lesage and
Jean{-}Marc Faure and
Jos{\'{e}} E. R. Cury and
Bengt Lennartson},
title = {Modeling of Timed Petri Nets Using Deterministic (max, +) Automata},
booktitle = {12th International Workshop on Discrete Event Systems, {WODES} 2014,
Cachan, France, May 14-16, 2014},
pages = {471--476},
publisher = {International Federation of Automatic Control},
year = {2014},
url = {https://doi.org/10.3182/20140514-3-FR-4046.00091},
doi = {10.3182/20140514-3-FR-4046.00091},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wodes/LahayeKB14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wodes/Lefebvre14,
author = {Dimitri Lefebvre},
editor = {Jean{-}Jacques Lesage and
Jean{-}Marc Faure and
Jos{\'{e}} E. R. Cury and
Bengt Lennartson},
title = {Fault Probability Evaluation in DESs with an Algorithm of Linear Complexity
and Partially Observed SPNs},
booktitle = {12th International Workshop on Discrete Event Systems, {WODES} 2014,
Cachan, France, May 14-16, 2014},
pages = {453--458},
publisher = {International Federation of Automatic Control},
year = {2014},
url = {https://doi.org/10.3182/20140514-3-FR-4046.00043},
doi = {10.3182/20140514-3-FR-4046.00043},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wodes/Lefebvre14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wodes/LennartsonWFB14,
author = {Bengt Lennartson and
Oskar Wigstr{\"{o}}m and
Martin Fabian and
Francesco Basile},
editor = {Jean{-}Jacques Lesage and
Jean{-}Marc Faure and
Jos{\'{e}} E. R. Cury and
Bengt Lennartson},
title = {Unified Model for Synthesis and Optimization of Discrete Event and
Hybrid Systems},
booktitle = {12th International Workshop on Discrete Event Systems, {WODES} 2014,
Cachan, France, May 14-16, 2014},
pages = {86--92},
publisher = {International Federation of Automatic Control},
year = {2014},
url = {https://doi.org/10.3182/20140514-3-FR-4046.00140},
doi = {10.3182/20140514-3-FR-4046.00140},
timestamp = {Mon, 05 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wodes/LennartsonWFB14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wodes/LerouxGA14,
author = {H{\'{e}}l{\`{e}}ne Leroux and
Karen Godary{-}Dejean and
David Andreu},
editor = {Jean{-}Jacques Lesage and
Jean{-}Marc Faure and
Jos{\'{e}} E. R. Cury and
Bengt Lennartson},
title = {Integrating Implementation Properties in Analysis of Petri Nets Handling
Exceptions},
booktitle = {12th International Workshop on Discrete Event Systems, {WODES} 2014,
Cachan, France, May 14-16, 2014},
pages = {406--411},
publisher = {International Federation of Automatic Control},
year = {2014},
url = {https://doi.org/10.3182/20140514-3-FR-4046.00032},
doi = {10.3182/20140514-3-FR-4046.00032},
timestamp = {Mon, 28 Mar 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wodes/LerouxGA14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wodes/LiorisKV14,
author = {Jennie Lioris and
Alex A. Kurzhanskiy and
Pravin Varaiya},
editor = {Jean{-}Jacques Lesage and
Jean{-}Marc Faure and
Jos{\'{e}} E. R. Cury and
Bengt Lennartson},
title = {Control Experiments for a Network of Signalized Intersections Using
the '.Q' Simulator},
booktitle = {12th International Workshop on Discrete Event Systems, {WODES} 2014,
Cachan, France, May 14-16, 2014},
pages = {332--337},
publisher = {International Federation of Automatic Control},
year = {2014},
url = {https://doi.org/10.3182/20140514-3-FR-4046.00128},
doi = {10.3182/20140514-3-FR-4046.00128},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wodes/LiorisKV14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wodes/LiuLA14,
author = {GaiYun Liu and
Zhiwu Li and
Abdulrahman Al{-}Ahmari},
editor = {Jean{-}Jacques Lesage and
Jean{-}Marc Faure and
Jos{\'{e}} E. R. Cury and
Bengt Lennartson},
title = {Liveness Analysis of Petri Nets Using Siphons and Mathematical Programming},
booktitle = {12th International Workshop on Discrete Event Systems, {WODES} 2014,
Cachan, France, May 14-16, 2014},
pages = {383--387},
publisher = {International Federation of Automatic Control},
year = {2014},
url = {https://doi.org/10.3182/20140514-3-FR-4046.00078},
doi = {10.3182/20140514-3-FR-4046.00078},
timestamp = {Fri, 29 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wodes/LiuLA14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wodes/MaLG14,
author = {Ziyue Ma and
Zhiwu Li and
Alessandro Giua},
editor = {Jean{-}Jacques Lesage and
Jean{-}Marc Faure and
Jos{\'{e}} E. R. Cury and
Bengt Lennartson},
title = {A Constraint Transformation Technique for Petri Nets with Certain
Uncontrollable Structures},
booktitle = {12th International Workshop on Discrete Event Systems, {WODES} 2014,
Cachan, France, May 14-16, 2014},
pages = {66--72},
publisher = {International Federation of Automatic Control},
year = {2014},
url = {https://doi.org/10.3182/20140514-3-FR-4046.00085},
doi = {10.3182/20140514-3-FR-4046.00085},
timestamp = {Fri, 29 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wodes/MaLG14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wodes/MohajeraniMF14,
author = {Sahar Mohajerani and
Robi Malik and
Martin Fabian},
editor = {Jean{-}Jacques Lesage and
Jean{-}Marc Faure and
Jos{\'{e}} E. R. Cury and
Bengt Lennartson},
title = {An Algorithm for Compositional Nonblocking Verification of Extended
Finite-State Machines},
booktitle = {12th International Workshop on Discrete Event Systems, {WODES} 2014,
Cachan, France, May 14-16, 2014},
pages = {376--382},
publisher = {International Federation of Automatic Control},
year = {2014},
url = {https://doi.org/10.3182/20140514-3-FR-4046.00039},
doi = {10.3182/20140514-3-FR-4046.00039},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wodes/MohajeraniMF14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wodes/MonteiroATC14,
author = {Pedro T. Monteiro and
Wassim Abou{-}Jaoud{\'{e}} and
Denis Thieffry and
Claudine Chaouiya},
editor = {Jean{-}Jacques Lesage and
Jean{-}Marc Faure and
Jos{\'{e}} E. R. Cury and
Bengt Lennartson},
title = {Model Checking Logical Regulatory Networks},
booktitle = {12th International Workshop on Discrete Event Systems, {WODES} 2014,
Cachan, France, May 14-16, 2014},
pages = {170--175},
publisher = {International Federation of Automatic Control},
year = {2014},
url = {https://doi.org/10.3182/20140514-3-FR-4046.00135},
doi = {10.3182/20140514-3-FR-4046.00135},
timestamp = {Thu, 04 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wodes/MonteiroATC14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wodes/Moor14,
author = {Thomas Moor},
editor = {Jean{-}Jacques Lesage and
Jean{-}Marc Faure and
Jos{\'{e}} E. R. Cury and
Bengt Lennartson},
title = {Natural Projections for the Synthesis of Non-Conflicting Supervisory
Controllers},
booktitle = {12th International Workshop on Discrete Event Systems, {WODES} 2014,
Cachan, France, May 14-16, 2014},
pages = {300--305},
publisher = {International Federation of Automatic Control},
year = {2014},
url = {https://doi.org/10.3182/20140514-3-FR-4046.00098},
doi = {10.3182/20140514-3-FR-4046.00098},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wodes/Moor14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wodes/MullinsY14,
author = {John Mullins and
Moez Yeddes},
editor = {Jean{-}Jacques Lesage and
Jean{-}Marc Faure and
Jos{\'{e}} E. R. Cury and
Bengt Lennartson},
title = {Opacity with Orwellian Observers and Intransitive Non-Interference},
booktitle = {12th International Workshop on Discrete Event Systems, {WODES} 2014,
Cachan, France, May 14-16, 2014},
pages = {344--349},
publisher = {International Federation of Automatic Control},
year = {2014},
url = {https://doi.org/10.3182/20140514-3-FR-4046.00016},
doi = {10.3182/20140514-3-FR-4046.00016},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wodes/MullinsY14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wodes/PantelicLP14,
author = {Vera Pantelic and
Mark Lawford and
Steven M. Postma},
editor = {Jean{-}Jacques Lesage and
Jean{-}Marc Faure and
Jos{\'{e}} E. R. Cury and
Bengt Lennartson},
title = {A Framework for Supervisory Control of Probabilistic Discrete Event
Systems},
booktitle = {12th International Workshop on Discrete Event Systems, {WODES} 2014,
Cachan, France, May 14-16, 2014},
pages = {477--484},
publisher = {International Federation of Automatic Control},
year = {2014},
url = {https://doi.org/10.3182/20140514-3-FR-4046.00073},
doi = {10.3182/20140514-3-FR-4046.00073},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wodes/PantelicLP14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wodes/PinisettyFJM14,
author = {Srinivas Pinisetty and
Yli{\`{e}}s Falcone and
Thierry J{\'{e}}ron and
Herv{\'{e}} Marchand},
editor = {Jean{-}Jacques Lesage and
Jean{-}Marc Faure and
Jos{\'{e}} E. R. Cury and
Bengt Lennartson},
title = {Runtime Enforcement of Parametric Timed Properties with Practical
Applications},
booktitle = {12th International Workshop on Discrete Event Systems, {WODES} 2014,
Cachan, France, May 14-16, 2014},
pages = {420--427},
publisher = {International Federation of Automatic Control},
year = {2014},
url = {https://doi.org/10.3182/20140514-3-FR-4046.00041},
doi = {10.3182/20140514-3-FR-4046.00041},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wodes/PinisettyFJM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wodes/PocciDGG14,
author = {Marco Pocci and
Isabel Demongodin and
Norbert Giambiasi and
Alessandro Giua},
editor = {Jean{-}Jacques Lesage and
Jean{-}Marc Faure and
Jos{\'{e}} E. R. Cury and
Bengt Lennartson},
title = {Testing Experiments on Unbounded Systems: Synchronizing Sequences
Using Petri Nets},
booktitle = {12th International Workshop on Discrete Event Systems, {WODES} 2014,
Cachan, France, May 14-16, 2014},
pages = {155--161},
publisher = {International Federation of Automatic Control},
year = {2014},
url = {https://doi.org/10.3182/20140514-3-FR-4046.00104},
doi = {10.3182/20140514-3-FR-4046.00104},
timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wodes/PocciDGG14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wodes/RawlingsCWY14,
author = {Blake C. Rawlings and
Ben Christenson and
John M. Wassick and
B. Erik Ydstie},
editor = {Jean{-}Jacques Lesage and
Jean{-}Marc Faure and
Jos{\'{e}} E. R. Cury and
Bengt Lennartson},
title = {Supervisor Synthesis to Satisfy Safety and Reachability Requirements
in Chemical Process Control},
booktitle = {12th International Workshop on Discrete Event Systems, {WODES} 2014,
Cachan, France, May 14-16, 2014},
pages = {195--200},
publisher = {International Federation of Automatic Control},
year = {2014},
url = {https://doi.org/10.3182/20140514-3-FR-4046.00127},
doi = {10.3182/20140514-3-FR-4046.00127},
timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wodes/RawlingsCWY14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wodes/RieraCPGA14,
author = {Bernard Riera and
Rapha{\"{e}}l Coupat and
Alexandre Philippot and
Fran{\c{c}}ois Gellot and
David Annebicque},
editor = {Jean{-}Jacques Lesage and
Jean{-}Marc Faure and
Jos{\'{e}} E. R. Cury and
Bengt Lennartson},
title = {Control Design Pattern Based on Safety Logical Constraints for Manufacturing
Systems: Application to a Palletizer},
booktitle = {12th International Workshop on Discrete Event Systems, {WODES} 2014,
Cachan, France, May 14-16, 2014},
pages = {388--393},
publisher = {International Federation of Automatic Control},
year = {2014},
url = {https://doi.org/10.3182/20140514-3-FR-4046.00054},
doi = {10.3182/20140514-3-FR-4046.00054},
timestamp = {Thu, 25 Nov 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/wodes/RieraCPGA14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wodes/Ross-LeonRRA14,
author = {Roberto Ross{-}Le{\'{o}}n and
Antonio Ram{\'{\i}}rez{-}Trevi{\~{n}}o and
Javier Ruiz{-}Le{\'{o}}n and
Enrique Aguayo{-}Lara},
editor = {Jean{-}Jacques Lesage and
Jean{-}Marc Faure and
Jos{\'{e}} E. R. Cury and
Bengt Lennartson},
title = {Local Control Law for Live and Bounded Continuous Petri Nets},
booktitle = {12th International Workshop on Discrete Event Systems, {WODES} 2014,
Cachan, France, May 14-16, 2014},
pages = {129--134},
publisher = {International Federation of Automatic Control},
year = {2014},
url = {https://doi.org/10.3182/20140514-3-FR-4046.00086},
doi = {10.3182/20140514-3-FR-4046.00086},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/wodes/Ross-LeonRRA14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wodes/SaivesF14,
author = {J{\'{e}}r{\'{e}}mie Saives and
Gregory Faraut},
editor = {Jean{-}Jacques Lesage and
Jean{-}Marc Faure and
Jos{\'{e}} E. R. Cury and
Bengt Lennartson},
title = {Automated Generation of Models of Activities of Daily Living},
booktitle = {12th International Workshop on Discrete Event Systems, {WODES} 2014,
Cachan, France, May 14-16, 2014},
pages = {13--20},
publisher = {International Federation of Automatic Control},
year = {2014},
url = {https://doi.org/10.3182/20140514-3-FR-4046.00024},
doi = {10.3182/20140514-3-FR-4046.00024},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wodes/SaivesF14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wodes/SantoroMBD14,
author = {Leonardo P. M. Santoro and
Marcos Vicente Moreira and
Jo{\~{a}}o Carlos Basilio and
Oumar Diene},
editor = {Jean{-}Jacques Lesage and
Jean{-}Marc Faure and
Jos{\'{e}} E. R. Cury and
Bengt Lennartson},
title = {Computation of Minimal Diagnosis Bases of Discrete-Event Systems Using
Verifiers: Method of the Ambiguous Cyclic Paths},
booktitle = {12th International Workshop on Discrete Event Systems, {WODES} 2014,
Cachan, France, May 14-16, 2014},
pages = {440--445},
publisher = {International Federation of Automatic Control},
year = {2014},
url = {https://doi.org/10.3182/20140514-3-FR-4046.00117},
doi = {10.3182/20140514-3-FR-4046.00117},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wodes/SantoroMBD14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wodes/SchafaschekQC14,
author = {Germano Schafaschek and
Max H. Queiroz and
Jos{\'{e}} E. R. Cury},
editor = {Jean{-}Jacques Lesage and
Jean{-}Marc Faure and
Jos{\'{e}} E. R. Cury and
Bengt Lennartson},
title = {Local Modular Supervisory Control of Timed Discrete-Event Systems},
booktitle = {12th International Workshop on Discrete Event Systems, {WODES} 2014,
Cachan, France, May 14-16, 2014},
pages = {271--277},
publisher = {International Federation of Automatic Control},
year = {2014},
url = {https://doi.org/10.3182/20140514-3-FR-4046.00074},
doi = {10.3182/20140514-3-FR-4046.00074},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/wodes/SchafaschekQC14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wodes/SchmidtL14,
author = {Melanie Schmidt and
Jan Lunze},
editor = {Jean{-}Jacques Lesage and
Jean{-}Marc Faure and
Jos{\'{e}} E. R. Cury and
Bengt Lennartson},
title = {A Framework for Active Fault-Tolerant Control of Deterministic {I/O}
Automata},
booktitle = {12th International Workshop on Discrete Event Systems, {WODES} 2014,
Cachan, France, May 14-16, 2014},
pages = {446--452},
publisher = {International Federation of Automatic Control},
year = {2014},
url = {https://doi.org/10.3182/20140514-3-FR-4046.00013},
doi = {10.3182/20140514-3-FR-4046.00013},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wodes/SchmidtL14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wodes/SchmuckSRN14,
author = {Anne{-}Kathrin Schmuck and
Sven Schneider and
J{\"{o}}rg Raisch and
Uwe Nestmann},
editor = {Jean{-}Jacques Lesage and
Jean{-}Marc Faure and
Jos{\'{e}} E. R. Cury and
Bengt Lennartson},
title = {Extending Supervisory Controller Synthesis to Deterministic Pushdown
Automata - Enforcing Controllability Least Restrictively},
booktitle = {12th International Workshop on Discrete Event Systems, {WODES} 2014,
Cachan, France, May 14-16, 2014},
pages = {286--293},
publisher = {International Federation of Automatic Control},
year = {2014},
url = {https://doi.org/10.3182/20140514-3-FR-4046.00058},
doi = {10.3182/20140514-3-FR-4046.00058},
timestamp = {Wed, 05 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wodes/SchmuckSRN14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wodes/SchneiderL14,
author = {Stefan Marco Schneider and
Lothar Litz},
editor = {Jean{-}Jacques Lesage and
Jean{-}Marc Faure and
Jos{\'{e}} E. R. Cury and
Bengt Lennartson},
title = {Automatic Partitioning of {DES} Models for Distributed Fault Diagnosis
Purposes},
booktitle = {12th International Workshop on Discrete Event Systems, {WODES} 2014,
Cachan, France, May 14-16, 2014},
pages = {21--26},
publisher = {International Federation of Automatic Control},
year = {2014},
url = {https://doi.org/10.3182/20140514-3-FR-4046.00012},
doi = {10.3182/20140514-3-FR-4046.00012},
timestamp = {Wed, 11 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/wodes/SchneiderL14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wodes/SchneiderSNR14,
author = {Sven Schneider and
Anne{-}Kathrin Schmuck and
Uwe Nestmann and
J{\"{o}}rg Raisch},
editor = {Jean{-}Jacques Lesage and
Jean{-}Marc Faure and
Jos{\'{e}} E. R. Cury and
Bengt Lennartson},
title = {Reducing an Operational Supervisory Control Problem by Decomposition
for Deterministic Pushdown Automata},
booktitle = {12th International Workshop on Discrete Event Systems, {WODES} 2014,
Cachan, France, May 14-16, 2014},
pages = {214--221},
publisher = {International Federation of Automatic Control},
year = {2014},
url = {https://doi.org/10.3182/20140514-3-FR-4046.00057},
doi = {10.3182/20140514-3-FR-4046.00057},
timestamp = {Wed, 05 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wodes/SchneiderSNR14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wodes/SchoriBFS14,
author = {Markus Schori and
Thomas J. B{\"{o}}hme and
Benjamin Frank and
Matthias Schultalbers},
editor = {Jean{-}Jacques Lesage and
Jean{-}Marc Faure and
Jos{\'{e}} E. R. Cury and
Bengt Lennartson},
title = {Control Optimization of Discontinuous Hybrid Systems Using Embedding},
booktitle = {12th International Workshop on Discrete Event Systems, {WODES} 2014,
Cachan, France, May 14-16, 2014},
pages = {326--331},
publisher = {International Federation of Automatic Control},
year = {2014},
url = {https://doi.org/10.3182/20140514-3-FR-4046.00009},
doi = {10.3182/20140514-3-FR-4046.00009},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wodes/SchoriBFS14.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}
}
@inproceedings{DBLP:conf/wodes/ShehabiniaLSC14,
author = {Ahmad Reza Shehabinia and
Liyong Lin and
Rong Su and
Chin Soon Chong},
editor = {Jean{-}Jacques Lesage and
Jean{-}Marc Faure and
Jos{\'{e}} E. R. Cury and
Bengt Lennartson},
title = {Supervisory Control for a Class of Discrete Event Systems for Optimal
Throughput},
booktitle = {12th International Workshop on Discrete Event Systems, {WODES} 2014,
Cachan, France, May 14-16, 2014},
pages = {201--207},
publisher = {International Federation of Automatic Control},
year = {2014},
url = {https://doi.org/10.3182/20140514-3-FR-4046.00139},
doi = {10.3182/20140514-3-FR-4046.00139},
timestamp = {Wed, 22 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/wodes/ShehabiniaLSC14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wodes/ShoaeiL14,
author = {Mohammad Reza Shoaei and
Bengt Lennartson},
editor = {Jean{-}Jacques Lesage and
Jean{-}Marc Faure and
Jos{\'{e}} E. R. Cury and
Bengt Lennartson},
title = {Symbolic Interpretation and Execution of Extended Finite Automata},
booktitle = {12th International Workshop on Discrete Event Systems, {WODES} 2014,
Cachan, France, May 14-16, 2014},
pages = {228--234},
publisher = {International Federation of Automatic Control},
year = {2014},
url = {https://doi.org/10.3182/20140514-3-FR-4046.00129},
doi = {10.3182/20140514-3-FR-4046.00129},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wodes/ShoaeiL14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wodes/SulekS14,
author = {Ayse Nur Sulek and
Klaus Werner Schmidt},
editor = {Jean{-}Jacques Lesage and
Jean{-}Marc Faure and
Jos{\'{e}} E. R. Cury and
Bengt Lennartson},
title = {Computation of Supervisors for Fault-Recovery and Repair for Discrete
Event Systems},
booktitle = {12th International Workshop on Discrete Event Systems, {WODES} 2014,
Cachan, France, May 14-16, 2014},
pages = {428--433},
publisher = {International Federation of Automatic Control},
year = {2014},
url = {https://doi.org/10.3182/20140514-3-FR-4046.00106},
doi = {10.3182/20140514-3-FR-4046.00106},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wodes/SulekS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wodes/SwartjesBR14,
author = {Lennart Swartjes and
Dirk A. van Beek and
Michel A. Reniers},
editor = {Jean{-}Jacques Lesage and
Jean{-}Marc Faure and
Jos{\'{e}} E. R. Cury and
Bengt Lennartson},
title = {Towards the Removal of Synchronous Behavior of Events in Automata},
booktitle = {12th International Workshop on Discrete Event Systems, {WODES} 2014,
Cachan, France, May 14-16, 2014},
pages = {188--194},
publisher = {International Federation of Automatic Control},
year = {2014},
url = {https://doi.org/10.3182/20140514-3-FR-4046.00089},
doi = {10.3182/20140514-3-FR-4046.00089},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wodes/SwartjesBR14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wodes/TalebLL14,
author = {Marwa Taleb and
Edouard Leclercq and
Dimitri Lefebvre},
editor = {Jean{-}Jacques Lesage and
Jean{-}Marc Faure and
Jos{\'{e}} E. R. Cury and
Bengt Lennartson},
title = {Control Design of Timed Petri Nets Via Model Predictive Control with
ContPNs},
booktitle = {12th International Workshop on Discrete Event Systems, {WODES} 2014,
Cachan, France, May 14-16, 2014},
pages = {149--154},
publisher = {International Federation of Automatic Control},
year = {2014},
url = {https://doi.org/10.3182/20140514-3-FR-4046.00096},
doi = {10.3182/20140514-3-FR-4046.00096},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wodes/TalebLL14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wodes/TongLG14,
author = {Yin Tong and
Zhiwu Li and
Alessandro Giua},
editor = {Jean{-}Jacques Lesage and
Jean{-}Marc Faure and
Jos{\'{e}} E. R. Cury and
Bengt Lennartson},
title = {Observation Equivalence of Petri Net Generators},
booktitle = {12th International Workshop on Discrete Event Systems, {WODES} 2014,
Cachan, France, May 14-16, 2014},
pages = {338--343},
publisher = {International Federation of Automatic Control},
year = {2014},
url = {https://doi.org/10.3182/20140514-3-FR-4046.00060},
doi = {10.3182/20140514-3-FR-4046.00060},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wodes/TongLG14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wodes/TongM14,
author = {Yanyan Tong and
Jianfeng Mao},
editor = {Jean{-}Jacques Lesage and
Jean{-}Marc Faure and
Jos{\'{e}} E. R. Cury and
Bengt Lennartson},
title = {Towards Green Shipping with Integrated Bunkering and Cruising Policy},
booktitle = {12th International Workshop on Discrete Event Systems, {WODES} 2014,
Cachan, France, May 14-16, 2014},
pages = {314--319},
publisher = {International Federation of Automatic Control},
year = {2014},
url = {https://doi.org/10.3182/20140514-3-FR-4046.00061},
doi = {10.3182/20140514-3-FR-4046.00061},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wodes/TongM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wodes/Vazquez-AbadDJ14,
author = {Felisa J. V{\'{a}}zquez{-}Abad and
Pinhus Dashevsky and
Matthew P. Johnson},
editor = {Jean{-}Jacques Lesage and
Jean{-}Marc Faure and
Jos{\'{e}} E. R. Cury and
Bengt Lennartson},
title = {LP-Based Approaches to Stationary-Constrained Markov Decision Problems},
booktitle = {12th International Workshop on Discrete Event Systems, {WODES} 2014,
Cachan, France, May 14-16, 2014},
pages = {320--325},
publisher = {International Federation of Automatic Control},
year = {2014},
url = {https://doi.org/10.3182/20140514-3-FR-4046.00138},
doi = {10.3182/20140514-3-FR-4046.00138},
timestamp = {Thu, 13 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/wodes/Vazquez-AbadDJ14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wodes/WangMS14,
author = {Xu Wang and
Cristian Mahulea and
Manuel Silva Su{\'{a}}rez},
editor = {Jean{-}Jacques Lesage and
Jean{-}Marc Faure and
Jos{\'{e}} E. R. Cury and
Bengt Lennartson},
title = {Model Checking on Fault Diagnosis Graph},
booktitle = {12th International Workshop on Discrete Event Systems, {WODES} 2014,
Cachan, France, May 14-16, 2014},
pages = {434--439},
publisher = {International Federation of Automatic Control},
year = {2014},
url = {https://doi.org/10.3182/20140514-3-FR-4046.00053},
doi = {10.3182/20140514-3-FR-4046.00053},
timestamp = {Fri, 18 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wodes/WangMS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wodes/WangMY14,
author = {Zheng Wang and
Hualing Mu and
Jia You},
editor = {Jean{-}Jacques Lesage and
Jean{-}Marc Faure and
Jos{\'{e}} E. R. Cury and
Bengt Lennartson},
title = {Analysis of a Serial Production Line with Single Part-Type and Multiple
Parallel-Machine Workstations},
booktitle = {12th International Workshop on Discrete Event Systems, {WODES} 2014,
Cachan, France, May 14-16, 2014},
pages = {306--313},
publisher = {International Federation of Automatic Control},
year = {2014},
url = {https://doi.org/10.3182/20140514-3-FR-4046.00033},
doi = {10.3182/20140514-3-FR-4046.00033},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wodes/WangMY14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wodes/WigstromL14,
author = {Oskar Wigstr{\"{o}}m and
Bengt Lennartson},
editor = {Jean{-}Jacques Lesage and
Jean{-}Marc Faure and
Jos{\'{e}} E. R. Cury and
Bengt Lennartson},
title = {An Integrated {CP/OR} Method for Optimal Control of Modular Hybrid
Systems},
booktitle = {12th International Workshop on Discrete Event Systems, {WODES} 2014,
Cachan, France, May 14-16, 2014},
pages = {485--491},
publisher = {International Federation of Automatic Control},
year = {2014},
url = {https://doi.org/10.3182/20140514-3-FR-4046.00130},
doi = {10.3182/20140514-3-FR-4046.00130},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wodes/WigstromL14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wodes/WuJ14,
author = {Di Wu and
Qing{-}Shan Jia},
editor = {Jean{-}Jacques Lesage and
Jean{-}Marc Faure and
Jos{\'{e}} E. R. Cury and
Bengt Lennartson},
title = {Sample Path Sharing in Policy Improvement for Indoor Air Temperature
Control},
booktitle = {12th International Workshop on Discrete Event Systems, {WODES} 2014,
Cachan, France, May 14-16, 2014},
pages = {247--252},
publisher = {International Federation of Automatic Control},
year = {2014},
url = {https://doi.org/10.3182/20140514-3-FR-4046.00022},
doi = {10.3182/20140514-3-FR-4046.00022},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wodes/WuJ14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wodes/WuSL14,
author = {Yi{-}Chin Wu and
Karthik Abinav Sankararaman and
St{\'{e}}phane Lafortune},
editor = {Jean{-}Jacques Lesage and
Jean{-}Marc Faure and
Jos{\'{e}} E. R. Cury and
Bengt Lennartson},
title = {Ensuring Privacy in Location-Based Services: An Approach Based on
Opacity Enforcement},
booktitle = {12th International Workshop on Discrete Event Systems, {WODES} 2014,
Cachan, France, May 14-16, 2014},
pages = {33--38},
publisher = {International Federation of Automatic Control},
year = {2014},
url = {https://doi.org/10.3182/20140514-3-FR-4046.00008},
doi = {10.3182/20140514-3-FR-4046.00008},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wodes/WuSL14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wodes/XuSB14,
author = {Jia Xu and
Bart De Schutter and
Ton J. J. van den Boom},
editor = {Jean{-}Jacques Lesage and
Jean{-}Marc Faure and
Jos{\'{e}} E. R. Cury and
Bengt Lennartson},
title = {Model Predictive Control for Max-Plus-Linear Systems Via Optimistic
Optimization},
booktitle = {12th International Workshop on Discrete Event Systems, {WODES} 2014,
Cachan, France, May 14-16, 2014},
pages = {111--116},
publisher = {International Federation of Automatic Control},
year = {2014},
url = {https://doi.org/10.3182/20140514-3-FR-4046.00063},
doi = {10.3182/20140514-3-FR-4046.00063},
timestamp = {Sat, 31 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wodes/XuSB14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wodes/YokotaniT14,
author = {Misato Yokotani and
Shigemasa Takai},
editor = {Jean{-}Jacques Lesage and
Jean{-}Marc Faure and
Jos{\'{e}} E. R. Cury and
Bengt Lennartson},
title = {Abstraction-Based Verification for Partially Observed Discrete Event
Systems},
booktitle = {12th International Workshop on Discrete Event Systems, {WODES} 2014,
Cachan, France, May 14-16, 2014},
pages = {356--361},
publisher = {International Federation of Automatic Control},
year = {2014},
url = {https://doi.org/10.3182/20140514-3-FR-4046.00019},
doi = {10.3182/20140514-3-FR-4046.00019},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wodes/YokotaniT14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wodes/ZibaeenejadT14,
author = {Mohammad Hadi Zibaeenejad and
John G. Thistle},
editor = {Jean{-}Jacques Lesage and
Jean{-}Marc Faure and
Jos{\'{e}} E. R. Cury and
Bengt Lennartson},
title = {Deadlock Analysis of Generalized Parameterized Discrete Event Systems},
booktitle = {12th International Workshop on Discrete Event Systems, {WODES} 2014,
Cachan, France, May 14-16, 2014},
pages = {370--375},
publisher = {International Federation of Automatic Control},
year = {2014},
url = {https://doi.org/10.3182/20140514-3-FR-4046.00080},
doi = {10.3182/20140514-3-FR-4046.00080},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wodes/ZibaeenejadT14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/wodes/2014,
editor = {Jean{-}Jacques Lesage and
Jean{-}Marc Faure and
Jos{\'{e}} E. R. Cury and
Bengt Lennartson},
title = {12th International Workshop on Discrete Event Systems, {WODES} 2014,
Cachan, France, May 14-16, 2014},
publisher = {International Federation of Automatic Control},
year = {2014},
url = {http://www.ifac-papersonline.net/Discrete\_Event\_Systems/12th\_International\_Workshop\_on\_Discrete\_Event\_Systems\_\_2014\_/index.html},
isbn = {978-3-902823-61-8},
timestamp = {Wed, 26 Nov 2014 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/wodes/2014.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wodes/Aguayo-LaraRR12,
author = {Enrique Aguayo{-}Lara and
Antonio Ram{\'{\i}}rez{-}Trevi{\~{n}}o and
Javier Ruiz{-}Le{\'{o}}n},
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 = {Sensor placement for distinguishability in continuous timed Petri
nets},
booktitle = {11th International Workshop on Discrete Event Systems, {WODES} 2012,
Guadalajara, Mexico, October 3-5, 2012},
pages = {34--40},
publisher = {International Federation of Automatic Control},
year = {2012},
url = {https://doi.org/10.3182/20121003-3-MX-4033.00009},
doi = {10.3182/20121003-3-MX-4033.00009},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/wodes/Aguayo-LaraRR12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wodes/Aguayo-LaraRRR12,
author = {Enrique Aguayo{-}Lara and
Roberto Ross{-}Le{\'{o}}n and
Antonio Ram{\'{\i}}rez{-}Trevi{\~{n}}o and
Javier Ruiz{-}Le{\'{o}}n},
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 = {On/off control with observer's state feedback for continuous timed
Petri nets},
booktitle = {11th International Workshop on Discrete Event Systems, {WODES} 2012,
Guadalajara, Mexico, October 3-5, 2012},
pages = {221--226},
publisher = {International Federation of Automatic Control},
year = {2012},
url = {https://doi.org/10.3182/20121003-3-MX-4033.00037},
doi = {10.3182/20121003-3-MX-4033.00037},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/wodes/Aguayo-LaraRRR12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wodes/Ait-SalahtCCFP12,
author = {Farah A{\"{\i}}t{-}Salaht and
Johanne Cohen and
Hind Castel{-}Taleb and
Jean{-}Michel Fourneau and
Nihal Pekergin},
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 = {Accuracy vs. complexity: The stochastic bound approach},
booktitle = {11th International Workshop on Discrete Event Systems, {WODES} 2012,
Guadalajara, Mexico, October 3-5, 2012},
pages = {343--348},
publisher = {International Federation of Automatic Control},
year = {2012},
url = {https://doi.org/10.3182/20121003-3-MX-4033.00055},
doi = {10.3182/20121003-3-MX-4033.00055},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wodes/Ait-SalahtCCFP12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wodes/BacosCKL12,
author = {Roberto Bacos and
Jos{\'{e}} E. R. Cury and
Radouane Kara and
Jean Jacques Loiseau},
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 = {Supervisory control of Petri nets using polyhedral regions},
booktitle = {11th International Workshop on Discrete Event Systems, {WODES} 2012,
Guadalajara, Mexico, October 3-5, 2012},
pages = {193--200},
publisher = {International Federation of Automatic Control},
year = {2012},
url = {https://doi.org/10.3182/20121003-3-MX-4033.00033},
doi = {10.3182/20121003-3-MX-4033.00033},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wodes/BacosCKL12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wodes/BaierM12,
author = {Christine Baier and
Thomas Moor},
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 = {A hierarchical control architecture for sequential behaviours},
booktitle = {11th International Workshop on Discrete Event Systems, {WODES} 2012,
Guadalajara, Mexico, October 3-5, 2012},
pages = {259--264},
publisher = {International Federation of Automatic Control},
year = {2012},
url = {https://doi.org/10.3182/20121003-3-MX-4033.00043},
doi = {10.3182/20121003-3-MX-4033.00043},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wodes/BaierM12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wodes/BaldisseraC12,
author = {Fabio L. Baldissera and
Jos{\'{e}} E. R. Cury},
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 = {Application of supervisory control theory to guide cellular dynamics},
booktitle = {11th International Workshop on Discrete Event Systems, {WODES} 2012,
Guadalajara, Mexico, October 3-5, 2012},
pages = {384--389},
publisher = {International Federation of Automatic Control},
year = {2012},
url = {https://doi.org/10.3182/20121003-3-MX-4033.00061},
doi = {10.3182/20121003-3-MX-4033.00061},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wodes/BaldisseraC12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wodes/BasileCC12,
author = {Francesco Basile and
Pasquale Chiacchio and
Jolanda Coppola},
editor = {Antonio Ram{\'{\i}}rez{-}Trevi{\~{n}}o and
Ernesto L{\'{o}}pez{-}Mellado and
Jean{-}Jacques Lesage and
Manuel Silva Su{\'{a}}rez},
title = {Active identification of Petri net models},
booktitle = {11th International Workshop on Discrete Event Systems, {WODES} 2012,
Guadalajara, Mexico, October 3-5, 2012},
pages = {278--285},
publisher = {International Federation of Automatic Control},
year = {2012},
url = {https://doi.org/10.3182/20121003-3-MX-4033.00046},
doi = {10.3182/20121003-3-MX-4033.00046},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wodes/BasileCC12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wodes/BasileCT12,
author = {Francesco Basile and
Pasquale Chiacchio and
Gianmaria De Tommasi},
editor = {Antonio Ram{\'{\i}}rez{-}Trevi{\~{n}}o and
Ernesto L{\'{o}}pez{-}Mellado and
Jean{-}Jacques Lesage and
Manuel Silva Su{\'{a}}rez},
title = {Decentralized {\(\kappa\)}-diagnosability of Petri nets},
booktitle = {11th International Workshop on Discrete Event Systems, {WODES} 2012,
Guadalajara, Mexico, October 3-5, 2012},
pages = {214--220},
publisher = {International Federation of Automatic Control},
year = {2012},
url = {https://doi.org/10.3182/20121003-3-MX-4033.00036},
doi = {10.3182/20121003-3-MX-4033.00036},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wodes/BasileCT12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wodes/BatisA12,
author = {Sonia Batis and
Hassane Alla},
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 = {Maximal permissive timed control for a class of hybrid systems},
booktitle = {11th International Workshop on Discrete Event Systems, {WODES} 2012,
Guadalajara, Mexico, October 3-5, 2012},
pages = {157--162},
publisher = {International Federation of Automatic Control},
year = {2012},
url = {https://doi.org/10.3182/20121003-3-MX-4033.00027},
doi = {10.3182/20121003-3-MX-4033.00027},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wodes/BatisA12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wodes/BiallasKS12,
author = {Sebastian Biallas and
Stefan Kowalewski and
Bastian Schlich},
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 = {Range and value-set analysis for programmable logic controllers},
booktitle = {11th International Workshop on Discrete Event Systems, {WODES} 2012,
Guadalajara, Mexico, October 3-5, 2012},
pages = {378--383},
publisher = {International Federation of Automatic Control},
year = {2012},
url = {https://doi.org/10.3182/20121003-3-MX-4033.00060},
doi = {10.3182/20121003-3-MX-4033.00060},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wodes/BiallasKS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wodes/BouchenebBR12,
author = {Hanifa Boucheneb and
Adrien Bullich and
Olivier H. Roux},
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 = {{FIFO} time Petri nets for conflicts handling},
booktitle = {11th International Workshop on Discrete Event Systems, {WODES} 2012,
Guadalajara, Mexico, October 3-5, 2012},
pages = {143--148},
publisher = {International Federation of Automatic Control},
year = {2012},
url = {https://doi.org/10.3182/20121003-3-MX-4033.00025},
doi = {10.3182/20121003-3-MX-4033.00025},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wodes/BouchenebBR12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wodes/BoukraLB12,
author = {Rabah Boukra and
S{\'{e}}bastien Lahaye and
Jean{-}Louis Boimond},
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 = {New representations for (max, +) automata with applications to the
performance evaluation of discrete event systems},
booktitle = {11th International Workshop on Discrete Event Systems, {WODES} 2012,
Guadalajara, Mexico, October 3-5, 2012},
pages = {116--121},
publisher = {International Federation of Automatic Control},
year = {2012},
url = {https://doi.org/10.3182/20121003-3-MX-4033.00022},
doi = {10.3182/20121003-3-MX-4033.00022},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wodes/BoukraLB12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wodes/BravoCPMC12,
author = {Hugo J. Bravo and
Antonio Eduardo Carrilho da Cunha and
Patr{\'{\i}}cia Nascimento Pena and
Robi Malik and
Jos{\'{e}} E. R. Cury},
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 = {Generalised verification of the observer property in discrete event
systems},
booktitle = {11th International Workshop on Discrete Event Systems, {WODES} 2012,
Guadalajara, Mexico, October 3-5, 2012},
pages = {337--342},
publisher = {International Federation of Automatic Control},
year = {2012},
url = {https://doi.org/10.3182/20121003-3-MX-4033.00054},
doi = {10.3182/20121003-3-MX-4033.00054},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wodes/BravoCPMC12.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}
}
@inproceedings{DBLP:conf/wodes/CaiW12,
author = {Kai Cai and
Walter Murray Wonham},
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 = {New results on supervisor localization, with application to multi-agent
formations},
booktitle = {11th International Workshop on Discrete Event Systems, {WODES} 2012,
Guadalajara, Mexico, October 3-5, 2012},
pages = {233--238},
publisher = {International Federation of Automatic Control},
year = {2012},
url = {https://doi.org/10.3182/20121003-3-MX-4033.00039},
doi = {10.3182/20121003-3-MX-4033.00039},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wodes/CaiW12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wodes/ChedorMPM12,
author = {S{\'{e}}bastien Ch{\'{e}}dor and
Christophe Morvan and
Sophie Pinchinat and
Herv{\'{e}} Marchand},
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 = {Analysis of partially observed recursive tile systems},
booktitle = {11th International Workshop on Discrete Event Systems, {WODES} 2012,
Guadalajara, Mexico, October 3-5, 2012},
pages = {265--271},
publisher = {International Federation of Automatic Control},
year = {2012},
url = {https://doi.org/10.3182/20121003-3-MX-4033.00044},
doi = {10.3182/20121003-3-MX-4033.00044},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wodes/ChedorMPM12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wodes/ClavijoBC12,
author = {Leonardo B. Clavijo and
Jo{\~{a}}o Carlos Basilio and
Lilian Kawakami Carvalho},
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 = {{DESLAB:} {A} scientific computing program for analysis and synthesis
of discrete-event systems},
booktitle = {11th International Workshop on Discrete Event Systems, {WODES} 2012,
Guadalajara, Mexico, October 3-5, 2012},
pages = {349--355},
publisher = {International Federation of Automatic Control},
year = {2012},
url = {https://doi.org/10.3182/20121003-3-MX-4033.00056},
doi = {10.3182/20121003-3-MX-4033.00056},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wodes/ClavijoBC12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wodes/CuryB12,
author = {Jos{\'{e}} E. R. Cury and
Fabio L. Baldissera},
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 = {Some perspectives and challenges in the (discrete) control of cellular
systems},
booktitle = {11th International Workshop on Discrete Event Systems, {WODES} 2012,
Guadalajara, Mexico, October 3-5, 2012},
pages = {1--3},
publisher = {International Federation of Automatic Control},
year = {2012},
url = {https://doi.org/10.3182/20121003-3-MX-4033.00003},
doi = {10.3182/20121003-3-MX-4033.00003},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wodes/CuryB12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wodes/CuryLMQ12,
author = {Jos{\'{e}} E. R. Cury and
Jean Jacques Loiseau and
Claude Martinez and
Max Hering de Queiroz},
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 = {Using max-plus to solve the job shop problem with time lags},
booktitle = {11th International Workshop on Discrete Event Systems, {WODES} 2012,
Guadalajara, Mexico, October 3-5, 2012},
pages = {67--72},
publisher = {International Federation of Automatic Control},
year = {2012},
url = {https://doi.org/10.3182/20121003-3-MX-4033.00014},
doi = {10.3182/20121003-3-MX-4033.00014},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/wodes/CuryLMQ12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wodes/Darondeau12,
author = {Philippe Darondeau},
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 = {Enforcing opacity of regular predicates on modal transition systems},
booktitle = {11th International Workshop on Discrete Event Systems, {WODES} 2012,
Guadalajara, Mexico, October 3-5, 2012},
pages = {331--336},
publisher = {International Federation of Automatic Control},
year = {2012},
url = {https://doi.org/10.3182/20121003-3-MX-4033.00053},
doi = {10.3182/20121003-3-MX-4033.00053},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wodes/Darondeau12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wodes/David-HenrietBRH12,
author = {Xavier David{-}Henriet and
Thomas Brunsch and
J{\"{o}}rg Raisch and
Laurent Hardouin},
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 = {Stock reduction for timed event graphs based on output feedback},
booktitle = {11th International Workshop on Discrete Event Systems, {WODES} 2012,
Guadalajara, Mexico, October 3-5, 2012},
pages = {85--90},
publisher = {International Federation of Automatic Control},
year = {2012},
url = {https://doi.org/10.3182/20121003-3-MX-4033.00017},
doi = {10.3182/20121003-3-MX-4033.00017},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wodes/David-HenrietBRH12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wodes/DemongodinG12,
author = {Isabel Demongodin and
Alessandro Giua},
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 = {Stationary behavior of controlled generalized batches Petri nets},
booktitle = {11th International Workshop on Discrete Event Systems, {WODES} 2012,
Guadalajara, Mexico, October 3-5, 2012},
pages = {54--60},
publisher = {International Federation of Automatic Control},
year = {2012},
url = {https://doi.org/10.3182/20121003-3-MX-4033.00012},
doi = {10.3182/20121003-3-MX-4033.00012},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wodes/DemongodinG12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wodes/DurmusYS12,
author = {Mustafa Se{\c{c}}kin Durmus and
Ugur Yildirim and
Mehmet Turan S{\"{o}}ylemez},
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 = {Interlocking system design for {ERTMS/ETCS:} An approach with batches
Petri nets},
booktitle = {11th International Workshop on Discrete Event Systems, {WODES} 2012,
Guadalajara, Mexico, October 3-5, 2012},
pages = {110--115},
publisher = {International Federation of Automatic Control},
year = {2012},
url = {https://doi.org/10.3182/20121003-3-MX-4033.00021},
doi = {10.3182/20121003-3-MX-4033.00021},
timestamp = {Fri, 06 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/wodes/DurmusYS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wodes/FantiIU12,
author = {Maria Pia Fanti and
Giorgio Iacobellis and
Walter Ukovich},
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 = {A decision support system for risk evaluation of {HAZMAT} transportation
in motorways},
booktitle = {11th International Workshop on Discrete Event Systems, {WODES} 2012,
Guadalajara, Mexico, October 3-5, 2012},
pages = {98--103},
publisher = {International Federation of Automatic Control},
year = {2012},
url = {https://doi.org/10.3182/20121003-3-MX-4033.00019},
doi = {10.3182/20121003-3-MX-4033.00019},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wodes/FantiIU12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wodes/FracaJS12,
author = {Est{\'{\i}}baliz Fraca and
Jorge J{\'{u}}lvez and
Manuel Silva Su{\'{a}}rez},
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 = {Marking homothetic monotonicity and fluidization of untimed Petri
nets},
booktitle = {11th International Workshop on Discrete Event Systems, {WODES} 2012,
Guadalajara, Mexico, October 3-5, 2012},
pages = {21--27},
publisher = {International Federation of Automatic Control},
year = {2012},
url = {https://doi.org/10.3182/20121003-3-MX-4033.00007},
doi = {10.3182/20121003-3-MX-4033.00007},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wodes/FracaJS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wodes/GengC12,
author = {Yanfeng Geng and
Christos G. Cassandras},
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 = {Multi-intersection traffic light control using infinitesimal perturbation
analysis},
booktitle = {11th International Workshop on Discrete Event Systems, {WODES} 2012,
Guadalajara, Mexico, October 3-5, 2012},
pages = {104--109},
publisher = {International Federation of Automatic Control},
year = {2012},
url = {https://doi.org/10.3182/20121003-3-MX-4033.00020},
doi = {10.3182/20121003-3-MX-4033.00020},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/wodes/GengC12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wodes/GoncalvesMH12,
author = {Vinicius Mariano Gon{\c{c}}alves and
Carlos Andrey Maia and
Laurent Hardouin},
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 = {On the solution of max-plus linear equations with application on the
control of TEGs},
booktitle = {11th International Workshop on Discrete Event Systems, {WODES} 2012,
Guadalajara, Mexico, October 3-5, 2012},
pages = {91--97},
publisher = {International Federation of Automatic Control},
year = {2012},
url = {https://doi.org/10.3182/20121003-3-MX-4033.00018},
doi = {10.3182/20121003-3-MX-4033.00018},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wodes/GoncalvesMH12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wodes/HuangBYT12,
author = {Yongliang Huang and
Thomas Bourdeaud'huy and
Pierre{-}Alain Yvars and
Armand Toguy{\'{e}}ni},
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 = {A constraint programming approach for generating firing sequences
in timed Petri nets with token identification},
booktitle = {11th International Workshop on Discrete Event Systems, {WODES} 2012,
Guadalajara, Mexico, October 3-5, 2012},
pages = {149--156},
publisher = {International Federation of Automatic Control},
year = {2012},
url = {https://doi.org/10.3182/20121003-3-MX-4033.00026},
doi = {10.3182/20121003-3-MX-4033.00026},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wodes/HuangBYT12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wodes/JezequelF12,
author = {Lo{\"{\i}}g Jezequel and
Eric Fabre},
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 = {Turbo planning},
booktitle = {11th International Workshop on Discrete Event Systems, {WODES} 2012,
Guadalajara, Mexico, October 3-5, 2012},
pages = {301--306},
publisher = {International Federation of Automatic Control},
year = {2012},
url = {https://doi.org/10.3182/20121003-3-MX-4033.00049},
doi = {10.3182/20121003-3-MX-4033.00049},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wodes/JezequelF12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wodes/JiaX12,
author = {Qing{-}Shan Jia and
Li Xia},
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 = {Approximate event-based optimization for evacuation},
booktitle = {11th International Workshop on Discrete Event Systems, {WODES} 2012,
Guadalajara, Mexico, October 3-5, 2012},
pages = {372--377},
publisher = {International Federation of Automatic Control},
year = {2012},
url = {https://doi.org/10.3182/20121003-3-MX-4033.00059},
doi = {10.3182/20121003-3-MX-4033.00059},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wodes/JiaX12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wodes/JovanovicFLR12,
author = {Aleksandra Jovanovic and
S{\'{e}}bastien Faucou and
Didier Lime and
Olivier H. Roux},
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 = {Real-time control with parametric timed reachability games},
booktitle = {11th International Workshop on Discrete Event Systems, {WODES} 2012,
Guadalajara, Mexico, October 3-5, 2012},
pages = {323--330},
publisher = {International Federation of Automatic Control},
year = {2012},
url = {https://doi.org/10.3182/20121003-3-MX-4033.00052},
doi = {10.3182/20121003-3-MX-4033.00052},
timestamp = {Wed, 26 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/wodes/JovanovicFLR12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wodes/KilincFFK12,
author = {G{\"{o}}rkem Kilin{\c{c}} and
Igor Nai Fovino and
Carlo Ferigato and
Ahmet Koltuksuz},
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 = {A model of distributed key generation for industrial control systems},
booktitle = {11th International Workshop on Discrete Event Systems, {WODES} 2012,
Guadalajara, Mexico, October 3-5, 2012},
pages = {356--363},
publisher = {International Federation of Automatic Control},
year = {2012},
url = {https://doi.org/10.3182/20121003-3-MX-4033.00057},
doi = {10.3182/20121003-3-MX-4033.00057},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wodes/KilincFFK12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wodes/KimuraNT12,
author = {Katsuyuki Kimura and
Masashi Nomura and
Shigemasa Takai},
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 = {Bisimilarity enforcing supervisory control of nondeterministic systems
under event and state observations},
booktitle = {11th International Workshop on Discrete Event Systems, {WODES} 2012,
Guadalajara, Mexico, October 3-5, 2012},
pages = {169--174},
publisher = {International Federation of Automatic Control},
year = {2012},
url = {https://doi.org/10.3182/20121003-3-MX-4033.00029},
doi = {10.3182/20121003-3-MX-4033.00029},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wodes/KimuraNT12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wodes/KloetzerM12,
author = {Marius Kloetzer and
Cristian Mahulea},
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 = {{LTL} planning in dynamic environments},
booktitle = {11th International Workshop on Discrete Event Systems, {WODES} 2012,
Guadalajara, Mexico, October 3-5, 2012},
pages = {294--300},
publisher = {International Federation of Automatic Control},
year = {2012},
url = {https://doi.org/10.3182/20121003-3-MX-4033.00048},
doi = {10.3182/20121003-3-MX-4033.00048},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/wodes/KloetzerM12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wodes/KomendaLB12,
author = {Jan Komenda and
S{\'{e}}bastien Lahaye and
Jean{-}Louis Boimond},
editor = {Antonio Ram{\'{\i}}rez{-}Trevi{\~{n}}o and
Ernesto L{\'{o}}pez{-}Mellado and
Jean{-}Jacques Lesage and
Manuel Silva Su{\'{a}}rez},
title = {Decentralized control of product (max+)-automata using coinduction},
booktitle = {11th International Workshop on Discrete Event Systems, {WODES} 2012,
Guadalajara, Mexico, October 3-5, 2012},
pages = {122--127},
publisher = {International Federation of Automatic Control},
year = {2012},
url = {https://doi.org/10.3182/20121003-3-MX-4033.00023},
doi = {10.3182/20121003-3-MX-4033.00023},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wodes/KomendaLB12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wodes/KomendaMS12,
author = {Jan Komenda and
Tom{\'{a}}s Masopust and
Jan H. van Schuppen},
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 = {On algorithms and extensions of coordination control of discrete-event
systems},
booktitle = {11th International Workshop on Discrete Event Systems, {WODES} 2012,
Guadalajara, Mexico, October 3-5, 2012},
pages = {245--250},
publisher = {International Federation of Automatic Control},
year = {2012},
url = {https://doi.org/10.3182/20121003-3-MX-4033.00041},
doi = {10.3182/20121003-3-MX-4033.00041},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wodes/KomendaMS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wodes/LahayeKB12,
author = {S{\'{e}}bastien Lahaye and
Jan Komenda and
Jean{-}Louis Boimond},
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 = {Compositions of (max, +) automata},
booktitle = {11th International Workshop on Discrete Event Systems, {WODES} 2012,
Guadalajara, Mexico, October 3-5, 2012},
pages = {61--66},
publisher = {International Federation of Automatic Control},
year = {2012},
url = {https://doi.org/10.3182/20121003-3-MX-4033.00013},
doi = {10.3182/20121003-3-MX-4033.00013},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wodes/LahayeKB12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wodes/LhommeauJH12,
author = {Mehdi Lhommeau and
Luc Jaulin and
Laurent Hardouin},
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 = {A non-linear set-membership approach for the control of discrete event
systems},
booktitle = {11th International Workshop on Discrete Event Systems, {WODES} 2012,
Guadalajara, Mexico, October 3-5, 2012},
pages = {73--78},
publisher = {International Federation of Automatic Control},
year = {2012},
url = {https://doi.org/10.3182/20121003-3-MX-4033.00015},
doi = {10.3182/20121003-3-MX-4033.00015},
timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wodes/LhommeauJH12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wodes/LiuBZ12,
author = {Ding Liu and
Kamel Barkaoui and
MengChu Zhou},
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 = {On intrinsically live structure of a class of generalized Petri nets
modeling {FMS}},
booktitle = {11th International Workshop on Discrete Event Systems, {WODES} 2012,
Guadalajara, Mexico, October 3-5, 2012},
pages = {187--192},
publisher = {International Federation of Automatic Control},
year = {2012},
url = {https://doi.org/10.3182/20121003-3-MX-4033.00032},
doi = {10.3182/20121003-3-MX-4033.00032},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wodes/LiuBZ12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wodes/LoenhoutBFS12,
author = {Stefan Van Loenhout and
Ton J. J. van den Boom and
Samira S. Farahani and
Bart De Schutter},
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 = {Model predictive control for stochastic switching max-plus-linear
systems},
booktitle = {11th International Workshop on Discrete Event Systems, {WODES} 2012,
Guadalajara, Mexico, October 3-5, 2012},
pages = {79--84},
publisher = {International Federation of Automatic Control},
year = {2012},
url = {https://doi.org/10.3182/20121003-3-MX-4033.00016},
doi = {10.3182/20121003-3-MX-4033.00016},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wodes/LoenhoutBFS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wodes/Lutz-LeyL12,
author = {Alberto Lutz{-}Ley and
Ernesto L{\'{o}}pez{-}Mellado},
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 = {Recoverability analysis of controlled discrete event systems modelled
by a class of Petri nets},
booktitle = {11th International Workshop on Discrete Event Systems, {WODES} 2012,
Guadalajara, Mexico, October 3-5, 2012},
pages = {201--207},
publisher = {International Federation of Automatic Control},
year = {2012},
url = {https://doi.org/10.3182/20121003-3-MX-4033.00034},
doi = {10.3182/20121003-3-MX-4033.00034},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wodes/Lutz-LeyL12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wodes/MalikL12,
author = {Robi Malik and
Ryan J. Leduc},
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 = {Hierarchical interface-based supervisory control using the conflict
preorder},
booktitle = {11th International Workshop on Discrete Event Systems, {WODES} 2012,
Guadalajara, Mexico, October 3-5, 2012},
pages = {163--168},
publisher = {International Federation of Automatic Control},
year = {2012},
url = {https://doi.org/10.3182/20121003-3-MX-4033.00028},
doi = {10.3182/20121003-3-MX-4033.00028},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wodes/MalikL12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wodes/Markovski12,
author = {Jasen Markovski},
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 = {Coarsest controllability-preserving plant minimization},
booktitle = {11th International Workshop on Discrete Event Systems, {WODES} 2012,
Guadalajara, Mexico, October 3-5, 2012},
pages = {251--258},
publisher = {International Federation of Automatic Control},
year = {2012},
url = {https://doi.org/10.3182/20121003-3-MX-4033.00042},
doi = {10.3182/20121003-3-MX-4033.00042},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wodes/Markovski12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wodes/Meyer12,
author = {Anna{-}Lena Meyer},
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 = {Discontinuity induced bifurcations in timed continuous Petri nets},
booktitle = {11th International Workshop on Discrete Event Systems, {WODES} 2012,
Guadalajara, Mexico, October 3-5, 2012},
pages = {28--33},
publisher = {International Federation of Automatic Control},
year = {2012},
url = {https://doi.org/10.3182/20121003-3-MX-4033.00008},
doi = {10.3182/20121003-3-MX-4033.00008},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wodes/Meyer12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wodes/MohajeraniMF12,
author = {Sahar Mohajerani and
Robi Malik and
Martin Fabian},
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 = {An algorithm for weak synthesis observation equivalence for compositional
supervisor synthesis},
booktitle = {11th International Workshop on Discrete Event Systems, {WODES} 2012,
Guadalajara, Mexico, October 3-5, 2012},
pages = {239--244},
publisher = {International Federation of Automatic Control},
year = {2012},
url = {https://doi.org/10.3182/20121003-3-MX-4033.00040},
doi = {10.3182/20121003-3-MX-4033.00040},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wodes/MohajeraniMF12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wodes/MoorBYLL12,
author = {Thomas Moor and
Christine Baier and
Tae{-}Sic Yoo and
Feng Lin and
St{\'{e}}phane Lafortune},
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 = {On the computation of supremal sublanguages relevant to supervisory
control},
booktitle = {11th International Workshop on Discrete Event Systems, {WODES} 2012,
Guadalajara, Mexico, October 3-5, 2012},
pages = {175--180},
publisher = {International Federation of Automatic Control},
year = {2012},
url = {https://doi.org/10.3182/20121003-3-MX-4033.00030},
doi = {10.3182/20121003-3-MX-4033.00030},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wodes/MoorBYLL12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wodes/NazeemR12,
author = {Ahmed Nazeem and
Spyros A. Reveliotis},
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 = {Maximally permissive deadlock avoidance for resource allocation systems
with R/W-locks},
booktitle = {11th International Workshop on Discrete Event Systems, {WODES} 2012,
Guadalajara, Mexico, October 3-5, 2012},
pages = {286--293},
publisher = {International Federation of Automatic Control},
year = {2012},
url = {https://doi.org/10.3182/20121003-3-MX-4033.00047},
doi = {10.3182/20121003-3-MX-4033.00047},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wodes/NazeemR12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wodes/Ramirez-TrevinoLLS12,
author = {Antonio Ram{\'{\i}}rez{-}Trevi{\~{n}}o and
Ernesto L{\'{o}}pez{-}Mellado and
Jean{-}Jacques Lesage and
Manuel Silva Su{\'{a}}rez},
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 = {Preface},
booktitle = {11th International Workshop on Discrete Event Systems, {WODES} 2012,
Guadalajara, Mexico, October 3-5, 2012},
pages = {vii--viii},
publisher = {International Federation of Automatic Control},
year = {2012},
url = {https://doi.org/10.3182/20121003-3-MX-4033.90002},
doi = {10.3182/20121003-3-MX-4033.90002},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/wodes/Ramirez-TrevinoLLS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wodes/RenDPN12,
author = {Mingming Ren and
Emil Dumitrescu and
Laurent Pi{\'{e}}trac and
{\'{E}}ric Niel},
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 = {Incremental discrete controller synthesis for communicating systems
based on modular decomposition},
booktitle = {11th International Workshop on Discrete Event Systems, {WODES} 2012,
Guadalajara, Mexico, October 3-5, 2012},
pages = {315--322},
publisher = {International Federation of Automatic Control},
year = {2012},
url = {https://doi.org/10.3182/20121003-3-MX-4033.00051},
doi = {10.3182/20121003-3-MX-4033.00051},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wodes/RenDPN12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wodes/Rohloff12,
author = {Kurt Rohloff},
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 = {Bounded sensor failure tolerant supervisory control},
booktitle = {11th International Workshop on Discrete Event Systems, {WODES} 2012,
Guadalajara, Mexico, October 3-5, 2012},
pages = {272--277},
publisher = {International Federation of Automatic Control},
year = {2012},
url = {https://doi.org/10.3182/20121003-3-MX-4033.00045},
doi = {10.3182/20121003-3-MX-4033.00045},
timestamp = {Mon, 15 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wodes/Rohloff12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wodes/RousselL12,
author = {Jean{-}Marc Roussel and
Jean{-}Jacques Lesage},
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 = {Algebraic synthesis of logical controllers despite inconsistencies
in specifications},
booktitle = {11th International Workshop on Discrete Event Systems, {WODES} 2012,
Guadalajara, Mexico, October 3-5, 2012},
pages = {307--314},
publisher = {International Federation of Automatic Control},
year = {2012},
url = {https://doi.org/10.3182/20121003-3-MX-4033.00050},
doi = {10.3182/20121003-3-MX-4033.00050},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wodes/RousselL12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wodes/SadidRH12,
author = {Md. Waselul Haque Sadid and
S. Laurie Ricker and
Shahin Hashtrudi{-}Zad},
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 = {Robustness of synchronous communication protocols with bounded delay
for decentralized discrete-event control},
booktitle = {11th International Workshop on Discrete Event Systems, {WODES} 2012,
Guadalajara, Mexico, October 3-5, 2012},
pages = {181--186},
publisher = {International Federation of Automatic Control},
year = {2012},
url = {https://doi.org/10.3182/20121003-3-MX-4033.00031},
doi = {10.3182/20121003-3-MX-4033.00031},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wodes/SadidRH12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wodes/Schmidt12,
author = {Klaus Werner Schmidt},
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 = {Computation of supervisors for reconfigurable machine tools},
booktitle = {11th International Workshop on Discrete Event Systems, {WODES} 2012,
Guadalajara, Mexico, October 3-5, 2012},
pages = {227--232},
publisher = {International Federation of Automatic Control},
year = {2012},
url = {https://doi.org/10.3182/20121003-3-MX-4033.00038},
doi = {10.3182/20121003-3-MX-4033.00038},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wodes/Schmidt12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wodes/Silva12,
author = {Manuel Silva},
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 = {50 years after the PhD thesis of Carl Adam Petri: {A} perspective},
booktitle = {11th International Workshop on Discrete Event Systems, {WODES} 2012,
Guadalajara, Mexico, October 3-5, 2012},
pages = {13--20},
publisher = {International Federation of Automatic Control},
year = {2012},
url = {https://doi.org/10.3182/20121003-3-MX-4033.00006},
doi = {10.3182/20121003-3-MX-4033.00006},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wodes/Silva12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wodes/Su12,
author = {Rong Su},
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 = {Abstraction-based synthesis of timed supervisors for time-weighted
systems},
booktitle = {11th International Workshop on Discrete Event Systems, {WODES} 2012,
Guadalajara, Mexico, October 3-5, 2012},
pages = {128--134},
publisher = {International Federation of Automatic Control},
year = {2012},
url = {https://doi.org/10.3182/20121003-3-MX-4033.00024},
doi = {10.3182/20121003-3-MX-4033.00024},
timestamp = {Wed, 22 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/wodes/Su12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wodes/VazquezR12,
author = {Carlos Renato V{\'{a}}zquez and
Antonio Ram{\'{\i}}rez{-}Trevi{\~{n}}o},
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 = {Structural and generic conditions for controllability of timed continuous
Petri nets},
booktitle = {11th International Workshop on Discrete Event Systems, {WODES} 2012,
Guadalajara, Mexico, October 3-5, 2012},
pages = {41--46},
publisher = {International Federation of Automatic Control},
year = {2012},
url = {https://doi.org/10.3182/20121003-3-MX-4033.00010},
doi = {10.3182/20121003-3-MX-4033.00010},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/wodes/VazquezR12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wodes/WangMJS12,
author = {Liewei Wang and
Cristian Mahulea and
Jorge J{\'{u}}lvez and
Manuel Silva Su{\'{a}}rez},
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 = {Control of continuous Petri nets using {ON/OFF} based method},
booktitle = {11th International Workshop on Discrete Event Systems, {WODES} 2012,
Guadalajara, Mexico, October 3-5, 2012},
pages = {47--53},
publisher = {International Federation of Automatic Control},
year = {2012},
url = {https://doi.org/10.3182/20121003-3-MX-4033.00011},
doi = {10.3182/20121003-3-MX-4033.00011},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wodes/WangMJS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wodes/WangSL12,
author = {Yin Wang and
Jason Stanley and
St{\'{e}}phane Lafortune},
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 = {Explicit storage and analysis of billions of states using commodity
computers},
booktitle = {11th International Workshop on Discrete Event Systems, {WODES} 2012,
Guadalajara, Mexico, October 3-5, 2012},
pages = {364--371},
publisher = {International Federation of Automatic Control},
year = {2012},
url = {https://doi.org/10.3182/20121003-3-MX-4033.00058},
doi = {10.3182/20121003-3-MX-4033.00058},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wodes/WangSL12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wodes/Wardi12,
author = {Yorai Wardi},
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 control of switched-mode dynamical systems},
booktitle = {11th International Workshop on Discrete Event Systems, {WODES} 2012,
Guadalajara, Mexico, October 3-5, 2012},
pages = {4--8},
publisher = {International Federation of Automatic Control},
year = {2012},
url = {https://doi.org/10.3182/20121003-3-MX-4033.00004},
doi = {10.3182/20121003-3-MX-4033.00004},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wodes/Wardi12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wodes/ZaytoonM12,
author = {Janan Zaytoon and
Moamar {Sayed Mouchaweh}},
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 = {Discussion on fault diagnosis methods of discrete event systems},
booktitle = {11th International Workshop on Discrete Event Systems, {WODES} 2012,
Guadalajara, Mexico, October 3-5, 2012},
pages = {9--12},
publisher = {International Federation of Automatic Control},
year = {2012},
url = {https://doi.org/10.3182/20121003-3-MX-4033.00005},
doi = {10.3182/20121003-3-MX-4033.00005},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wodes/ZaytoonM12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/wodes/2012,
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 = {11th International Workshop on Discrete Event Systems, {WODES} 2012,
Guadalajara, Mexico, October 3-5, 2012},
publisher = {International Federation of Automatic Control},
year = {2012},
url = {http://www.ifac-papersonline.net/Discrete\_Event\_Systems/11th\_International\_Workshop\_on\_Discrete\_Event\_Systems/index.html},
isbn = {978-3-902823-28-1},
timestamp = {Tue, 06 Sep 2016 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wodes/2012.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wodes/AddadAL10,
author = {Boussad Addad and
Sa{\"{\i}}d Amari and
Jean{-}Jacques Lesage},
editor = {J{\"{o}}rg Raisch and
Alessandro Giua and
St{\'{e}}phane Lafortune and
Thomas Moor},
title = {Linear time-varying (max, +) representation of conflicting timed event
graphs},
booktitle = {10th International Workshop on Discrete Event Systems, {WODES} 2010,
Berlin, Germany, August 30 - September 01, 2010},
pages = {300--305},
publisher = {International Federation of Automatic Control},
year = {2010},
url = {https://doi.org/10.3182/20100830-3-DE-4013.00050},
doi = {10.3182/20100830-3-DE-4013.00050},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wodes/AddadAL10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wodes/AzhmyakovVG10,
author = {Vadim Azhmyakov and
Ruben Velazquez and
Rosalba Galv{\'{a}}n{-}Guerra},
editor = {J{\"{o}}rg Raisch and
Alessandro Giua and
St{\'{e}}phane Lafortune and
Thomas Moor},
title = {Numerically stable approximations of optimal control processes associated
with a class of switched systems},
booktitle = {10th International Workshop on Discrete Event Systems, {WODES} 2010,
Berlin, Germany, August 30 - September 01, 2010},
pages = {41--46},
publisher = {International Federation of Automatic Control},
year = {2010},
url = {https://doi.org/10.3182/20100830-3-DE-4013.00009},
doi = {10.3182/20100830-3-DE-4013.00009},
timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wodes/AzhmyakovVG10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wodes/BaradC10,
author = {Miryam Barad and
Arkady Cherkassky},
editor = {J{\"{o}}rg Raisch and
Alessandro Giua and
St{\'{e}}phane Lafortune and
Thomas Moor},
title = {Timed Petri nets perspective on weaving processes},
booktitle = {10th International Workshop on Discrete Event Systems, {WODES} 2010,
Berlin, Germany, August 30 - September 01, 2010},
pages = {438--443},
publisher = {International Federation of Automatic Control},
year = {2010},
url = {https://doi.org/10.3182/20100830-3-DE-4013.00072},
doi = {10.3182/20100830-3-DE-4013.00072},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wodes/BaradC10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wodes/BasileCT10,
author = {Francesco Basile and
Pasquale Chiacchio and
Gianmaria De Tommasi},
editor = {J{\"{o}}rg Raisch and
Alessandro Giua and
St{\'{e}}phane Lafortune and
Thomas Moor},
title = {Diagnosability of labeled Petri nets via integer linear programming},
booktitle = {10th International Workshop on Discrete Event Systems, {WODES} 2010,
Berlin, Germany, August 30 - September 01, 2010},
pages = {71--77},
publisher = {International Federation of Automatic Control},
year = {2010},
url = {https://doi.org/10.3182/20100830-3-DE-4013.00014},
doi = {10.3182/20100830-3-DE-4013.00014},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wodes/BasileCT10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wodes/BoimondL10,
author = {Jean{-}Louis Boimond and
S{\'{e}}bastien Lahaye},
editor = {J{\"{o}}rg Raisch and
Alessandro Giua and
St{\'{e}}phane Lafortune and
Thomas Moor},
title = {On proportional controller in (min; +) algebra},
booktitle = {10th International Workshop on Discrete Event Systems, {WODES} 2010,
Berlin, Germany, August 30 - September 01, 2010},
pages = {149--154},
publisher = {International Federation of Automatic Control},
year = {2010},
url = {https://doi.org/10.3182/20100830-3-DE-4013.00026},
doi = {10.3182/20100830-3-DE-4013.00026},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wodes/BoimondL10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wodes/BollueSATA10,
author = {Kai Bollue and
Michaela Slaats and
Erika {\'{A}}brah{\'{a}}m and
Wolfgang Thomas and
Dirk Abel},
editor = {J{\"{o}}rg Raisch and
Alessandro Giua and
St{\'{e}}phane Lafortune and
Thomas Moor},
title = {Synthesis of behavioral controllers for {DES:} Increasing efficiency},
booktitle = {10th International Workshop on Discrete Event Systems, {WODES} 2010,
Berlin, Germany, August 30 - September 01, 2010},
pages = {27--34},
publisher = {International Federation of Automatic Control},
year = {2010},
url = {https://doi.org/10.3182/20100830-3-DE-4013.00007},
doi = {10.3182/20100830-3-DE-4013.00007},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wodes/BollueSATA10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wodes/BouillardJT10,
author = {Anne Bouillard and
Laurent Jouhet and
Eric Thierry},
editor = {J{\"{o}}rg Raisch and
Alessandro Giua and
St{\'{e}}phane Lafortune and
Thomas Moor},
title = {Comparison of different classes of service curves in network calculus},
booktitle = {10th International Workshop on Discrete Event Systems, {WODES} 2010,
Berlin, Germany, August 30 - September 01, 2010},
pages = {306--311},
publisher = {International Federation of Automatic Control},
year = {2010},
url = {https://doi.org/10.3182/20100830-3-DE-4013.00051},
doi = {10.3182/20100830-3-DE-4013.00051},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wodes/BouillardJT10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wodes/BrunschHR10,
author = {Thomas Brunsch and
Laurent Hardouin and
J{\"{o}}rg Raisch},
editor = {J{\"{o}}rg Raisch and
Alessandro Giua and
St{\'{e}}phane Lafortune and
Thomas Moor},
title = {Control of cyclically operated high-throughput screening systems},
booktitle = {10th International Workshop on Discrete Event Systems, {WODES} 2010,
Berlin, Germany, August 30 - September 01, 2010},
pages = {167--172},
publisher = {International Federation of Automatic Control},
year = {2010},
url = {https://doi.org/10.3182/20100830-3-DE-4013.00029},
doi = {10.3182/20100830-3-DE-4013.00029},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wodes/BrunschHR10.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/wodes/CanoRC10,
author = {Elia E. Cano and
Carlos A. Rovetto and
Jos{\'{e}} Manuel Colom},
editor = {J{\"{o}}rg Raisch and
Alessandro Giua and
St{\'{e}}phane Lafortune and
Thomas Moor},
title = {An algorithm to compute the minimal siphons in {S4PR} nets},
booktitle = {10th International Workshop on Discrete Event Systems, {WODES} 2010,
Berlin, Germany, August 30 - September 01, 2010},
pages = {15--20},
publisher = {International Federation of Automatic Control},
year = {2010},
url = {https://doi.org/10.3182/20100830-3-DE-4013.00005},
doi = {10.3182/20100830-3-DE-4013.00005},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wodes/CanoRC10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wodes/CarvalhoBM10,
author = {Lilian Kawakami Carvalho and
Jo{\~{a}}o Carlos Basilio and
Marcos Vicente Moreira},
editor = {J{\"{o}}rg Raisch and
Alessandro Giua and
St{\'{e}}phane Lafortune and
Thomas Moor},
title = {Robust diagnosability of discrete event systems subject to intermittent
sensor failures},
booktitle = {10th International Workshop on Discrete Event Systems, {WODES} 2010,
Berlin, Germany, August 30 - September 01, 2010},
pages = {84--89},
publisher = {International Federation of Automatic Control},
year = {2010},
url = {https://doi.org/10.3182/20100830-3-DE-4013.00016},
doi = {10.3182/20100830-3-DE-4013.00016},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wodes/CarvalhoBM10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wodes/CorroncCH10,
author = {Euriell Le Corronc and
Bertrand Cottenceau and
Laurent Hardouin},
editor = {J{\"{o}}rg Raisch and
Alessandro Giua and
St{\'{e}}phane Lafortune and
Thomas Moor},
title = {Control of uncertain (max, +)-linear systems in order to decrease
uncertainty},
booktitle = {10th International Workshop on Discrete Event Systems, {WODES} 2010,
Berlin, Germany, August 30 - September 01, 2010},
pages = {400--405},
publisher = {International Federation of Automatic Control},
year = {2010},
url = {https://doi.org/10.3182/20100830-3-DE-4013.00066},
doi = {10.3182/20100830-3-DE-4013.00066},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wodes/CorroncCH10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wodes/DarondeauDM10,
author = {Philippe Darondeau and
J{\'{e}}r{\'{e}}my Dubreil and
Herv{\'{e}} Marchand},
editor = {J{\"{o}}rg Raisch and
Alessandro Giua and
St{\'{e}}phane Lafortune and
Thomas Moor},
title = {Supervisory control for modal specifications of services},
booktitle = {10th International Workshop on Discrete Event Systems, {WODES} 2010,
Berlin, Germany, August 30 - September 01, 2010},
pages = {418--425},
publisher = {International Federation of Automatic Control},
year = {2010},
url = {https://doi.org/10.3182/20100830-3-DE-4013.00069},
doi = {10.3182/20100830-3-DE-4013.00069},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wodes/DarondeauDM10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wodes/Declerck10,
author = {Philippe Declerck},
editor = {J{\"{o}}rg Raisch and
Alessandro Giua and
St{\'{e}}phane Lafortune and
Thomas Moor},
title = {Trajectory tracking control of a timed event graph with specifications
defined by a P-time event graph: On-line control and off-line preparation},
booktitle = {10th International Workshop on Discrete Event Systems, {WODES} 2010,
Berlin, Germany, August 30 - September 01, 2010},
pages = {155--160},
publisher = {International Federation of Automatic Control},
year = {2010},
url = {https://doi.org/10.3182/20100830-3-DE-4013.00027},
doi = {10.3182/20100830-3-DE-4013.00027},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wodes/Declerck10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wodes/DemongodinG10,
author = {Isabel Demongodin and
Alessandro Giua},
editor = {J{\"{o}}rg Raisch and
Alessandro Giua and
St{\'{e}}phane Lafortune and
Thomas Moor},
title = {Linear programming techniques for analysis and control of batches
Petri nets},
booktitle = {10th International Workshop on Discrete Event Systems, {WODES} 2010,
Berlin, Germany, August 30 - September 01, 2010},
pages = {1--6},
publisher = {International Federation of Automatic Control},
year = {2010},
url = {https://doi.org/10.3182/20100830-3-DE-4013.00003},
doi = {10.3182/20100830-3-DE-4013.00003},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wodes/DemongodinG10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wodes/DumitrescuGMR10,
author = {Emil Dumitrescu and
Alain Girault and
Herv{\'{e}} Marchand and
{\'{E}}ric Rutten},
editor = {J{\"{o}}rg Raisch and
Alessandro Giua and
St{\'{e}}phane Lafortune and
Thomas Moor},
title = {Multicriteria optimal reconfiguration of fault-tolerant real-time
tasks},
booktitle = {10th International Workshop on Discrete Event Systems, {WODES} 2010,
Berlin, Germany, August 30 - September 01, 2010},
pages = {356--363},
publisher = {International Federation of Automatic Control},
year = {2010},
url = {https://doi.org/10.3182/20100830-3-DE-4013.00059},
doi = {10.3182/20100830-3-DE-4013.00059},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wodes/DumitrescuGMR10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wodes/DurmusYKS10,
author = {Mustafa Se{\c{c}}kin Durmus and
Ugur Yildirim and
Aysegul Kursun and
Mehmet Turan S{\"{o}}ylemez},
editor = {J{\"{o}}rg Raisch and
Alessandro Giua and
St{\'{e}}phane Lafortune and
Thomas Moor},
title = {Fail-safe signalization design for a railway yard: {A} level crossing
case},
booktitle = {10th International Workshop on Discrete Event Systems, {WODES} 2010,
Berlin, Germany, August 30 - September 01, 2010},
pages = {337--342},
publisher = {International Federation of Automatic Control},
year = {2010},
url = {https://doi.org/10.3182/20100830-3-DE-4013.00056},
doi = {10.3182/20100830-3-DE-4013.00056},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wodes/DurmusYKS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wodes/FabreJ10,
author = {Eric Fabre and
Lo{\"{\i}}g Jezequel},
editor = {J{\"{o}}rg Raisch and
Alessandro Giua and
St{\'{e}}phane Lafortune and
Thomas Moor},
title = {On the construction of probabilistic diagnosers},
booktitle = {10th International Workshop on Discrete Event Systems, {WODES} 2010,
Berlin, Germany, August 30 - September 01, 2010},
pages = {229--234},
publisher = {International Federation of Automatic Control},
year = {2010},
url = {https://doi.org/10.3182/20100830-3-DE-4013.00039},
doi = {10.3182/20100830-3-DE-4013.00039},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wodes/FabreJ10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wodes/FarahaniBWS10,
author = {Samira S. Farahani and
Ton J. J. van den Boom and
Hans van der Weide and
Bart De Schutter},
editor = {J{\"{o}}rg Raisch and
Alessandro Giua and
St{\'{e}}phane Lafortune and
Thomas Moor},
title = {An approximation approach for model predictive control of stochastic
max-plus linear systems},
booktitle = {10th International Workshop on Discrete Event Systems, {WODES} 2010,
Berlin, Germany, August 30 - September 01, 2010},
pages = {376--381},
publisher = {International Federation of Automatic Control},
year = {2010},
url = {https://doi.org/10.3182/20100830-3-DE-4013.00062},
doi = {10.3182/20100830-3-DE-4013.00062},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wodes/FarahaniBWS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wodes/ForschelenMSR10,
author = {Stefan T. J. Forschelen and
Joanna M. van de Mortel{-}Fronczak and
Rong Su and
Jacobus E. Rooda},
editor = {J{\"{o}}rg Raisch and
Alessandro Giua and
St{\'{e}}phane Lafortune and
Thomas Moor},
title = {Application of supervisory control theory to theme park vehicles},
booktitle = {10th International Workshop on Discrete Event Systems, {WODES} 2010,
Berlin, Germany, August 30 - September 01, 2010},
pages = {293--299},
publisher = {International Federation of Automatic Control},
year = {2010},
url = {https://doi.org/10.3182/20100830-3-DE-4013.00049},
doi = {10.3182/20100830-3-DE-4013.00049},
timestamp = {Wed, 22 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/wodes/ForschelenMSR10.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/GonzalezGC10,
author = {Jose Cerdeira Gonzalez and
Roberto Ortiz Garrido and
Antonio Eduardo Carrilho da Cunha},
editor = {J{\"{o}}rg Raisch and
Alessandro Giua and
St{\'{e}}phane Lafortune and
Thomas Moor},
title = {Rotary-wing {UAV} mission planning aided by supervisory control},
booktitle = {10th International Workshop on Discrete Event Systems, {WODES} 2010,
Berlin, Germany, August 30 - September 01, 2010},
pages = {324--330},
publisher = {International Federation of Automatic Control},
year = {2010},
url = {https://doi.org/10.3182/20100830-3-DE-4013.00054},
doi = {10.3182/20100830-3-DE-4013.00054},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wodes/GonzalezGC10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wodes/GrigorovR10,
author = {Lenko Grigorov and
Karen Rudie},
editor = {J{\"{o}}rg Raisch and
Alessandro Giua and
St{\'{e}}phane Lafortune and
Thomas Moor},
title = {Techniques for the parametrization of discrete-event system templates},
booktitle = {10th International Workshop on Discrete Event Systems, {WODES} 2010,
Berlin, Germany, August 30 - September 01, 2010},
pages = {370--375},
publisher = {International Federation of Automatic Control},
year = {2010},
url = {https://doi.org/10.3182/20100830-3-DE-4013.00061},
doi = {10.3182/20100830-3-DE-4013.00061},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wodes/GrigorovR10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wodes/GromovC10,
author = {Dmitry Gromov and
Peter E. Caines},
editor = {J{\"{o}}rg Raisch and
Alessandro Giua and
St{\'{e}}phane Lafortune and
Thomas Moor},
title = {Initial investigations of hybrid thermodynamic control systems with
phase transitions},
booktitle = {10th International Workshop on Discrete Event Systems, {WODES} 2010,
Berlin, Germany, August 30 - September 01, 2010},
pages = {53--58},
publisher = {International Federation of Automatic Control},
year = {2010},
url = {https://doi.org/10.3182/20100830-3-DE-4013.00011},
doi = {10.3182/20100830-3-DE-4013.00011},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wodes/GromovC10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wodes/Haar10,
author = {Stefan Haar},
editor = {J{\"{o}}rg Raisch and
Alessandro Giua and
St{\'{e}}phane Lafortune and
Thomas Moor},
title = {What topology tells us about diagnosability in partial order semantics},
booktitle = {10th International Workshop on Discrete Event Systems, {WODES} 2010,
Berlin, Germany, August 30 - September 01, 2010},
pages = {211--216},
publisher = {International Federation of Automatic Control},
year = {2010},
url = {https://doi.org/10.3182/20100830-3-DE-4013.00036},
doi = {10.3182/20100830-3-DE-4013.00036},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wodes/Haar10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wodes/HardouinMCS10,
author = {Laurent Hardouin and
Carlos Andrey Maia and
Bertrand Cottenceau and
Rafael Santos{-}Mendes},
editor = {J{\"{o}}rg Raisch and
Alessandro Giua and
St{\'{e}}phane Lafortune and
Thomas Moor},
title = {Max-plus linear observer: Application to manufacturing systems},
booktitle = {10th International Workshop on Discrete Event Systems, {WODES} 2010,
Berlin, Germany, August 30 - September 01, 2010},
pages = {161--166},
publisher = {International Federation of Automatic Control},
year = {2010},
url = {https://doi.org/10.3182/20100830-3-DE-4013.00028},
doi = {10.3182/20100830-3-DE-4013.00028},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wodes/HardouinMCS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wodes/HeidergottVV10,
author = {Bernd Heidergott and
Warren Volk{-}Makarewicz and
Felisa J. V{\'{a}}zquez{-}Abad},
editor = {J{\"{o}}rg Raisch and
Alessandro Giua and
St{\'{e}}phane Lafortune and
Thomas Moor},
title = {Gradient estimation for quantiles of stationary waiting times},
booktitle = {10th International Workshop on Discrete Event Systems, {WODES} 2010,
Berlin, Germany, August 30 - September 01, 2010},
pages = {241--246},
publisher = {International Federation of Automatic Control},
year = {2010},
url = {https://doi.org/10.3182/20100830-3-DE-4013.00041},
doi = {10.3182/20100830-3-DE-4013.00041},
timestamp = {Mon, 15 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wodes/HeidergottVV10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wodes/Jarvis10,
author = {Donald E. Jarvis},
editor = {J{\"{o}}rg Raisch and
Alessandro Giua and
St{\'{e}}phane Lafortune and
Thomas Moor},
title = {An identification technique for timed event systems},
booktitle = {10th International Workshop on Discrete Event Systems, {WODES} 2010,
Berlin, Germany, August 30 - September 01, 2010},
pages = {181--186},
publisher = {International Federation of Automatic Control},
year = {2010},
url = {https://doi.org/10.3182/20100830-3-DE-4013.00031},
doi = {10.3182/20100830-3-DE-4013.00031},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wodes/Jarvis10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wodes/Jia10,
author = {Qing{-}Shan Jia},
editor = {J{\"{o}}rg Raisch and
Alessandro Giua and
St{\'{e}}phane Lafortune and
Thomas Moor},
title = {A rollout method for finite-stage event-based decision processes},
booktitle = {10th International Workshop on Discrete Event Systems, {WODES} 2010,
Berlin, Germany, August 30 - September 01, 2010},
pages = {247--252},
publisher = {International Federation of Automatic Control},
year = {2010},
url = {https://doi.org/10.3182/20100830-3-DE-4013.00042},
doi = {10.3182/20100830-3-DE-4013.00042},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wodes/Jia10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wodes/JulvezM10,
author = {Jorge J{\'{u}}lvez and
Cristian Mahulea},
editor = {J{\"{o}}rg Raisch and
Alessandro Giua and
St{\'{e}}phane Lafortune and
Thomas Moor},
title = {SimHPN: {A} {MATLAB} toolbox for continuous Petri nets},
booktitle = {10th International Workshop on Discrete Event Systems, {WODES} 2010,
Berlin, Germany, August 30 - September 01, 2010},
pages = {21--26},
publisher = {International Federation of Automatic Control},
year = {2010},
url = {https://doi.org/10.3182/20100830-3-DE-4013.00006},
doi = {10.3182/20100830-3-DE-4013.00006},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wodes/JulvezM10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wodes/Khoumsi10,
author = {Ahmed Khoumsi},
editor = {J{\"{o}}rg Raisch and
Alessandro Giua and
St{\'{e}}phane Lafortune and
Thomas Moor},
title = {An unifying decision-making framework in discrete-event systems: Application
to centralized and decentralized control, diagnosis and prognosis},
booktitle = {10th International Workshop on Discrete Event Systems, {WODES} 2010,
Berlin, Germany, August 30 - September 01, 2010},
pages = {135--142},
publisher = {International Federation of Automatic Control},
year = {2010},
url = {https://doi.org/10.3182/20100830-3-DE-4013.00024},
doi = {10.3182/20100830-3-DE-4013.00024},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wodes/Khoumsi10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wodes/KomendaLB10,
author = {Jan Komenda and
S{\'{e}}bastien Lahaye and
Jean{-}Louis Boimond},
editor = {J{\"{o}}rg Raisch and
Alessandro Giua and
St{\'{e}}phane Lafortune and
Thomas Moor},
title = {Synchronous composition of interval weighted automata},
booktitle = {10th International Workshop on Discrete Event Systems, {WODES} 2010,
Berlin, Germany, August 30 - September 01, 2010},
pages = {318--323},
publisher = {International Federation of Automatic Control},
year = {2010},
url = {https://doi.org/10.3182/20100830-3-DE-4013.00053},
doi = {10.3182/20100830-3-DE-4013.00053},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wodes/KomendaLB10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wodes/KomendaM10,
author = {Jan Komenda and
Tom{\'{a}}s Masopust},
editor = {J{\"{o}}rg Raisch and
Alessandro Giua and
St{\'{e}}phane Lafortune and
Thomas Moor},
title = {Supremal normal sublanguages in hierarchical supervisory control},
booktitle = {10th International Workshop on Discrete Event Systems, {WODES} 2010,
Berlin, Germany, August 30 - September 01, 2010},
pages = {111--116},
publisher = {International Federation of Automatic Control},
year = {2010},
url = {https://doi.org/10.3182/20100830-3-DE-4013.00020},
doi = {10.3182/20100830-3-DE-4013.00020},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wodes/KomendaM10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wodes/KomendaMS10,
author = {Jan Komenda and
Tom{\'{a}}s Masopust and
Jan H. van Schuppen},
editor = {J{\"{o}}rg Raisch and
Alessandro Giua and
St{\'{e}}phane Lafortune and
Thomas Moor},
title = {Synthesis of safe sublanguages satisfying global specification using
coordination scheme for discrete-event systems},
booktitle = {10th International Workshop on Discrete Event Systems, {WODES} 2010,
Berlin, Germany, August 30 - September 01, 2010},
pages = {426--431},
publisher = {International Federation of Automatic Control},
year = {2010},
url = {https://doi.org/10.3182/20100830-3-DE-4013.00070},
doi = {10.3182/20100830-3-DE-4013.00070},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wodes/KomendaMS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wodes/KovacsPN10,
author = {G{\'{a}}bor Kov{\'{a}}cs and
Laurent Pi{\'{e}}trac and
{\'{E}}ric Niel},
editor = {J{\"{o}}rg Raisch and
Alessandro Giua and
St{\'{e}}phane Lafortune and
Thomas Moor},
title = {Supervisory control based on multi-face modelling of discrete event
systems},
booktitle = {10th International Workshop on Discrete Event Systems, {WODES} 2010,
Berlin, Germany, August 30 - September 01, 2010},
pages = {117--122},
publisher = {International Federation of Automatic Control},
year = {2010},
url = {https://doi.org/10.3182/20100830-3-DE-4013.00021},
doi = {10.3182/20100830-3-DE-4013.00021},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wodes/KovacsPN10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wodes/LeducM10,
author = {Ryan J. Leduc and
Robi Malik},
editor = {J{\"{o}}rg Raisch and
Alessandro Giua and
St{\'{e}}phane Lafortune and
Thomas Moor},
title = {A compositional approach for verifying hierarchical interface-based
supervisory control},
booktitle = {10th International Workshop on Discrete Event Systems, {WODES} 2010,
Berlin, Germany, August 30 - September 01, 2010},
pages = {104--110},
publisher = {International Federation of Automatic Control},
year = {2010},
url = {https://doi.org/10.3182/20100830-3-DE-4013.00019},
doi = {10.3182/20100830-3-DE-4013.00019},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wodes/LeducM10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wodes/LeducW10,
author = {Ryan J. Leduc and
Yu Wang},
editor = {J{\"{o}}rg Raisch and
Alessandro Giua and
St{\'{e}}phane Lafortune and
Thomas Moor},
title = {Sampled-data supervisory control},
booktitle = {10th International Workshop on Discrete Event Systems, {WODES} 2010,
Berlin, Germany, August 30 - September 01, 2010},
pages = {343--349},
publisher = {International Federation of Automatic Control},
year = {2010},
url = {https://doi.org/10.3182/20100830-3-DE-4013.00057},
doi = {10.3182/20100830-3-DE-4013.00057},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wodes/LeducW10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wodes/LefebvreLACK10,
author = {Dimitri Lefebvre and
Edouard Leclercq and
Nabil El Akchioui and
Jos{\'{e}} Eduardo Souza de Cursi and
Leila Khalij},
editor = {J{\"{o}}rg Raisch and
Alessandro Giua and
St{\'{e}}phane Lafortune and
Thomas Moor},
title = {A geometric approach for the homothetic approximation of stochastic
Petri nets},
booktitle = {10th International Workshop on Discrete Event Systems, {WODES} 2010,
Berlin, Germany, August 30 - September 01, 2010},
pages = {235--240},
publisher = {International Federation of Automatic Control},
year = {2010},
url = {https://doi.org/10.3182/20100830-3-DE-4013.00040},
doi = {10.3182/20100830-3-DE-4013.00040},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wodes/LefebvreLACK10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wodes/LimaBLM10,
author = {Saulo Telles Souza Lima and
Jo{\~{a}}o Carlos Basilio and
St{\'{e}}phane Lafortune and
Marcos Vicente Moreira},
editor = {J{\"{o}}rg Raisch and
Alessandro Giua and
St{\'{e}}phane Lafortune and
Thomas Moor},
title = {Robust diagnosis of discrete-event systems subject to permanent sensor
failures},
booktitle = {10th International Workshop on Discrete Event Systems, {WODES} 2010,
Berlin, Germany, August 30 - September 01, 2010},
pages = {90--97},
publisher = {International Federation of Automatic Control},
year = {2010},
url = {https://doi.org/10.3182/20100830-3-DE-4013.00017},
doi = {10.3182/20100830-3-DE-4013.00017},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wodes/LimaBLM10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wodes/LopesBSB10,
author = {Gabriel A. D. Lopes and
Ton J. J. van den Boom and
Bart De Schutter and
Robert Babuska},
editor = {J{\"{o}}rg Raisch and
Alessandro Giua and
St{\'{e}}phane Lafortune and
Thomas Moor},
title = {Modeling and control of legged locomotion via switching max-plus systems},
booktitle = {10th International Workshop on Discrete Event Systems, {WODES} 2010,
Berlin, Germany, August 30 - September 01, 2010},
pages = {382--387},
publisher = {International Federation of Automatic Control},
year = {2010},
url = {https://doi.org/10.3182/20100830-3-DE-4013.00063},
doi = {10.3182/20100830-3-DE-4013.00063},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wodes/LopesBSB10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wodes/MagnussonFA10,
author = {Patrik Magnusson and
Martin Fabian and
Knut {\AA}kesson},
editor = {J{\"{o}}rg Raisch and
Alessandro Giua and
St{\'{e}}phane Lafortune and
Thomas Moor},
title = {Modular specification of forbidden states for supervisory control},
booktitle = {10th International Workshop on Discrete Event Systems, {WODES} 2010,
Berlin, Germany, August 30 - September 01, 2010},
pages = {412--417},
publisher = {International Federation of Automatic Control},
year = {2010},
url = {https://doi.org/10.3182/20100830-3-DE-4013.00068},
doi = {10.3182/20100830-3-DE-4013.00068},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wodes/MagnussonFA10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wodes/MangesiusSS10,
author = {Herbert Mangesius and
Marion Sobotka and
Olaf Stursberg},
editor = {J{\"{o}}rg Raisch and
Alessandro Giua and
St{\'{e}}phane Lafortune and
Thomas Moor},
title = {Solution of a multi-agent transport problem by hybrid optimization},
booktitle = {10th International Workshop on Discrete Event Systems, {WODES} 2010,
Berlin, Germany, August 30 - September 01, 2010},
pages = {432--437},
publisher = {International Federation of Automatic Control},
year = {2010},
url = {https://doi.org/10.3182/20100830-3-DE-4013.00071},
doi = {10.3182/20100830-3-DE-4013.00071},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wodes/MangesiusSS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wodes/MarkovskiJBSR10,
author = {Jasen Markovski and
Koen G. M. Jacobs and
Dirk A. van Beek and
Lou J. Somers and
Jacobus E. Rooda},
editor = {J{\"{o}}rg Raisch and
Alessandro Giua and
St{\'{e}}phane Lafortune and
Thomas Moor},
title = {Coordination of resources using generalized state-based requirements},
booktitle = {10th International Workshop on Discrete Event Systems, {WODES} 2010,
Berlin, Germany, August 30 - September 01, 2010},
pages = {287--292},
publisher = {International Federation of Automatic Control},
year = {2010},
url = {https://doi.org/10.3182/20100830-3-DE-4013.00048},
doi = {10.3182/20100830-3-DE-4013.00048},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wodes/MarkovskiJBSR10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wodes/Merlet10,
author = {Glenn Merlet},
editor = {J{\"{o}}rg Raisch and
Alessandro Giua and
St{\'{e}}phane Lafortune and
Thomas Moor},
title = {Asymptotic throughput of stochastic max-plus linear systems},
booktitle = {10th International Workshop on Discrete Event Systems, {WODES} 2010,
Berlin, Germany, August 30 - September 01, 2010},
pages = {388--393},
publisher = {International Federation of Automatic Control},
year = {2010},
url = {https://doi.org/10.3182/20100830-3-DE-4013.00064},
doi = {10.3182/20100830-3-DE-4013.00064},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wodes/Merlet10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wodes/MiremadiALF10,
author = {Sajed Miremadi and
Knut {\AA}kesson and
Bengt Lennartson and
Martin Fabian},
editor = {J{\"{o}}rg Raisch and
Alessandro Giua and
St{\'{e}}phane Lafortune and
Thomas Moor},
title = {Supervisor computation and representation: {A} case study},
booktitle = {10th International Workshop on Discrete Event Systems, {WODES} 2010,
Berlin, Germany, August 30 - September 01, 2010},
pages = {275--280},
publisher = {International Federation of Automatic Control},
year = {2010},
url = {https://doi.org/10.3182/20100830-3-DE-4013.00046},
doi = {10.3182/20100830-3-DE-4013.00046},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wodes/MiremadiALF10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wodes/MoorSP10,
author = {Thomas Moor and
Klaus Schmidt and
Sebastian Perk},
editor = {J{\"{o}}rg Raisch and
Alessandro Giua and
St{\'{e}}phane Lafortune and
Thomas Moor},
title = {Applied supervisory control for a flexible manufacturing system},
booktitle = {10th International Workshop on Discrete Event Systems, {WODES} 2010,
Berlin, Germany, August 30 - September 01, 2010},
pages = {253--258},
publisher = {International Federation of Automatic Control},
year = {2010},
url = {https://doi.org/10.3182/20100830-3-DE-4013.00043},
doi = {10.3182/20100830-3-DE-4013.00043},
timestamp = {Wed, 21 Mar 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/wodes/MoorSP10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wodes/NazeemRWL10,
author = {Ahmed Nazeem and
Spyros A. Reveliotis and
Yin Wang and
St{\'{e}}phane Lafortune},
editor = {J{\"{o}}rg Raisch and
Alessandro Giua and
St{\'{e}}phane Lafortune and
Thomas Moor},
title = {Optimal deadlock avoidance for complex resource allocation systems
through classification theory},
booktitle = {10th International Workshop on Discrete Event Systems, {WODES} 2010,
Berlin, Germany, August 30 - September 01, 2010},
pages = {267--274},
publisher = {International Federation of Automatic Control},
year = {2010},
url = {https://doi.org/10.3182/20100830-3-DE-4013.00045},
doi = {10.3182/20100830-3-DE-4013.00045},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wodes/NazeemRWL10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wodes/NejadAR10,
author = {Behrang Monajemi Nejad and
Sid Ahmed Attia and
J{\"{o}}rg Raisch},
editor = {J{\"{o}}rg Raisch and
Alessandro Giua and
St{\'{e}}phane Lafortune and
Thomas Moor},
title = {Max-consensus in a max-plus algebraic setting: The case of switching
communication topologies},
booktitle = {10th International Workshop on Discrete Event Systems, {WODES} 2010,
Berlin, Germany, August 30 - September 01, 2010},
pages = {173--180},
publisher = {International Federation of Automatic Control},
year = {2010},
url = {https://doi.org/10.3182/20100830-3-DE-4013.00030},
doi = {10.3182/20100830-3-DE-4013.00030},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wodes/NejadAR10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wodes/NkeL10,
author = {Yannick Nke and
Jan Lunze},
editor = {J{\"{o}}rg Raisch and
Alessandro Giua and
St{\'{e}}phane Lafortune and
Thomas Moor},
title = {Fault-tolerant control of nondeterministic input/output automata subject
to actuator faults},
booktitle = {10th International Workshop on Discrete Event Systems, {WODES} 2010,
Berlin, Germany, August 30 - September 01, 2010},
pages = {350--355},
publisher = {International Federation of Automatic Control},
year = {2010},
url = {https://doi.org/10.3182/20100830-3-DE-4013.00058},
doi = {10.3182/20100830-3-DE-4013.00058},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wodes/NkeL10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wodes/PantelicL10,
author = {Vera Pantelic and
Mark Lawford},
editor = {J{\"{o}}rg Raisch and
Alessandro Giua and
St{\'{e}}phane Lafortune and
Thomas Moor},
title = {Use of a metric in supervisory control of probabilistic discrete event
systems},
booktitle = {10th International Workshop on Discrete Event Systems, {WODES} 2010,
Berlin, Germany, August 30 - September 01, 2010},
pages = {217--222},
publisher = {International Federation of Automatic Control},
year = {2010},
url = {https://doi.org/10.3182/20100830-3-DE-4013.00037},
doi = {10.3182/20100830-3-DE-4013.00037},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wodes/PantelicL10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wodes/PenaCML10,
author = {Patr{\'{\i}}cia N. Pena and
Jos{\'{e}} E. R. Cury and
Robi Malik and
St{\'{e}}phane Lafortune},
editor = {J{\"{o}}rg Raisch and
Alessandro Giua and
St{\'{e}}phane Lafortune and
Thomas Moor},
title = {Efficient computation of observer projections using OP-verifiers},
booktitle = {10th International Workshop on Discrete Event Systems, {WODES} 2010,
Berlin, Germany, August 30 - September 01, 2010},
pages = {406--411},
publisher = {International Federation of Automatic Control},
year = {2010},
url = {https://doi.org/10.3182/20100830-3-DE-4013.00067},
doi = {10.3182/20100830-3-DE-4013.00067},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wodes/PenaCML10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wodes/ProvostRF10,
author = {Julien Provost and
Jean{-}Marc Roussel and
Jean{-}Marc Faure},
editor = {J{\"{o}}rg Raisch and
Alessandro Giua and
St{\'{e}}phane Lafortune and
Thomas Moor},
title = {SIC-testability of sequential logic controllers},
booktitle = {10th International Workshop on Discrete Event Systems, {WODES} 2010,
Berlin, Germany, August 30 - September 01, 2010},
pages = {193--198},
publisher = {International Federation of Automatic Control},
year = {2010},
url = {https://doi.org/10.3182/20100830-3-DE-4013.00033},
doi = {10.3182/20100830-3-DE-4013.00033},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wodes/ProvostRF10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wodes/RaischMBGN10,
author = {J{\"{o}}rg Raisch and
Thomas Moor and
Naim Baj{\c{c}}inca and
Stephanie Geist and
Vladislav Nenchev},
editor = {J{\"{o}}rg Raisch and
Alessandro Giua and
St{\'{e}}phane Lafortune and
Thomas Moor},
title = {Distributed state estimation for hybrid and discrete event systems
using l-complete approximations},
booktitle = {10th International Workshop on Discrete Event Systems, {WODES} 2010,
Berlin, Germany, August 30 - September 01, 2010},
pages = {129--134},
publisher = {International Federation of Automatic Control},
year = {2010},
url = {https://doi.org/10.3182/20100830-3-DE-4013.00023},
doi = {10.3182/20100830-3-DE-4013.00023},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wodes/RaischMBGN10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wodes/SabooriH10,
author = {Anooshiravan Saboori and
Christoforos N. Hadjicostis},
editor = {J{\"{o}}rg Raisch and
Alessandro Giua and
St{\'{e}}phane Lafortune and
Thomas Moor},
title = {Reduced-complexity verification for initial-state opacity in modular
discrete event systems},
booktitle = {10th International Workshop on Discrete Event Systems, {WODES} 2010,
Berlin, Germany, August 30 - September 01, 2010},
pages = {78--83},
publisher = {International Federation of Automatic Control},
year = {2010},
url = {https://doi.org/10.3182/20100830-3-DE-4013.00015},
doi = {10.3182/20100830-3-DE-4013.00015},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wodes/SabooriH10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wodes/SaconeS10,
author = {Simona Sacone and
Silvia Siri},
editor = {J{\"{o}}rg Raisch and
Alessandro Giua and
St{\'{e}}phane Lafortune and
Thomas Moor},
title = {Optimal vendor-managed inventory policies in distribution systems
with discrete-event processes},
booktitle = {10th International Workshop on Discrete Event Systems, {WODES} 2010,
Berlin, Germany, August 30 - September 01, 2010},
pages = {444--449},
publisher = {International Federation of Automatic Control},
year = {2010},
url = {https://doi.org/10.3182/20100830-3-DE-4013.00073},
doi = {10.3182/20100830-3-DE-4013.00073},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/wodes/SaconeS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wodes/Schmidt10,
author = {Klaus Werner Schmidt},
editor = {J{\"{o}}rg Raisch and
Alessandro Giua and
St{\'{e}}phane Lafortune and
Thomas Moor},
title = {Computation of projections for the abstraction-based diagnosability
verification},
booktitle = {10th International Workshop on Discrete Event Systems, {WODES} 2010,
Berlin, Germany, August 30 - September 01, 2010},
pages = {199--204},
publisher = {International Federation of Automatic Control},
year = {2010},
url = {https://doi.org/10.3182/20100830-3-DE-4013.00034},
doi = {10.3182/20100830-3-DE-4013.00034},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wodes/Schmidt10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wodes/SchmidtQC10,
author = {Klaus Werner Schmidt and
Max Hering de Queiroz and
Jos{\'{e}} E. R. Cury},
editor = {J{\"{o}}rg Raisch and
Alessandro Giua and
St{\'{e}}phane Lafortune and
Thomas Moor},
title = {Hierarchical multitasking control of discrete event systems: Computation
of projections and maximal permissiveness},
booktitle = {10th International Workshop on Discrete Event Systems, {WODES} 2010,
Berlin, Germany, August 30 - September 01, 2010},
pages = {98--103},
publisher = {International Federation of Automatic Control},
year = {2010},
url = {https://doi.org/10.3182/20100830-3-DE-4013.00018},
doi = {10.3182/20100830-3-DE-4013.00018},
timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/wodes/SchmidtQC10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wodes/Shang10,
author = {Ying Shang},
editor = {J{\"{o}}rg Raisch and
Alessandro Giua and
St{\'{e}}phane Lafortune and
Thomas Moor},
title = {A frequency-domain approach for max-plus linear systems},
booktitle = {10th International Workshop on Discrete Event Systems, {WODES} 2010,
Berlin, Germany, August 30 - September 01, 2010},
pages = {394--399},
publisher = {International Federation of Automatic Control},
year = {2010},
url = {https://doi.org/10.3182/20100830-3-DE-4013.00065},
doi = {10.3182/20100830-3-DE-4013.00065},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wodes/Shang10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wodes/ShuHL10,
author = {Shaolong Shu and
Zhiqiang Huang and
Feng Lin},
editor = {J{\"{o}}rg Raisch and
Alessandro Giua and
St{\'{e}}phane Lafortune and
Thomas Moor},
title = {On-line detection and sensor activation for discrete event systems},
booktitle = {10th International Workshop on Discrete Event Systems, {WODES} 2010,
Berlin, Germany, August 30 - September 01, 2010},
pages = {187--192},
publisher = {International Federation of Automatic Control},
year = {2010},
url = {https://doi.org/10.3182/20100830-3-DE-4013.00032},
doi = {10.3182/20100830-3-DE-4013.00032},
timestamp = {Fri, 31 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wodes/ShuHL10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wodes/SpacekK10,
author = {Pavel Spacek and
Jan Komenda},
editor = {J{\"{o}}rg Raisch and
Alessandro Giua and
St{\'{e}}phane Lafortune and
Thomas Moor},
title = {Modeling of interval P-time Petri nets using dioid algebra},
booktitle = {10th International Workshop on Discrete Event Systems, {WODES} 2010,
Berlin, Germany, August 30 - September 01, 2010},
pages = {312--317},
publisher = {International Federation of Automatic Control},
year = {2010},
url = {https://doi.org/10.3182/20100830-3-DE-4013.00052},
doi = {10.3182/20100830-3-DE-4013.00052},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wodes/SpacekK10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wodes/Takai10,
author = {Shigemasa Takai},
editor = {J{\"{o}}rg Raisch and
Alessandro Giua and
St{\'{e}}phane Lafortune and
Thomas Moor},
title = {Robust failure diagnosis of partially observed discrete event systems},
booktitle = {10th International Workshop on Discrete Event Systems, {WODES} 2010,
Berlin, Germany, August 30 - September 01, 2010},
pages = {205--210},
publisher = {International Federation of Automatic Control},
year = {2010},
url = {https://doi.org/10.3182/20100830-3-DE-4013.00035},
doi = {10.3182/20100830-3-DE-4013.00035},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wodes/Takai10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wodes/TaringooC10,
author = {Farzin Taringoo and
Peter E. Caines},
editor = {J{\"{o}}rg Raisch and
Alessandro Giua and
St{\'{e}}phane Lafortune and
Thomas Moor},
title = {On the geometry of switching manifolds for autonomous hybrid systems},
booktitle = {10th International Workshop on Discrete Event Systems, {WODES} 2010,
Berlin, Germany, August 30 - September 01, 2010},
pages = {35--40},
publisher = {International Federation of Automatic Control},
year = {2010},
url = {https://doi.org/10.3182/20100830-3-DE-4013.00008},
doi = {10.3182/20100830-3-DE-4013.00008},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wodes/TaringooC10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wodes/TwuME10,
author = {Philip Twu and
Patrick Martin and
Magnus Egerstedt},
editor = {J{\"{o}}rg Raisch and
Alessandro Giua and
St{\'{e}}phane Lafortune and
Thomas Moor},
title = {Graph process specifications for hybrid networked systems},
booktitle = {10th International Workshop on Discrete Event Systems, {WODES} 2010,
Berlin, Germany, August 30 - September 01, 2010},
pages = {65--70},
publisher = {International Federation of Automatic Control},
year = {2010},
url = {https://doi.org/10.3182/20100830-3-DE-4013.00013},
doi = {10.3182/20100830-3-DE-4013.00013},
timestamp = {Mon, 20 Nov 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/wodes/TwuME10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wodes/VazquezS10,
author = {Carlos Renato V{\'{a}}zquez and
Manuel Silva Su{\'{a}}rez},
editor = {J{\"{o}}rg Raisch and
Alessandro Giua and
St{\'{e}}phane Lafortune and
Thomas Moor},
title = {Timing-dependent boundedness and liveness in continuous Petri nets},
booktitle = {10th International Workshop on Discrete Event Systems, {WODES} 2010,
Berlin, Germany, August 30 - September 01, 2010},
pages = {7--14},
publisher = {International Federation of Automatic Control},
year = {2010},
url = {https://doi.org/10.3182/20100830-3-DE-4013.00004},
doi = {10.3182/20100830-3-DE-4013.00004},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wodes/VazquezS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wodes/WangCLNKLMR10,
author = {Yin Wang and
Hyoun Kyu Cho and
Hongwei Liao and
Ahmed Nazeem and
Terence Kelly and
St{\'{e}}phane Lafortune and
Scott A. Mahlke and
Spyros A. Reveliotis},
editor = {J{\"{o}}rg Raisch and
Alessandro Giua and
St{\'{e}}phane Lafortune and
Thomas Moor},
title = {Supervisory control of software execution for failure avoidance: Experience
from the Gadara project},
booktitle = {10th International Workshop on Discrete Event Systems, {WODES} 2010,
Berlin, Germany, August 30 - September 01, 2010},
pages = {259--266},
publisher = {International Federation of Automatic Control},
year = {2010},
url = {https://doi.org/10.3182/20100830-3-DE-4013.00044},
doi = {10.3182/20100830-3-DE-4013.00044},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wodes/WangCLNKLMR10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wodes/WareM10,
author = {Simon Ware and
Robi Malik},
editor = {J{\"{o}}rg Raisch and
Alessandro Giua and
St{\'{e}}phane Lafortune and
Thomas Moor},
title = {Compositional nonblocking verification using annotated automata},
booktitle = {10th International Workshop on Discrete Event Systems, {WODES} 2010,
Berlin, Germany, August 30 - September 01, 2010},
pages = {364--369},
publisher = {International Federation of Automatic Control},
year = {2010},
url = {https://doi.org/10.3182/20100830-3-DE-4013.00060},
doi = {10.3182/20100830-3-DE-4013.00060},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wodes/WareM10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wodes/WhittakerRMH10,
author = {Sarah{-}Jane Whittaker and
Karen Rudie and
P. James McLellan and
Stefan Haar},
editor = {J{\"{o}}rg Raisch and
Alessandro Giua and
St{\'{e}}phane Lafortune and
Thomas Moor},
title = {Augmenting Petri nets to model health-care protocols},
booktitle = {10th International Workshop on Discrete Event Systems, {WODES} 2010,
Berlin, Germany, August 30 - September 01, 2010},
pages = {331--336},
publisher = {International Federation of Automatic Control},
year = {2010},
url = {https://doi.org/10.3182/20100830-3-DE-4013.00055},
doi = {10.3182/20100830-3-DE-4013.00055},
timestamp = {Fri, 22 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/wodes/WhittakerRMH10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wodes/YaoC10,
author = {Chen Yao and
Christos G. Cassandras},
editor = {J{\"{o}}rg Raisch and
Alessandro Giua and
St{\'{e}}phane Lafortune and
Thomas Moor},
title = {Perturbation analysis of stochastic hybrid systems and applications
to some non-cooperative games},
booktitle = {10th International Workshop on Discrete Event Systems, {WODES} 2010,
Berlin, Germany, August 30 - September 01, 2010},
pages = {59--64},
publisher = {International Federation of Automatic Control},
year = {2010},
url = {https://doi.org/10.3182/20100830-3-DE-4013.00012},
doi = {10.3182/20100830-3-DE-4013.00012},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wodes/YaoC10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wodes/YeD10,
author = {Lina Ye and
Philippe Dague},
editor = {J{\"{o}}rg Raisch and
Alessandro Giua and
St{\'{e}}phane Lafortune and
Thomas Moor},
title = {An optimized algorithm for diagnosability of component-based systems},
booktitle = {10th International Workshop on Discrete Event Systems, {WODES} 2010,
Berlin, Germany, August 30 - September 01, 2010},
pages = {143--148},
publisher = {International Federation of Automatic Control},
year = {2010},
url = {https://doi.org/10.3182/20100830-3-DE-4013.00025},
doi = {10.3182/20100830-3-DE-4013.00025},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wodes/YeD10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wodes/Yen10,
author = {Hsu{-}Chun Yen},
editor = {J{\"{o}}rg Raisch and
Alessandro Giua and
St{\'{e}}phane Lafortune and
Thomas Moor},
title = {On almost-sure properties of probabilistic discrete event systems},
booktitle = {10th International Workshop on Discrete Event Systems, {WODES} 2010,
Berlin, Germany, August 30 - September 01, 2010},
pages = {223--228},
publisher = {International Federation of Automatic Control},
year = {2010},
url = {https://doi.org/10.3182/20100830-3-DE-4013.00038},
doi = {10.3182/20100830-3-DE-4013.00038},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wodes/Yen10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wodes/ZhangBKT10,
author = {Yan Zhang and
B{\'{e}}atrice B{\'{e}}rard and
Fabrice Kordon and
Yann Thierry{-}Mieg},
editor = {J{\"{o}}rg Raisch and
Alessandro Giua and
St{\'{e}}phane Lafortune and
Thomas Moor},
title = {Automated controllability and synthesis with hierarchical set decision
diagrams},
booktitle = {10th International Workshop on Discrete Event Systems, {WODES} 2010,
Berlin, Germany, August 30 - September 01, 2010},
pages = {281--286},
publisher = {International Federation of Automatic Control},
year = {2010},
url = {https://doi.org/10.3182/20100830-3-DE-4013.00047},
doi = {10.3182/20100830-3-DE-4013.00047},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wodes/ZhangBKT10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/wodes/2010,
editor = {J{\"{o}}rg Raisch and
Alessandro Giua and
St{\'{e}}phane Lafortune and
Thomas Moor},
title = {10th International Workshop on Discrete Event Systems, {WODES} 2010,
Berlin, Germany, August 30 - September 01, 2010},
publisher = {International Federation of Automatic Control},
year = {2010},
url = {http://www.ifac-papersonline.net/Discrete\_Event\_Systems/10th\_International\_Workshop\_on\_Discrete\_Event\_Systems\_\_2010\_/index.html},
isbn = {978-3-902661-79-1},
timestamp = {Thu, 27 Nov 2014 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/wodes/2010.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.
retrieved on 2024-06-02 11:24 CEST from data curated 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:
