2010 share record
persistent URL:
Boussad Addad , Saïd Amari , Jean-Jacques Lesage : Linear time-varying (max, +) representation of conflicting timed event graphs. WODES 2010 : 300-305 share record
persistent URL:
Vadim Azhmyakov , Ruben Velazquez , Rosalba Galván-Guerra : Numerically stable approximations of optimal control processes associated with a class of switched systems. WODES 2010 : 41-46 share record
persistent URL:
Miryam Barad , Arkady Cherkassky : Timed Petri nets perspective on weaving processes. WODES 2010 : 438-443 share record
persistent URL:
Francesco Basile , Pasquale Chiacchio , Gianmaria De Tommasi : Diagnosability of labeled Petri nets via integer linear programming. WODES 2010 : 71-77 share record
persistent URL:
Jean-Louis Boimond , Sébastien Lahaye : On proportional controller in (min; +) algebra. WODES 2010 : 149-154 share record
persistent URL:
Kai Bollue , Michaela Slaats , Erika Ábrahám , Wolfgang Thomas , Dirk Abel : Synthesis of behavioral controllers for DES: Increasing efficiency. WODES 2010 : 27-34 share record
persistent URL:
Anne Bouillard , Laurent Jouhet , Eric Thierry : Comparison of different classes of service curves in network calculus. WODES 2010 : 306-311 share record
persistent URL:
Thomas Brunsch , Laurent Hardouin , Jörg Raisch : Control of cyclically operated high-throughput screening systems. WODES 2010 : 167-172 share record
persistent URL:
Maria Paola Cabasino , Alessandro Giua , Andrea Paoli , Carla Seatzu : A new protocol for the decentralized diagnosis of labeled Petri nets. WODES 2010 : 123-128 share record
persistent URL:
Elia E. Cano , Carlos A. Rovetto , José Manuel Colom : An algorithm to compute the minimal siphons in S4PR nets. WODES 2010 : 15-20 share record
persistent URL:
Lilian Kawakami Carvalho , João Carlos Basilio , Marcos Vicente Moreira : Robust diagnosability of discrete event systems subject to intermittent sensor failures. WODES 2010 : 84-89 share record
persistent URL:
Euriell Le Corronc , Bertrand Cottenceau , Laurent Hardouin : Control of uncertain (max, +)-linear systems in order to decrease uncertainty. WODES 2010 : 400-405 share record
persistent URL:
Philippe Darondeau , Jérémy Dubreil , Hervé Marchand : Supervisory control for modal specifications of services. WODES 2010 : 418-425 share record
persistent URL:
Philippe Declerck : Trajectory tracking control of a timed event graph with specifications defined by a P-time event graph: On-line control and off-line preparation. WODES 2010 : 155-160 share record
persistent URL:
Isabel Demongodin , Alessandro Giua : Linear programming techniques for analysis and control of batches Petri nets. WODES 2010 : 1-6 export record
dblp key:
conf/wodes/DumitrescuGMR10 share record
persistent URL:
Emil Dumitrescu , Alain Girault , Hervé Marchand , Éric Rutten : Multicriteria optimal reconfiguration of fault-tolerant real-time tasks. WODES 2010 : 356-363 share record
persistent URL:
Mustafa Seçkin Durmus , Ugur Yildirim , Aysegul Kursun , Mehmet Turan Söylemez : Fail-safe signalization design for a railway yard: A level crossing case. WODES 2010 : 337-342 share record
persistent URL:
Eric Fabre , Loïg Jezequel : On the construction of probabilistic diagnosers. WODES 2010 : 229-234 share record
persistent URL:
Samira S. Farahani , Ton J. J. van den Boom , Hans van der Weide , Bart De Schutter : An approximation approach for model predictive control of stochastic max-plus linear systems. WODES 2010 : 376-381 export record
dblp key:
conf/wodes/ForschelenMSR10 share record
persistent URL:
Stefan T. J. Forschelen , Joanna M. van de Mortel-Fronczak , Rong Su , Jacobus E. Rooda : Application of supervisory control theory to theme park vehicles. WODES 2010 : 293-299 share record
persistent URL:
Alessandro Giua , Carla Seatzu , Yorai Wardi : IPA for continuous Petri nets. WODES 2010 : 47-52 share record
persistent URL:
Jose Cerdeira Gonzalez , Roberto Ortiz Garrido , Antonio Eduardo Carrilho da Cunha : Rotary-wing UAV mission planning aided by supervisory control. WODES 2010 : 324-330 share record
persistent URL:
Lenko Grigorov , Karen Rudie : Techniques for the parametrization of discrete-event system templates. WODES 2010 : 370-375 share record
persistent URL:
Dmitry Gromov , Peter E. Caines : Initial investigations of hybrid thermodynamic control systems with phase transitions. WODES 2010 : 53-58 share record
persistent URL:
Stefan Haar : What topology tells us about diagnosability in partial order semantics. WODES 2010 : 211-216 share record
persistent URL:
Laurent Hardouin , Carlos Andrey Maia , Bertrand Cottenceau , Rafael Santos-Mendes : Max-plus linear observer: Application to manufacturing systems. WODES 2010 : 161-166 export record
dblp key:
conf/wodes/HeidergottVV10 share record
persistent URL:
Bernd Heidergott , Warren Volk-Makarewicz , Felisa J. Vázquez-Abad : Gradient estimation for quantiles of stationary waiting times. WODES 2010 : 241-246 share record
persistent URL:
Donald E. Jarvis : An identification technique for timed event systems. WODES 2010 : 181-186 share record
persistent URL:
Qing-Shan Jia : A rollout method for finite-stage event-based decision processes. WODES 2010 : 247-252 share record
persistent URL:
Jorge Júlvez , Cristian Mahulea : SimHPN: A MATLAB toolbox for continuous Petri nets. WODES 2010 : 21-26