Problematic configurations and choice-join pairs on Mono-T-Semiflow nets: towards the characterization of behavior-structural properties Manuel Navarro-GutiƩrrezJaime A. Fraustro-ValdezManuel Silva OriginalPaper 19 February 2020 Pages: 175 - 209
Synthesis of least restrictive controllable supervisors for extended finite-state machines with variable abstraction Robi MalikMarcelo Teixeira OriginalPaper 21 March 2020 Pages: 211 - 241
Information control in networked discrete event systems and its application to battery management systems Feng LinLe Yi WangFei Wang OriginalPaper 01 February 2020 Pages: 243 - 268
Modelling and control of periodic time-variant event graphs in dioids Johannes TrunkBertrand CottenceauJoerg Raisch OriginalPaper 22 February 2020 Pages: 269 - 300
On the computation of counterexamples in compositional nonblocking verification Robi MalikSimon Ware OriginalPaper 26 February 2020 Pages: 301 - 334
Arborescent architecture for decentralized diagnosis of discrete event systems Ahmed Khoumsi OriginalPaper 12 March 2020 Pages: 335 - 375
Correction to: Arborescent architecture for decentralized diagnosis of discrete event systems Ahmed Khoumsi Correction 15 May 2020 Pages: 377 - 379