Abstract is missing.
- PrefaceAntonio Ramírez-Treviño, Ernesto López-Mellado, Jean-Jacques Lesage, Manuel Silva. [doi]
- Some perspectives and challenges in the (discrete) control of cellular systemsJosé E. R. Cury, Fabio L. Baldissera. 1-3 [doi]
- Optimal control of switched-mode dynamical systemsYorai Wardi. 4-8 [doi]
- Discussion on fault diagnosis methods of discrete event systemsJanan Zaytoon, Moamar Sayed Mouchaweh. 9-12 [doi]
- 50 years after the PhD thesis of Carl Adam Petri: A perspectiveManuel Silva. 13-20 [doi]
- Marking homothetic monotonicity and fluidization of untimed Petri netsEstíbaliz Fraca, Jorge Júlvez, Manuel Silva. 21-27 [doi]
- Discontinuity induced bifurcations in timed continuous Petri netsAnna-Lena Meyer. 28-33 [doi]
- Sensor placement for distinguishability in continuous timed Petri netsEnrique Aguayo-Lara, Antonio Ramírez-Treviño, Javier Ruiz-León. 34-40 [doi]
- Structural and generic conditions for controllability of timed continuous Petri netsCarlos Renato Vázquez, Antonio Ramírez-Treviño. 41-46 [doi]
- Control of continuous Petri nets using ON/OFF based methodLiewei Wang, Cristian Mahulea, Jorge Júlvez, Manuel Silva. 47-53 [doi]
- Stationary behavior of controlled generalized batches Petri netsIsabel Demongodin, Alessandro Giua. 54-60 [doi]
- Compositions of (max, +) automataSébastien Lahaye, Jan Komenda, Jean-Louis Boimond. 61-66 [doi]
- Using max-plus to solve the job shop problem with time lagsJosé E. R. Cury, Jean Jacques Loiseau, Claude Martinez, Max Hering de Queiroz. 67-72 [doi]
- A non-linear set-membership approach for the control of discrete event systemsMehdi Lhommeau, Luc Jaulin, Laurent Hardouin. 73-78 [doi]
- Model predictive control for stochastic switching max-plus-linear systemsStefan Van Loenhout, Ton J. J. van den Boom, Samira S. Farahani, Bart De Schutter. 79-84 [doi]
- Stock reduction for timed event graphs based on output feedbackXavier David-Henriet, Thomas Brunsch, Jörg Raisch, Laurent Hardouin. 85-90 [doi]
- On the solution of max-plus linear equations with application on the control of TEGsVinicius Mariano Gonçalves, Carlos Andrey Maia, Laurent Hardouin. 91-97 [doi]
- A decision support system for risk evaluation of HAZMAT transportation in motorwaysMaria Pia Fanti, Giorgio Iacobellis, Walter Ukovich. 98-103 [doi]
- Multi-intersection traffic light control using infinitesimal perturbation analysisYanfeng Geng, Christos G. Cassandras. 104-109 [doi]
- Interlocking system design for ERTMS/ETCS: An approach with batches Petri netsMustafa S. Durmus, Ugur Yildirim, Mehmet Turan Söylemez. 110-115 [doi]
- New representations for (max, +) automata with applications to the performance evaluation of discrete event systemsRabah Boukra, Sébastien Lahaye, Jean-Louis Boimond. 116-121 [doi]
- Decentralized control of product (max+)-automata using coinductionJan Komenda, Sébastien Lahaye, Jean-Louis Boimond. 122-127 [doi]
- Abstraction-based synthesis of timed supervisors for time-weighted systemsRong Su. 128-134 [doi]
- FIFO time Petri nets for conflicts handlingHanifa Boucheneb, Adrien Bullich, Olivier H. Roux. 143-148 [doi]
- A constraint programming approach for generating firing sequences in timed Petri nets with token identificationYongliang Huang, Thomas Bourdeaud'huy, Pierre-Alain Yvars, Armand Toguyéni. 149-156 [doi]
- Maximal permissive timed control for a class of hybrid systemsSonia Batis, Hassane Alla. 157-162 [doi]
- Hierarchical interface-based supervisory control using the conflict preorderRobi Malik, Ryan J. Leduc. 163-168 [doi]
- Bisimilarity enforcing supervisory control of nondeterministic systems under event and state observationsKatsuyuki Kimura, Masashi Nomura, Shigemasa Takai. 169-174 [doi]
- On the computation of supremal sublanguages relevant to supervisory controlThomas Moor, Christine Baier, Tae-Sic Yoo, Feng Lin, Stéphane Lafortune. 175-180 [doi]
- Robustness of synchronous communication protocols with bounded delay for decentralized discrete-event controlMd. Waselul Haque Sadid, S. Laurie Ricker, Shahin Hashtrudi-Zad. 181-186 [doi]
- On intrinsically live structure of a class of generalized Petri nets modeling FMSDing Liu, Kamel Barkaoui, MengChu Zhou. 187-192 [doi]
- Supervisory control of Petri nets using polyhedral regionsRoberto Bacos, José E. R. Cury, Radouane Kara, Jean Jacques Loiseau. 193-200 [doi]
- Recoverability analysis of controlled discrete event systems modelled by a class of Petri netsAlberto Lutz-Ley, Ernesto López-Mellado. 201-207 [doi]
- Optimal sensor selection for ensuring diagnosability in labeled bounded Petri netsMaria Paola Cabasino, Stéphane Lafortune, Carla Seatzu. 208-213 [doi]
- Decentralized κ-diagnosability of Petri netsFrancesco Basile, Pasquale Chiacchio, Gianmaria De Tommasi. 214-220 [doi]
- On/off control with observer's state feedback for continuous timed Petri netsEnrique Aguayo-Lara, Roberto Ross-León, Antonio Ramírez-Treviño, Javier Ruiz-León. 221-226 [doi]
- Computation of supervisors for reconfigurable machine toolsKlaus Werner Schmidt. 227-232 [doi]
- New results on supervisor localization, with application to multi-agent formationsKai Cai, W. Murray Wonham. 233-238 [doi]
- An algorithm for weak synthesis observation equivalence for compositional supervisor synthesisSahar Mohajerani, Robi Malik, Martin Fabian. 239-244 [doi]
- On algorithms and extensions of coordination control of discrete-event systemsJan Komenda, Tomás Masopust, Jan H. van Schuppen. 245-250 [doi]
- Coarsest controllability-preserving plant minimizationJasen Markovski. 251-258 [doi]
- A hierarchical control architecture for sequential behavioursChristine Baier, Thomas Moor. 259-264 [doi]
- Analysis of partially observed recursive tile systemsSébastien Chédor, Christophe Morvan, Sophie Pinchinat, Hervé Marchand. 265-271 [doi]
- Bounded sensor failure tolerant supervisory controlKurt Rohloff. 272-277 [doi]
- Active identification of Petri net modelsFrancesco Basile, Pasquale Chiacchio, Jolanda Coppola. 278-285 [doi]
- Maximally permissive deadlock avoidance for resource allocation systems with R/W-locksAhmed Nazeem, Spyros A. Reveliotis. 286-293 [doi]
- LTL planning in dynamic environmentsMarius Kloetzer, Cristian Mahulea. 294-300 [doi]
- Turbo planningLoïg Jezequel, Eric Fabre. 301-306 [doi]
- Algebraic synthesis of logical controllers despite inconsistencies in specificationsJean-Marc Roussel, Jean-Jacques Lesage. 307-314 [doi]
- Incremental discrete controller synthesis for communicating systems based on modular decompositionMingming Ren, Emil Dumitrescu, Laurent Piétrac, Éric Niel. 315-322 [doi]
- Real-time control with parametric timed reachability gamesAleksandra Jovanovic, Sébastien Faucou, Didier Lime, Olivier H. Roux. 323-330 [doi]
- Enforcing opacity of regular predicates on modal transition systemsPhilippe Darondeau. 331-336 [doi]
- Generalised verification of the observer property in discrete event systemsHugo J. Bravo, Antonio Eduardo Carrilho da Cunha, Patrícia Nascimento Pena, Robi Malik, José E. R. Cury. 337-342 [doi]
- Accuracy vs. complexity: The stochastic bound approachFarah Aït-Salaht, Johanne Cohen, Hind Castel-Taleb, Jean-Michel Fourneau, Nihal Pekergin. 343-348 [doi]
- DESLAB: A scientific computing program for analysis and synthesis of discrete-event systemsLeonardo B. Clavijo, João Carlos Basilio, Lilian Kawakami Carvalho. 349-355 [doi]
- A model of distributed key generation for industrial control systemsGörkem Kilinç, Igor Nai Fovino, Carlo Ferigato, Ahmet Koltuksuz. 356-363 [doi]
- Explicit storage and analysis of billions of states using commodity computersYin Wang, Jason Stanley, Stéphane Lafortune. 364-371 [doi]
- Approximate event-based optimization for evacuationQing-Shan Jia, Li Xia. 372-377 [doi]
- Range and value-set analysis for programmable logic controllersSebastian Biallas, Stefan Kowalewski, Bastian Schlich. 378-383 [doi]
- Application of supervisory control theory to guide cellular dynamicsFabio L. Baldissera, José E. R. Cury. 384-389 [doi]