Epistemic interpretations of decentralized discrete-event system problems K. RitsukaKaren Rudie OriginalPaper 22 June 2022 Pages: 359 - 398
Diagnosability verification using LTL model checking Thiago M. TuxiLilian K. CarvalhoAntonio E. C. da Cunha OriginalPaper 04 April 2022 Pages: 399 - 433
Detectability of labeled weighted automata over monoids Kuize Zhang OriginalPaper Open access 23 May 2022 Pages: 435 - 494
Observation-assisted heuristic synthesis of covert attackers against unknown supervisors Liyong LinRuochen TaiRong Su OriginalPaper 09 March 2022 Pages: 495 - 520
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
Correction to: Probabilistic state estimation for labeled continuous time Markov models with applications to attack detection Dimitri LefebvreCarla SeatzuAlessandro Giua Correction 20 June 2022 Pages: 539 - 544