Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/conf/wodes/wodes2010.bht:"
download as .bib file
@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-05-25 05:21 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:
