default search action
11. WODES 2012: Guadalajara, Mexico
- Antonio Ramírez-Treviño, Ernesto López-Mellado, Jean-Jacques Lesage, Manuel Silva Suárez:
11th International Workshop on Discrete Event Systems, WODES 2012, Guadalajara, Mexico, October 3-5, 2012. International Federation of Automatic Control 2012, ISBN 978-3-902823-28-1 - Antonio Ramírez-Treviño
, Ernesto López-Mellado, Jean-Jacques Lesage, Manuel Silva Suárez:
Preface. vii-viii - José E. R. Cury, Fabio L. Baldissera:
Some perspectives and challenges in the (discrete) control of cellular systems. 1-3 - Yorai Wardi:
Optimal control of switched-mode dynamical systems. 4-8 - Janan Zaytoon, Moamar Sayed Mouchaweh:
Discussion on fault diagnosis methods of discrete event systems. 9-12 - Manuel Silva:
50 years after the PhD thesis of Carl Adam Petri: A perspective. 13-20 - Estíbaliz Fraca
Marking homothetic monotonicity and fluidization of untimed Petri nets. 21-27 - Anna-Lena Meyer:
Discontinuity induced bifurcations in timed continuous Petri nets. 28-33 - Enrique Aguayo-Lara, Antonio Ramírez-Treviño
Sensor placement for distinguishability in continuous timed Petri nets. 34-40 - Carlos Renato Vázquez, Antonio Ramírez-Treviño
Structural and generic conditions for controllability of timed continuous Petri nets. 41-46 - Liewei Wang, Cristian Mahulea, Jorge Júlvez, Manuel Silva Suárez:
Control of continuous Petri nets using ON/OFF based method. 47-53 - Isabel Demongodin
Stationary behavior of controlled generalized batches Petri nets. 54-60 - Sébastien Lahaye, Jan Komenda, Jean-Louis Boimond:
Compositions of (max, +) automata. 61-66 - 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. 67-72 - Mehdi Lhommeau
A non-linear set-membership approach for the control of discrete event systems. 73-78 - Stefan Van Loenhout, Ton J. J. van den Boom, Samira S. Farahani, Bart De Schutter:
Model predictive control for stochastic switching max-plus-linear systems. 79-84 - Xavier David-Henriet, Thomas Brunsch, Jörg Raisch, Laurent Hardouin:
Stock reduction for timed event graphs based on output feedback. 85-90 - Vinicius Mariano Gonçalves, Carlos Andrey Maia, Laurent Hardouin:
On the solution of max-plus linear equations with application on the control of TEGs. 91-97 - Maria Pia Fanti, Giorgio Iacobellis, Walter Ukovich:
A decision support system for risk evaluation of HAZMAT transportation in motorways. 98-103 - Yanfeng Geng, Christos G. Cassandras
Multi-intersection traffic light control using infinitesimal perturbation analysis. 104-109 - Mustafa Seçkin Durmus
Interlocking system design for ERTMS/ETCS: An approach with batches Petri nets. 110-115 - Rabah Boukra, Sébastien Lahaye, Jean-Louis Boimond:
New representations for (max, +) automata with applications to the performance evaluation of discrete event systems. 116-121 - Jan Komenda, Sébastien Lahaye, Jean-Louis Boimond:
Decentralized control of product (max+)-automata using coinduction. 122-127 - Rong Su
Abstraction-based synthesis of timed supervisors for time-weighted systems. 128-134 - Hanifa Boucheneb, Adrien Bullich, Olivier H. Roux:
FIFO time Petri nets for conflicts handling. 143-148 - 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. 149-156 - Sonia Batis, Hassane Alla:
Maximal permissive timed control for a class of hybrid systems. 157-162 - Robi Malik, Ryan J. Leduc:
Hierarchical interface-based supervisory control using the conflict preorder. 163-168 - Katsuyuki Kimura, Masashi Nomura, Shigemasa Takai:
Bisimilarity enforcing supervisory control of nondeterministic systems under event and state observations. 169-174 - Thomas Moor, Christine Baier, Tae-Sic Yoo
On the computation of supremal sublanguages relevant to supervisory control. 175-180 - Md. Waselul Haque Sadid, S. Laurie Ricker, Shahin Hashtrudi-Zad:
Robustness of synchronous communication protocols with bounded delay for decentralized discrete-event control. 181-186 - Ding Liu, Kamel Barkaoui, MengChu Zhou:
On intrinsically live structure of a class of generalized Petri nets modeling FMS. 187-192 - Roberto Bacos, José E. R. Cury, Radouane Kara
Supervisory control of Petri nets using polyhedral regions. 193-200 - Alberto Lutz-Ley, Ernesto López-Mellado:
Recoverability analysis of controlled discrete event systems modelled by a class of Petri nets. 201-207 - Maria Paola Cabasino, Stéphane Lafortune
Optimal sensor selection for ensuring diagnosability in labeled bounded Petri nets. 208-213 - Francesco Basile, Pasquale Chiacchio, Gianmaria De Tommasi
Decentralized κ-diagnosability of Petri nets. 214-220 - Enrique Aguayo-Lara, Roberto Ross-León, Antonio Ramírez-Treviño
On/off control with observer's state feedback for continuous timed Petri nets. 221-226 - Klaus Werner Schmidt:
Computation of supervisors for reconfigurable machine tools. 227-232 - Kai Cai
New results on supervisor localization, with application to multi-agent formations. 233-238 - Sahar Mohajerani, Robi Malik, Martin Fabian:
An algorithm for weak synthesis observation equivalence for compositional supervisor synthesis. 239-244 - Jan Komenda, Tomás Masopust
On algorithms and extensions of coordination control of discrete-event systems. 245-250 - Jasen Markovski:
Coarsest controllability-preserving plant minimization. 251-258 - Christine Baier, Thomas Moor:
A hierarchical control architecture for sequential behaviours. 259-264 - Sébastien Chédor, Christophe Morvan, Sophie Pinchinat, Hervé Marchand:
Analysis of partially observed recursive tile systems. 265-271 - Kurt Rohloff
Bounded sensor failure tolerant supervisory control. 272-277 - Francesco Basile, Pasquale Chiacchio, Jolanda Coppola:
Active identification of Petri net models. 278-285 - Ahmed Nazeem, Spyros A. Reveliotis:
Maximally permissive deadlock avoidance for resource allocation systems with R/W-locks. 286-293 - Marius Kloetzer
LTL planning in dynamic environments. 294-300 - Loïg Jezequel
Turbo planning. 301-306 - Jean-Marc Roussel, Jean-Jacques Lesage:
Algebraic synthesis of logical controllers despite inconsistencies in specifications. 307-314 - Mingming Ren, Emil Dumitrescu
Incremental discrete controller synthesis for communicating systems based on modular decomposition. 315-322 - Aleksandra Jovanovic, Sébastien Faucou
Real-time control with parametric timed reachability games. 323-330 - Philippe Darondeau:
Enforcing opacity of regular predicates on modal transition systems. 331-336 - 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. 337-342 - Farah Aït-Salaht, Johanne Cohen, Hind Castel-Taleb, Jean-Michel Fourneau, Nihal Pekergin:
Accuracy vs. complexity: The stochastic bound approach. 343-348 - Leonardo B. Clavijo, João Carlos Basilio
DESLAB: A scientific computing program for analysis and synthesis of discrete-event systems. 349-355 - Görkem Kilinç
A model of distributed key generation for industrial control systems. 356-363 - Yin Wang, Jason Stanley, Stéphane Lafortune
Explicit storage and analysis of billions of states using commodity computers. 364-371 - Qing-Shan Jia
Approximate event-based optimization for evacuation. 372-377 - Sebastian Biallas, Stefan Kowalewski, Bastian Schlich:
Range and value-set analysis for programmable logic controllers. 378-383 - Fabio L. Baldissera, José E. R. Cury:
Application of supervisory control theory to guide cellular dynamics. 384-389
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.
last updated on 2024-11-21 20:35 CET 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: