1. Epistemic interpretations of decentralized discrete-event system problems

   • K. Ritsuka
   • Karen Rudie

   OriginalPaper 22 June 2022 Pages: 359 - 398

   

2. Diagnosability verification using LTL model checking

   • Thiago M. Tuxi
   • Lilian K. Carvalho
   • Antonio E. C. da Cunha

   OriginalPaper 04 April 2022 Pages: 399 - 433

   

3. Detectability of labeled weighted automata over monoids

   • Kuize Zhang

   OriginalPaper Open access 23 May 2022 Pages: 435 - 494

   

4. Observation-assisted heuristic synthesis of covert attackers against unknown supervisors

   • Liyong Lin
   • Ruochen Tai
   • Rong Su

   OriginalPaper 09 March 2022 Pages: 495 - 520

   

5. Max-plus steady states in discrete event dynamic systems with inexact data

   • Helena Myšková
   • Ján Plavka

   OriginalPaper 07 April 2022 Pages: 521 - 538

6. Correction to: Probabilistic state estimation for labeled continuous time Markov models with applications to attack detection

   • Dimitri Lefebvre
   • Carla Seatzu
   • Alessandro Giua

   Correction 20 June 2022 Pages: 539 - 544