- 2012
- Enrique Aguayo-Lara, Antonio Ramírez-Treviño
, Javier Ruiz-León:
Sensor placement for distinguishability in continuous timed Petri nets. WODES 2012: 34-40 - Enrique Aguayo-Lara, Roberto Ross-León, Antonio Ramírez-Treviño, Javier Ruiz-León:
On/off control with observer's state feedback for continuous timed Petri nets. WODES 2012: 221-226 - Farah Aït-Salaht, Johanne Cohen, Hind Castel-Taleb, Jean-Michel Fourneau, Nihal Pekergin:
Accuracy vs. complexity: The stochastic bound approach. WODES 2012: 343-348 - Roberto Bacos, José E. R. Cury, Radouane Kara, Jean Jacques Loiseau:
Supervisory control of Petri nets using polyhedral regions. WODES 2012: 193-200 - Christine Baier, Thomas Moor:
A hierarchical control architecture for sequential behaviours. WODES 2012: 259-264 - Fabio L. Baldissera, José E. R. Cury:
Application of supervisory control theory to guide cellular dynamics. WODES 2012: 384-389 - Francesco Basile, Pasquale Chiacchio, Jolanda Coppola:
Active identification of Petri net models. WODES 2012: 278-285 - Francesco Basile, Pasquale Chiacchio, Gianmaria De Tommasi:
Decentralized κ-diagnosability of Petri nets. WODES 2012: 214-220 - Sonia Batis, Hassane Alla:
Maximal permissive timed control for a class of hybrid systems. WODES 2012: 157-162 - Sebastian Biallas, Stefan Kowalewski, Bastian Schlich:
Range and value-set analysis for programmable logic controllers. WODES 2012: 378-383 - Hanifa Boucheneb, Adrien Bullich, Olivier H. Roux:
FIFO time Petri nets for conflicts handling. WODES 2012: 143-148 - Rabah Boukra, Sébastien Lahaye, Jean-Louis Boimond:
New representations for (max, +) automata with applications to the performance evaluation of discrete event systems. WODES 2012: 116-121 - Hugo J. Bravo, Antonio Eduardo Carrilho da Cunha, Patrícia Nascimento Pena, Robi Malik, José E. R. Cury:
Generalised verification of the observer property in discrete event systems. WODES 2012: 337-342 - Maria Paola Cabasino, Stéphane Lafortune, Carla Seatzu:
Optimal sensor selection for ensuring diagnosability in labeled bounded Petri nets. WODES 2012: 208-213 - Kai Cai, Walter Murray Wonham:
New results on supervisor localization, with application to multi-agent formations. WODES 2012: 233-238 - Sébastien Chédor, Christophe Morvan, Sophie Pinchinat, Hervé Marchand:
Analysis of partially observed recursive tile systems. WODES 2012: 265-271 - Leonardo B. Clavijo, João Carlos Basilio, Lilian Kawakami Carvalho:
DESLAB: A scientific computing program for analysis and synthesis of discrete-event systems. WODES 2012: 349-355 - José E. R. Cury, Fabio L. Baldissera:
Some perspectives and challenges in the (discrete) control of cellular systems. WODES 2012: 1-3 - José E. R. Cury, Jean Jacques Loiseau, Claude Martinez, Max Hering de Queiroz:
Using max-plus to solve the job shop problem with time lags. WODES 2012: 67-72 - Philippe Darondeau:
Enforcing opacity of regular predicates on modal transition systems. WODES 2012: 331-336 - Xavier David-Henriet, Thomas Brunsch, Jörg Raisch, Laurent Hardouin:
Stock reduction for timed event graphs based on output feedback. WODES 2012: 85-90 - Isabel Demongodin, Alessandro Giua:
Stationary behavior of controlled generalized batches Petri nets. WODES 2012: 54-60 - Mustafa Seçkin Durmus, Ugur Yildirim, Mehmet Turan Söylemez:
Interlocking system design for ERTMS/ETCS: An approach with batches Petri nets. WODES 2012: 110-115 - Maria Pia Fanti, Giorgio Iacobellis, Walter Ukovich:
A decision support system for risk evaluation of HAZMAT transportation in motorways. WODES 2012: 98-103 - Estíbaliz Fraca, Jorge Júlvez, Manuel Silva Suárez:
Marking homothetic monotonicity and fluidization of untimed Petri nets. WODES 2012: 21-27 - Yanfeng Geng, Christos G. Cassandras:
Multi-intersection traffic light control using infinitesimal perturbation analysis. WODES 2012: 104-109 - Vinicius Mariano Gonçalves, Carlos Andrey Maia, Laurent Hardouin:
On the solution of max-plus linear equations with application on the control of TEGs. WODES 2012: 91-97 - Yongliang Huang, Thomas Bourdeaud'huy, Pierre-Alain Yvars, Armand Toguyéni:
A constraint programming approach for generating firing sequences in timed Petri nets with token identification. WODES 2012: 149-156 - Loïg Jezequel, Eric Fabre:
Turbo planning. WODES 2012: 301-306 - Qing-Shan Jia, Li Xia:
Approximate event-based optimization for evacuation. WODES 2012: 372-377
