External Links

    Journal: Discrete Event Dynamic Systems

    Volume 26, Issue 4

    561 -- 581Wassim Mohamed Boussahel, Saïd Amari, Radouane Kara. Analytic evaluation of the cycle time on networked conflicting timed event graphs in the (Max, +) algebra
    583 -- 610Johan Girault, Jean Jacques Loiseau, Olivier H. Roux. On-line compositional controller synthesis for AGV
    611 -- 632Philippe Declerck. Compromise approach for predictive control of Timed Event Graphs with specifications defined by P-time Event Graphs
    633 -- 656Rolando Cavazos-Cadena. A poisson equation for the risk-sensitive average cost in semi-markov chains
    657 -- 668Subiono, Muhammad Syifa'ul Mufid, Dieky Adzkiya. Eigenproblems of latin squares in bipartite (min, max, +)-systems
    669 -- 683Xiao Wu, Junyu Zhang. Finite approximation of the first passage models for discrete-time Markov decision processes with varying discount factors

    Volume 26, Issue 3

    383 -- 411Anne Bouillard, Eric Thierry. Tight performance bounds in the worst-case analysis of feed-forward networks
    413 -- 437Jan Komenda, Sébastien Lahaye, Jean-Louis Boimond. Determinization of timed Petri nets behaviors
    439 -- 476Ruzelan Khalid, Mohd. Kamal Mohd. Nawawi, Luthful A. Kawsar, Noraida Abdul Ghani, Anton Abdulbasah Kamil, Adli Mustafa. The evaluation of pedestrians' behavior using M/G/C/C analytical, weighted distance and real distance simulation models
    477 -- 509Shalabh Bhatnagar, K. Lakshmanan. Multiscale Q-learning with linear function approximation
    511 -- 537Ran Li, Spyros A. Reveliotis. Designing parsimonious scheduling policies for complex resource allocation systems through concurrency theory
    539 -- 559Dimitri Lefebvre, Edouard Leclercq. Diagnosability of Petri nets with observation graphs

    Volume 26, Issue 2

    147 -- 182Quan-Lin Li, John C. S. Lui. Block-structured supermarket models
    183 -- 223Bart Kersbergen, János Rudan, Ton J. J. van den Boom, Bart De Schutter. Towards railway traffic management using switching Max-plus-linear systems - Structure analysis and rescheduling
    225 -- 261Gabriel A. D. Lopes, Bart Kersbergen, Bart De Schutter, Ton J. J. van den Boom, Robert Babuska. Synchronization of a class of cyclic discrete-event systems describing legged locomotion
    263 -- 293Renyuan Zhang, Kai Cai, Yongmei Gan, W. Murray Wonham. Distributed supervisory control of discrete-event systems with communication delay
    295 -- 349David Sears, Karen Rudie. Minimal sensor activation and minimal communication in discrete-event systems
    351 -- 366Guilherme Gomes da Silva, Carlos Andrey Maia. On just-in-time control of timed event graphs with input constraints: a semimodule approach
    367 -- 382Richelle V. Adams. Infinitesimal perturbation analysis of a single-stage fluid queue with loss feedback and non-responsive competing traffic

    Volume 26, Issue 1

    1 -- 3Jean-Jacques Lesage, José E. R. Cury. Special issue on "New approaches for DES modeling, analysis and synthesis"
    5 -- 32Anne-Kathrin Schmuck, Sven Schneider, Jörg Raisch, Uwe Nestmann. Supervisory control synthesis for deterministic context free specification languages - Enforcing controllability least restrictively
    33 -- 84Sahar Mohajerani, Robi Malik, Martin Fabian. A framework for compositional nonblocking verification of extended finite-state machines
    85 -- 108Marco Pocci, Isabel Demongodin, Norbert Giambiasi, Alessandro Giua. Synchronizing sequences on a class of unbounded systems using synchronized Petri nets
    109 -- 145Dieky Adzkiya, Yining Zhang, Alessandro Abate. VeriSiMPL 2: An open-source software for the verification of max-plus-linear systems
    runs on