Extending the network calculus algorithmic toolbox for ultimately pseudo-periodic functions: pseudo-inverse and composition Raffaele ZippoPaul NikolausGiovanni Stea OriginalPaper Open access 18 August 2023 Pages: 181 - 219
Average criteria in denumerable semi-Markov decision chains under risk-aversion Rolando Cavazos-CadenaHugo Cruz-SuárezRaúl Montes-De-Oca OriginalPaper 21 August 2023 Pages: 221 - 256
Do what you know: coupling knowledge with action in discrete-event systems K. RitsukaK. Rudie OriginalPaper 21 August 2023 Pages: 257 - 277
A survey on compositional algorithms for verification and synthesis in supervisory control Robi MalikSahar MohajeraniMartin Fabian OriginalPaper Open access 21 August 2023 Pages: 279 - 340
Modeling and analysis of switching max-plus linear systems with discrete-event feedback Alireza MohamadkhaniMarc GeilenTwan Basten OriginalPaper Open access 29 August 2023 Pages: 341 - 372