Generation of mathematical programming representations for discrete event simulation models of timed petri nets Mengyi ZhangArianna AlfieriAndrea Matta OriginalPaper Open access 06 December 2023 Pages: 1 - 19
Conflict-free electric vehicle routing problem: an improved compositional algorithm Sabino Francesco RoselliMartin FabianKnut Åkesson OriginalPaper Open access 18 December 2023 Pages: 21 - 51
Analysis and control of timed event graphs in (max,+) algebra for the active localization of time failures Ibis VelasquezYannick PencoléEuriell Le Corronc OriginalPaper 16 January 2024 Pages: 53 - 93
\(\pi \)HyFlow: formalism, semantics, and applications Fernando Barros Manuscript Open access 24 January 2024 Pages: 95 - 124
Compositional non-blockingness verification of finite automata with prioritised events Yiheng TangThomas Moor OriginalPaper Open access 25 January 2024 Pages: 125 - 161
A modular synthesis approach for the coordination of multi-agent systems: the multiple team case Marcelo RosaJosé E. R. CuryFabio L. Baldissera OriginalPaper 26 January 2024 Pages: 163 - 198
Switched max-plus linear-dual inequalities: cycle time analysis and applications Davide ZorzenonJan KomendaJörg Raisch OriginalPaper Open access 01 February 2024 Pages: 199 - 250
Cycle times in D/D/S series queues with single multi-server bottlenecks Lonnie Turpin Jr.Morgan Turpin OriginalPaper 03 February 2024 Pages: 251 - 268
