Decentralized diagnosis of discrete event systems subject to permanent sensor failures Akihito WadaShigemasa Takai OriginalPaper 08 November 2021 Pages: 159 - 193
Parallel decomposition and concurrent satisfaction for heterogeneous multi-robot task and motion planning under temporal logic specifications Huanfei ZhengYue Wang OriginalPaper 27 November 2021 Pages: 195 - 230
Local and global robustness with q-step delay for max-plus linear systems Yingxuan YinYuegang TaoHaiyong Chen OriginalPaper 20 December 2021 Pages: 231 - 251
A general language-based framework for specifying and verifying notions of opacity Andrew WintenbergMatthew BlischkeNecmiye Ozay OriginalPaper 02 February 2022 Pages: 253 - 289
Discovering petri nets including silent transitions. A repairing approach based on structural patterns Román Pomares-AngelinoErnesto López-Mellado OriginalPaper 07 February 2022 Pages: 291 - 315
Transformational supervisor synthesis for evolving systems Sander ThuijsmanMichel Reniers T.C.: Control 2022 Open access 23 February 2022 Pages: 317 - 358