• case-insensitive prefix search: default
  e.g., sig matches "SIGIR" as well as "signal"
• exact word search: append dollar sign ($) to word
  e.g., graph$ matches "graph", but not "graphics"
• boolean and: separate words by space
  e.g., codd model
• boolean or: connect words by pipe symbol (|)
  e.g., graph|network

Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.

found 61 matches

• 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

skipping 31 more matches