Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDDiscrete Event Dynamic Systems, Volume 23
Volume 23, Number 1, March 2013
- Welcome Announcement. 1
- Mi Zhao, Yifan Hou:
An iterative method for synthesizing non-blocking supervisors for a class of generalized Petri nets using mathematical programming. 3-26 - Gregor von Bochmann:
Using logic to solve the submodule construction problem. 27-59 - Wen-Chiao Lin, Humberto E. Garcia, Tae-Sic Yoo
:
A diagnoser algorithm for anomaly detection in DEDS under partial and unreliable observations: characterization and inclusion in sensor configuration optimization. 61-91 - Karim Abbas, Bernd Heidergott, Djamil Aïssani:
A functional approximation for the M/G/1/N queue. 93-104
Volume 23, Number 2, June 2013
- Stéphane Gaubert, Sergei Sergeev:
The level set method for the two-sided max-plus eigenproblem. 105-134 - Creag Winacott, Behnam Behinaein, Karen Rudie:
Methods for the estimation of the size of lookahead tree state-space. 135-155 - Hongwei Liao, Yin Wang, Hyoun Kyu Cho, Jason Stanley, Terence Kelly, Stéphane Lafortune, Scott A. Mahlke, Spyros A. Reveliotis:
Concurrency bugs in multithreaded software: modeling and analysis using Petri nets. 157-195 - Patrice Bonhomme:
Scheduling and control of real-time systems based on a token player approach. 197-209 - Tao Wu, Kerem Akartunali, Jie Song, Leyuan Shi:
Mixed integer programming in production planning with backlogging and setup carryover: modeling and algorithms. 211-239
Volume 23, Number 3, September 2013
- E. Jack Chen:
Some insights of using common random numbers in selection procedures. 241-259 - Laurent Houssin, Sébastien Lahaye, Jean-Louis Boimond:
Control of (max, +)-linear systems minimizing delays. 261-276 - Haralambie Leahu, Bernd Heidergott, Arie Hordijk:
Perturbation analysis of waiting times in the G/G/1 queue. 277-305 - Yi-Chin Wu, Stéphane Lafortune:
Comparative analysis of related notions of opacity in centralized and coordinated architectures. 307-339
Volume 23, Number 4, December 2013
- Etienne Craye, Abdoulaye Gamatié:
Special section on modeling of reactive systems. 341-342 - José Echeveste, Arshia Cont, Jean-Louis Giavitto, Florent Jacquemard:
Operational semantics of a domain specific language for real time musician-computer interaction. 343-383 - Gwenaël Delaval, Éric Rutten, Hervé Marchand:
Integrating discrete controller synthesis into a reactive programming language compiler. 385-418 - Didier Lime, Claude Martinez, Olivier H. Roux:
Shrinking of Time Petri nets. 419-438
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-06-29 00:31 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:
