| 373 | -- | 394 | Lucas V. R. Alves, Gustavo C. Rafael, Lucas S. Batista, Patrícia N. Pena. A multi-objective approach for manufacturing systems with multiple production routes based on supervisory control theory and heuristic algorithms |
| 395 | -- | 424 | Rômulo Meira-Góes, Eunsuk Kang, Stéphane Lafortune, Stavros Tripakis. On tolerance of discrete systems with respect to transition perturbations |
| 425 | -- | 453 | Elzbieta Roszkowska, Piotr Makowski-Czerski, Lukasz Janiec. Multi-level control for multiple mobile robot systems |
| 455 | -- | 505 | Albert Benveniste, Jean-Baptiste Raclet. Mixed Nondeterministic-Probabilistic Automata |
| 507 | -- | 0 | Yingxuan Yin, Yuegang Tao, Cailu Wang, Haiyong Chen. Correction to: Local and global robustness with q-step delay for max-plus linear systems |
| 509 | -- | 513 | Sander Thuijsman, Michel A. Reniers. Correction to: Transformational supervisor synthesis for evolving systems |