Weakly linear systems for matrices over the max-plus quantale Aleksandar StamenkovićMiroslav ĆirićDragan Djurdjanović OriginalPaper 13 September 2021 Pages: 1 - 25
Interpreted synchronous extension of time Petri nets Karen Godary-DejeanHélène LerouxDavid Andreu OriginalPaper 08 September 2021 Pages: 27 - 64
Probabilistic state estimation for labeled continuous time Markov models with applications to attack detection Dimitri LefebvreCarla SeatzuAlessandro Giua OriginalPaper 08 September 2021 Pages: 65 - 88
Hierarchical planning in a supervisory control context with compositional abstraction Juliana VilelaRichard Hill OriginalPaper Open access 14 September 2021 Pages: 89 - 113
Supervisory controller synthesis and implementation for safety PLCs Ferdie F. H. ReijnenToby R. ErensJacobus E. Rooda OriginalPaper Open access 06 November 2021 Pages: 115 - 141
Discrete-event systems subject to unknown sensor attacks Michel R. C. AlvesPatrícia N. PenaKaren Rudie OriginalPaper 10 December 2021 Pages: 143 - 158