Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDDiscrete Event Dynamic Systems, Volume 26
Volume 26, Number 1, March 2016
- Jean-Jacques Lesage, José E. R. Cury:
Special issue on "New approaches for DES modeling, analysis and synthesis". 1-3 - Anne-Kathrin Schmuck, Sven Schneider, Jörg Raisch, Uwe Nestmann
:
Supervisory control synthesis for deterministic context free specification languages - Enforcing controllability least restrictively. 5-32 - Sahar Mohajerani, Robi Malik, Martin Fabian:
A framework for compositional nonblocking verification of extended finite-state machines. 33-84 - Marco Pocci, Isabel Demongodin, Norbert Giambiasi, Alessandro Giua:
Synchronizing sequences on a class of unbounded systems using synchronized Petri nets. 85-108 - Dieky Adzkiya, Yining Zhang, Alessandro Abate:
VeriSiMPL 2: An open-source software for the verification of max-plus-linear systems. 109-145
Volume 26, Number 2, June 2016
- Quan-Lin Li, John C. S. Lui:
Block-structured supermarket models. 147-182 - Bart 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. 183-223 - Gabriel 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. 225-261 - Renyuan Zhang, Kai Cai, Yongmei Gan, Walter Murray Wonham:
Distributed supervisory control of discrete-event systems with communication delay. 263-293 - David Sears, Karen Rudie:
Minimal sensor activation and minimal communication in discrete-event systems. 295-349 - Guilherme Gomes da Silva, Carlos Andrey Maia:
On just-in-time control of timed event graphs with input constraints: a semimodule approach. 351-366 - Richelle V. Adams:
Infinitesimal perturbation analysis of a single-stage fluid queue with loss feedback and non-responsive competing traffic. 367-382
Volume 26, Number 3, September 2016
- Anne Bouillard, Eric Thierry:
Tight performance bounds in the worst-case analysis of feed-forward networks. 383-411 - Jan Komenda, Sébastien Lahaye, Jean-Louis Boimond:
Determinization of timed Petri nets behaviors. 413-437 - Ruzelan 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. 439-476 - Shalabh Bhatnagar, K. Lakshmanan:
Multiscale Q-learning with linear function approximation. 477-509 - Ran Li, Spyros A. Reveliotis:
Designing parsimonious scheduling policies for complex resource allocation systems through concurrency theory. 511-537 - Dimitri Lefebvre, Edouard Leclercq:
Diagnosability of Petri nets with observation graphs. 539-559
Volume 26, Number 4, December 2016
- Wassim Mohamed Boussahel, Saïd Amari, Radouane Kara:
Analytic evaluation of the cycle time on networked conflicting timed event graphs in the (Max, +) algebra. 561-581 - Johan Girault, Jean Jacques Loiseau, Olivier H. Roux:
On-line compositional controller synthesis for AGV. 583-610 - Philippe Declerck:
Compromise approach for predictive control of Timed Event Graphs with specifications defined by P-time Event Graphs. 611-632 - Rolando Cavazos-Cadena:
A poisson equation for the risk-sensitive average cost in semi-markov chains. 633-656 - Subiono, Muhammad Syifa'ul Mufid, Dieky Adzkiya:
Eigenproblems of latin squares in bipartite (min, max, +)-systems. 657-668 - Xiao Wu, Junyu Zhang:
Finite approximation of the first passage models for discrete-time Markov decision processes with varying discount factors. 669-683
a service of 
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 2024-04-25 05:28 CEST 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:
