default search action
Discrete Event Dynamic Systems, Volume 34
Volume 34, Number 1, March 2024
- Mengyi Zhang, Arianna Alfieri, Andrea Matta:
Generation of mathematical programming representations for discrete event simulation models of timed petri nets. 1-19 - Sabino Francesco Roselli, Martin Fabian, Knut Åkesson:
Conflict-free electric vehicle routing problem: an improved compositional algorithm. 21-51 - Ibis Velasquez, Yannick Pencolé, Euriell Le Corronc:
Analysis and control of timed event graphs in (max, +) algebra for the active localization of time failures. 53-93 - Fernando J. Barros:
πHyFlow: formalism, semantics, and applications. 95-124 - Yiheng Tang, Thomas Moor:
Compositional non-blockingness verification of finite automata with prioritised events. 125-161 - Marcelo Rosa, José E. R. Cury, Fabio L. Baldissera:
A modular synthesis approach for the coordination of multi-agent systems: the multiple team case. 163-198 - Davide Zorzenon, Jan Komenda, Jörg Raisch:
Switched max-plus linear-dual inequalities: cycle time analysis and applications. 199-250 - Lonnie Turpin, Morgan Turpin:
Cycle times in D/D/S series queues with single multi-server bottlenecks. 251-268
Volume 34, Number 2, June 2024
- Miroslav Ciric, Ivana Micic, Jelena Matejic, Aleksandar Stamenkovic:
Simulations and bisimulations for max-plus automata. 269-295 - Yuki Nishida, Sennosuke Watanabe, Yoshihide Watanabe:
Triangulation of diagonally dominant min-plus matrices. 297-332 - Jihene Rajah, Said Amari, Maher Barkallah, Mohamed Haddar:
An algebraic control method to guarantee generalized marking constraints for partially observable timed event graphs. 333-350 - Philippe Declerck:
Offline analysis of the relaxed upper boundedness for online estimation ofoptimal event sequences in Partially Observable Petri Nets. 351-374 - Anne Bouillard:
MGF-based SNC for stationary independent Markovian processes with localized application of martingales. 375-401
Volume 34, Number 3, September 2024
- Jiazhong Zhou, Dimitri Lefebvre, ZhiWu Li:
An extremum timed extended reachability graph for temporal analysis of time Petri nets. 403-427 - Germano Schafaschek, Laurent Hardouin, Jörg Raisch:
A tropical-algebraic method for the control of timed event graphs with partial synchronization. 429-463 - Feng Lin, Stéphane Lafortune, Caisheng Wang:
Diagnosability and attack detection for discrete event systems under sensor attacks. 465-495
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.