Submodular optimization problems and greedy strategies: A survey Yajing LiuEdwin K. P. ChongZhenliang Zhang OriginalPaper 17 February 2020 Pages: 381 - 412
Privacy and safety analysis of timed stochastic discrete event systems using Markovian trajectory-observers Dimitri LefebvreChristoforos N. Hadjicostis OriginalPaper 12 March 2020 Pages: 413 - 440
Distributed computation of vector clocks in Petri net unfoldings for test selection Loïg JezequelAgnes MadalinskiStefan Schwoon OriginalPaper 17 March 2020 Pages: 441 - 464
On detectability of labeled Petri nets and finite automata Kuize ZhangAlessandro Giua OriginalPaper Open access 20 March 2020 Pages: 465 - 497
Modeling for supervisor synthesis – a lock-bridge combination case study Ferdie F. H. ReijnenMartijn A. GoordenJacobus E. Rooda OriginalPaper Open access 30 March 2020 Pages: 499 - 532
Refinements of behavioural abstractions for the supervisory control of hybrid systems Jung-Min YangThomas MoorJörg Raisch OriginalPaper Open access 22 April 2020 Pages: 533 - 560