Discrete 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 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:
  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
  

Last update Tue Feb 14 04:16:48 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page