Optimal flow control in acyclic networks with uncontrollable routings and precedence constraints Spyros ReveliotisTheologos Bountourelis OriginalPaper 08 July 2011 Pages: 499 - 518
Dependability analysis of DES based on MARTE and UML state machines models José MerseguerSimona Bernardi OriginalPaper 01 July 2011 Pages: 163 - 178
Stabilization of Finite Automata with Application to Hybrid Systems Control Koichi KobayashiJun-ichi ImuraKunihiko Hiraishi OriginalPaper 17 June 2011 Pages: 519 - 545
Special issue on Modeling of Reactive Systems Claude MartinezOlivier H. Roux EditorialNotes 07 June 2011 Pages: 305 - 306
A Proximal Point Based Approach to Optimal Control of Affine Switched Systems Vadim AzhmyakovMichael V. BasinJörg Raisch OriginalPaper 04 June 2011 Pages: 61 - 81
Decentralized Control of Infinite Systems Gabriel KalyonTristan Le GallThierry Massart OriginalPaper 06 May 2011 Pages: 359 - 393
Multi-task Implementation of Multi-periodic Synchronous Programs Claire PagettiJulien ForgetDavid Lesens OriginalPaper 05 May 2011 Pages: 307 - 338
Optimal scheduling of parallel queues using stochastic flow models Ali KebarighotbiChristos G. Cassandras OriginalPaper 03 May 2011 Pages: 547 - 576
On the composition of time Petri nets Florent PeresBernard BerthomieuFrançois Vernadat OriginalPaper 28 April 2011 Pages: 395 - 424
Worst-case end-to-end delays evaluation for SpaceWire networks Thomas FerrandizFabrice FrancesChristian Fraboul OriginalPaper 28 April 2011 Pages: 339 - 357
State-dependent Control of a Single Stage Hybrid System with Poisson Arrivals Kagan Gokbayrak OriginalPaper 27 April 2011 Pages: 577 - 592
Relevant Timed Schedules/Clock Vectors for Constructing Time Petri Net Reachability Graphs Hanifa BouchenebKamel Barkaoui OriginalPaper 26 March 2011 Pages: 171 - 204
Symbolic Supervisory Control of Infinite Transition Systems Under Partial Observation Using Abstract Interpretation Gabriel KalyonTristan Le GallThierry Massart OriginalPaper 25 March 2011 Pages: 121 - 161
Perturbation Analysis and Optimization of Multiclass Multiobjective Stochastic Flow Models Chen YaoChristos G. Cassandras OriginalPaper 09 March 2011 Pages: 219 - 256
Foreword: Special section on performance evaluation methodologies Jean Mairesse EditorialNotes 06 January 2011 Pages: 39 - 39
The concert queueing game: to wait or to be late Rahul JainSandeep JunejaNahum Shimkin OriginalPaper 24 December 2010 Pages: 103 - 138
Semantic Translation of Simulink Diagrams to Input/Output Extended Finite Automata Changyan ZhouRatnesh Kumar OriginalPaper 16 December 2010 Pages: 223 - 247
Receding Horizon Control of Mixed Line Flow Shop Systems Kagan Gokbayrak OriginalPaper 12 November 2010 Pages: 1 - 10
A mean field approach for optimization in discrete time Nicolas GastBruno Gaujal OriginalPaper 28 October 2010 Pages: 63 - 101
Stochastic control via direct comparison Xi-Ren CaoDe-Xin WangYifan Xu OriginalPaper 01 October 2010 Pages: 11 - 38
A random walk model for infection on graphs: spread of epidemics & rumours with mobile agents Moez DraiefAyalvadi Ganesh OriginalPaper 17 August 2010 Pages: 41 - 61
Performance Evaluation of Petri nets Centralized Implementation. The Execution Time Controller Ramón PiedrafitaJosé Luis Villarroel OriginalPaper 30 May 2010 Pages: 139 - 169
Conceptual Design of Discrete-Event Systems Using Templates Lenko GrigorovBrian E. ButlerKaren Rudie OriginalPaper 26 May 2010 Pages: 257 - 303
Quantifying Heuristics in the Ordinal Optimization Framework Zhen ShenQian-Chuan ZhaoQing-Shan Jia OriginalPaper 20 November 2009 Pages: 441 - 471
A Control Theory for Boolean Monomial Dynamical Systems Dorothy BollmanOmar Colón-ReyesEdusmildo Orozco OriginalPaper 07 November 2009 Pages: 19 - 35
Special Issue on WODES’08 Bengt LennartsonMartin FabianRatnesh Kumar EditorialNotes 25 September 2009 Pages: 449 - 450
SAT-Solving in Practice, with a Tutorial Example from Supervisory Control Koen ClaessenNiklas EenKnut Åkesson OriginalPaper 10 September 2009 Pages: 495 - 524
Discrete Semantics for Hybrid Automata Alberto CasagrandeCarla PiazzaAlberto Policriti OriginalPaper 10 September 2009 Pages: 471 - 493
Prognosis of ω-Languages for the Diagnosis of *-Languages: A Topological Perspective Andreas BauerSophie Pinchinat OriginalPaper 10 September 2009 Pages: 451 - 470
Supervisory Control of (max,+) Automata: A Behavioral Approach Jan KomendaSébastien LahayeJean-Louis Boimond OriginalPaper 03 September 2009 Pages: 525 - 549
On the Performance Evaluation of Multi-Guarded Marked Graphs with Single-Server Semantics Jorge JúlvezJordi CortadellaMichael Kishinevsky OriginalPaper 13 August 2009 Pages: 377 - 407
Message Batching in Wireless Sensor Networks—A Perturbation Analysis Approach Xu NingChristos G. Cassandras OriginalPaper 11 August 2009 Pages: 409 - 439
On-Line Policy Gradient Estimation with Multi-Step Sampling Yan-Jie LiFang CaoXi-Ren Cao OriginalPaper 28 July 2009 Pages: 3 - 17
Infinitesimal Perturbation Analysis in Networks of Stochastic Flow Models: General Framework and Case Study of Tandem Networks with Flow Control Yorai WardiGeorge F. Riley OriginalPaper 23 July 2009 Pages: 275 - 305
Performance Analysis of a Block-Structured Discrete-Time Retrial Queue with State-Dependent Arrivals Jesus R. ArtalejoQuan-Lin Li OriginalPaper 16 July 2009 Pages: 325 - 347
Fairness of Transitions in Diagnosability of Discrete Event Systems Santosh BiswasDipankar SarkarAmit Patra OriginalPaper 09 July 2009 Pages: 349 - 376
Fault Diagnosis in Discrete Event Systems Modeled by Partially Observed Petri Nets Yu RuChristoforos N. Hadjicostis OriginalPaper 23 June 2009 Pages: 551 - 575
Editorial for the SI: Optimization of Discrete Event Dynamic Systems Yorai WardiEdwin Chong EditorialNotes 10 June 2009 Pages: 283 - 285
Modular Supervisory Control with Equivalence-Based Abstraction and Covering-Based Conflict Resolution Richard C. HillDawn M. TilburyStéphane Lafortune OriginalPaper 04 June 2009 Pages: 139 - 185
A Two-Queue Polling Model with Two Priority Levels in the First Queue Marko A. A. BoonIvo J. B. F. AdanOnno J. Boxma OriginalPaper Open access 04 June 2009 Pages: 511 - 536
Partially Observable Markov Decision Process Approximations for Adaptive Sensing Edwin K. P. ChongChristopher M. KreucherAlfred O. Hero III OriginalPaper 28 May 2009 Pages: 377 - 422
Monotonicity Properties for Multi-Class Queueing Systems Ina Maria VerloopUrtzi AyestaSem Borst OriginalPaper 12 May 2009 Pages: 473 - 509
Ordinal Optimization and Quantification of Heuristic Designs Zhen ShenYu-Chi HoQian-Chuan Zhao OriginalPaper 27 March 2009 Pages: 317 - 345
On an Optimization Problem for a Class of Impulsive Hybrid Systems Sid Ahmed AttiaVadim AzhmyakovJoerg Raisch OriginalPaper Open access 27 March 2009 Pages: 215 - 231
Time-Optimal Coordination of Flexible Manufacturing Systems Using Deterministic Finite Automata and Mixed Integer Linear Programming Avenir KobetskiMartin Fabian OriginalPaper 12 March 2009 Pages: 287 - 315
A Perturbation Analysis Approach to Phantom Estimators for Waiting Times in the G/G/1 Queue Bernd HeidergottTaoying Farenhorst-YuanFelisa Vázquez-Abad OriginalPaper Open access 20 February 2009 Pages: 249 - 273
Optimal Node Visitation in Acyclic Stochastic Digraphs with Multi-threaded Traversals and Internal Visitation Requirements Theologos BountourelisSpyros Reveliotis OriginalPaper 19 February 2009 Pages: 347 - 376
Optimal Control of Production Processes with Variable Execution Times Davide GiglioRiccardo MinciardiSilvia Siri OriginalPaper 13 February 2009 Pages: 423 - 448