default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDDiscrete Event Dynamic Systems, Volume 18
Volume 18, Number 1, March 2008
- Xi-Ren Cao:
Editorial. 1 - Anne Bouillard, Eric Thierry:
An Algorithmic Toolbox for Network Calculus. 3-49 - Nina Yevtushenko, Tiziano Villa, Robert K. Brayton, Alexandre Petrenko
, Alberto L. Sangiovanni-Vincentelli:
Compositionally Progressive Solutions of Synchronous FSM Equations. 51-89 - Olivier Marchetti, Alix Munier Kordon:
Minimizing Place Capacities of Weighted Event Graphs for Enforcing Liveness. 91-109 - Ran Canetti, Ling Cheung, Dilsun Kirli Kaynar, Moses D. Liskov, Nancy A. Lynch, Olivier Pereira, Roberto Segala:
Analyzing Security Protocols Using Time-Bounded Task-PIOAs. 111-159
Volume 18, Number 2, June 2008
- Christos G. Cassandras, Alessandro Giua, Carla Seatzu, Janan Zaytoon:
DEDS Special Issue on Discrete Event Methodologies for Hybrid Systems. 161-162 - Antoine Girard, A. Agung Julius, George J. Pappas:
Approximate Simulation Relations for Hybrid Systems. 163-179 - Jan Lunze:
Fault Diagnosis of Discretely Controlled Continuous Systems by Means of Discrete-Event Models. 181-210 - Bruno Gaujal, Florence Perronnin, Rémi Bertin:
Perfect Simulation of a Class of Stochastic Hybrid Systems with an Application to Peer to Peer Systems. 211-240 - Stephanie Geist, Dmitry Gromov, Jörg Raisch:
Timed Discrete Event Control of Parallel Production Lines with Continuous Outputs. 241-262 - Jing Xu, Laura Recalde, Manuel Silva Suárez:
Tracking Control of Join-Free Timed Continuous Petri Net Systems under Infinite Servers Semantics. 263-283
Volume 18, Number 3, September 2008
- Sarah-Jane Whittaker, Karen Rudie:
Lose Fat, Not Muscle: An Examination of Supervisor Reduction in Discrete-Event Systems. 285-321 - George Jiroveanu, René K. Boel, Behzad Bordbar:
On-Line Monitoring of Large Petri Net Models Under Partial Observation. 323-354 - Eckart Mayer, Utz-Uwe Haus, Jörg Raisch, Robert Weismantel:
Throughput-Optimal Sequences for Cyclically Operated Plants. 355-383 - Andrea Paoli, Stéphane Lafortune:
Diagnosability Analysis of a Class of Hierarchical State Machines. 385-413 - Weilin Wang, Stéphane Lafortune, Feng Lin:
On the Minimization of Communication in Networked Systems with a Central Station. 415-443
Volume 18, Number 4, December 2008
- Eitan Altman, Bruno Gaujal, Jean Mairesse:
Guest Editorial. 445-446 - Sem C. Borst, Matthieu Jonckheere, Lasse Leskelä:
Stability of Parallel Queueing Systems with Coupled Service Rates. 447-472 - Anne Bouillard, Bruno Gaujal:
Backward Coupling in Bounded Free-Choice Nets Under Markovian and Non-Markovian Assumptions. 473-498 - Thu-Ha Dao-Thi, Jean Mairesse:
Zero-Automatic Networks. 499-536 - Ho Woo Lee, Sahng Hoon Cheon, Se Won Lee, Jung Woo Baek:
Performance of the MAP/G/1 Queue Under the Dyadic Control of Workload and Server Idleness. 537-562 - Marc Lelarge:
Tail Asymptotics for Discrete Event Systems. 563-584
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 2026-08-14 21:54 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, funded, and maintained by:
Schloss Dagstuhl - Leibniz Center for Informatics is a member of the Leibniz Association and is funded by the federal government of Germany and the states of Germany, especially Saarland and Rhineland‑Palatinate.
