Online first articles

Articles not assigned to an issue 6 articles

1. Epistemic interpretations of decentralized discrete-event system problems

   Authors

   • Richard Ean
   • Karen Rudie

   • Content type: OriginalPaper
   • Published: 22 June 2022

   

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

   Authors (first, second and last of 4)

   • Dimitri Lefebvre
   • Carla Seatzu
   • Alessandro Giua

   • Content type: Correction
   • Published: 20 June 2022

   

3. Detectability of labeled weighted automata over monoids

   Authors

   • Kuize Zhang

   • Content type: OriginalPaper
   • Open Access
   • Published: 23 May 2022

   

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

   Authors

   • Helena Myšková
   • Ján Plavka

   • Content type: OriginalPaper
   • Published: 07 April 2022

5. Diagnosability verification using LTL model checking

   Authors (first, second and last of 4)

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

   • Content type: OriginalPaper
   • Published: 04 April 2022

   This is part of 1 collection:

   • Topical Collection on Control 2022

   

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

   Authors (first, second and last of 4)

   • Liyong Lin
   • Ruochen Tai
   • Rong Su

   • Content type: OriginalPaper
   • Published: 09 March 2022

   This is part of 1 collection:

   • Topical Collection on Cybersecurity