1. Submodular optimization problems and greedy strategies: A survey

   • Yajing Liu
   • Edwin K. P. Chong
   • Zhenliang Zhang

   OriginalPaper 17 February 2020 Pages: 381 - 412

   

2. Privacy and safety analysis of timed stochastic discrete event systems using Markovian trajectory-observers

   • Dimitri Lefebvre
   • Christoforos N. Hadjicostis

   OriginalPaper 12 March 2020 Pages: 413 - 440

   

3. Distributed computation of vector clocks in Petri net unfoldings for test selection

   • Loïg Jezequel
   • Agnes Madalinski
   • Stefan Schwoon

   OriginalPaper 17 March 2020 Pages: 441 - 464

   

4. On detectability of labeled Petri nets and finite automata

   • Kuize Zhang
   • Alessandro Giua

   OriginalPaper Open access 20 March 2020 Pages: 465 - 497

   

5. Modeling for supervisor synthesis – a lock-bridge combination case study

   • Ferdie F. H. Reijnen
   • Martijn A. Goorden
   • Jacobus E. Rooda

   OriginalPaper Open access 30 March 2020 Pages: 499 - 532

   

6. Refinements of behavioural abstractions for the supervisory control of hybrid systems

   • Jung-Min Yang
   • Thomas Moor
   • Jörg Raisch

   OriginalPaper Open access 22 April 2020 Pages: 533 - 560