- Aleksandra Jovanovic, Sébastien Faucou
, Didier Lime, Olivier H. Roux:
Real-time control with parametric timed reachability games. WODES 2012: 323-330 - Görkem Kilinç, Igor Nai Fovino, Carlo Ferigato, Ahmet Koltuksuz:
A model of distributed key generation for industrial control systems. WODES 2012: 356-363 - Katsuyuki Kimura, Masashi Nomura, Shigemasa Takai:
Bisimilarity enforcing supervisory control of nondeterministic systems under event and state observations. WODES 2012: 169-174 - Marius Kloetzer, Cristian Mahulea:
LTL planning in dynamic environments. WODES 2012: 294-300 - Jan Komenda, Sébastien Lahaye, Jean-Louis Boimond:
Decentralized control of product (max+)-automata using coinduction. WODES 2012: 122-127 - Jan Komenda, Tomás Masopust, Jan H. van Schuppen:
On algorithms and extensions of coordination control of discrete-event systems. WODES 2012: 245-250 - Sébastien Lahaye, Jan Komenda, Jean-Louis Boimond:
Compositions of (max, +) automata. WODES 2012: 61-66 - Mehdi Lhommeau, Luc Jaulin, Laurent Hardouin:
A non-linear set-membership approach for the control of discrete event systems. WODES 2012: 73-78 - Ding Liu, Kamel Barkaoui, MengChu Zhou:
On intrinsically live structure of a class of generalized Petri nets modeling FMS. WODES 2012: 187-192 - 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. WODES 2012: 79-84 - Alberto Lutz-Ley, Ernesto López-Mellado:
Recoverability analysis of controlled discrete event systems modelled by a class of Petri nets. WODES 2012: 201-207 - Robi Malik, Ryan J. Leduc:
Hierarchical interface-based supervisory control using the conflict preorder. WODES 2012: 163-168 - Jasen Markovski:
Coarsest controllability-preserving plant minimization. WODES 2012: 251-258 - Anna-Lena Meyer:
Discontinuity induced bifurcations in timed continuous Petri nets. WODES 2012: 28-33 - Sahar Mohajerani, Robi Malik, Martin Fabian:
An algorithm for weak synthesis observation equivalence for compositional supervisor synthesis. WODES 2012: 239-244 - Thomas Moor, Christine Baier, Tae-Sic Yoo, Feng Lin, Stéphane Lafortune:
On the computation of supremal sublanguages relevant to supervisory control. WODES 2012: 175-180 - Ahmed Nazeem, Spyros A. Reveliotis:
Maximally permissive deadlock avoidance for resource allocation systems with R/W-locks. WODES 2012: 286-293 - Antonio Ramírez-Treviño, Ernesto López-Mellado, Jean-Jacques Lesage, Manuel Silva Suárez:
Preface. WODES 2012: vii-viii - Mingming Ren, Emil Dumitrescu, Laurent Piétrac, Éric Niel:
Incremental discrete controller synthesis for communicating systems based on modular decomposition. WODES 2012: 315-322 - Kurt Rohloff:
Bounded sensor failure tolerant supervisory control. WODES 2012: 272-277 - Jean-Marc Roussel, Jean-Jacques Lesage:
Algebraic synthesis of logical controllers despite inconsistencies in specifications. WODES 2012: 307-314 - Md. Waselul Haque Sadid, S. Laurie Ricker, Shahin Hashtrudi-Zad:
Robustness of synchronous communication protocols with bounded delay for decentralized discrete-event control. WODES 2012: 181-186 - Klaus Werner Schmidt:
Computation of supervisors for reconfigurable machine tools. WODES 2012: 227-232 - Manuel Silva:
50 years after the PhD thesis of Carl Adam Petri: A perspective. WODES 2012: 13-20 - Rong Su:
Abstraction-based synthesis of timed supervisors for time-weighted systems. WODES 2012: 128-134 - Carlos Renato Vázquez, Antonio Ramírez-Treviño:
Structural and generic conditions for controllability of timed continuous Petri nets. WODES 2012: 41-46 - Liewei Wang, Cristian Mahulea, Jorge Júlvez, Manuel Silva Suárez:
Control of continuous Petri nets using ON/OFF based method. WODES 2012: 47-53 - Yin Wang, Jason Stanley, Stéphane Lafortune:
Explicit storage and analysis of billions of states using commodity computers. WODES 2012: 364-371 - Yorai Wardi:
Optimal control of switched-mode dynamical systems. WODES 2012: 4-8 - Janan Zaytoon, Moamar Sayed Mouchaweh:
Discussion on fault diagnosis methods of discrete event systems. WODES 2012: 9-12
