default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDDiscrete 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
Volume 34, Number 4, December 2024
- Takumi Hamada, Shigemasa Takai:
Reliable decentralized failure diagnosis of discrete event systems using single-level inference. 497-537 - Christopher Jun-Wen Chew, Robi Malik, Vimal Kumar, Panos Patros:
Automatic detection of Android crypto ransomware using supervisor reduction. 539-571 - Roohallah Azarmi, Mohsen Alirezaei, Dip Goswami, Twan Basten:
Tracking dynamic deadlines in switched max-plus linear systems with uncontrollable workloads. 573-604 - Wan J. Fokkink, Martijn A. Goorden:
Offline supervisory control synthesis: taxonomy and recent developments. 605-657 - Rubén Blancas-Rivera, Héctor Jasso-Fuentes:
Discrete-time hybrid control with risk-sensitive discounted costs. 659-687 - Sander Thuijsman, Dennis Hendriks, Michel A. Reniers:
Reducing the computational effort of symbolic supervisor synthesis. 689-732
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.
last updated on 2025-03-11 19:50 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
