11th International conference on analysis and optimization of systems: discrete event systems. Sophia-Antipolis, France, June 15-17, 1994 (Q1327697)

The articles of this volume will be reviewed individually. Indexed articles: \textit{Wei, Y. J.; Caines, P. E.}, Hierarchical COCOLOG for finite machines, 30-38 [Zbl 0823.68066] \textit{İnan, Kemal}, Nondeterministic supervision under partial observations, 39-48 [Zbl 0819.93004] \textit{Kumar, Ratnesh; Shayman, Mark A.}, Avoiding blocking in prioritized synchronization based control of nondeterministic systems, 49-58 [Zbl 0819.93055] \textit{Overkamp, Ard}, Supervisory control for nondeterministic systems, 59-65 [Zbl 0829.93058] \textit{Smedinga, Rein}, Effective control of logical discrete event systems in a trace theory setting using the reflection operator, 66-72 [Zbl 0824.93005] \textit{Sampath, Meera; Sengupta, Raja; Lafortune, Stéphane; Sinnamohideen, Kasim; Teneketzis, Demosthenis}, Diagnosability of discrete event systems, 73-79 [Zbl 0941.68613] \textit{O'Young, S. D.}, Continuous-time supervisory synthesis for distributed-clock discrete- event processes, 86-92 [Zbl 0822.93048] \textit{Ionescu, Dan}, Conditions for optimization of discrete event systems using temporal logic models, 93-100 [Zbl 0837.90116] \textit{Yuan, Qingsheng; Baker, Albert D.}, Partial difference equation extensions to automata regulator theory, 101-106 [Zbl 0834.68080] \textit{Seow, Kiam Tian; Devanathan, R.}, An algebraic temporal logic approach to the forbidden state problem in discrete event control, 107-114 [Zbl 0825.93015] \textit{Kowalewski, Stefan}, Synthesis of static controllers for forbidden states problems in Boolean C/E systems using the Boolean differential calculus, 122-128 [Zbl 0826.93031] \textit{Silva, Manuel; Teruel, Enrique}, Analysis of autonomous Petri nets with bulk services and arrivals, 131-143 [Zbl 0822.93006] \textit{Trivedi, Kishor S.; Ciardo, Gianfranco; Malhotra, Manish; Garg, Sachin}, Dependability and performability analysis using stochastic Petri nets, 144-157 [Zbl 0825.68473] \textit{Holloway, L. E.; Krogh, B. H.}, Controlled Petri nets: A tutorial survey, 158-168 [Zbl 0850.93249] \textit{Teruel, E.; Silva, M.; Colom, J. M.; Campos, J.}, Functional and performance analysis of cooperating sequential processes, 169-175 [Zbl 0823.68075] \textit{Bause, Falko; Buchholz, Peter; Kemper, Peter}, Hierarchically combined queueing Petri nets, 176-182 [Zbl 0823.68074] \textit{Hiraishi, Kunihiko}, Reduced state space generation of concurrent systems using weak persistency, 191-197 [Zbl 0822.93005] \textit{Hanisch, Hans-Michael}, Analysis of timed place/transition nets using minimal state graphs, 205-212 [Zbl 0823.68076] \textit{Winkowski, Józef}, An algebraic description of processes of timed Petri nets, 213-219 [Zbl 0823.68077] \textit{Cohen, Guy}, Dioids and discrete event systems, 223-236 [Zbl 0822.93003] \textit{Olsder, Geert Jan}, On structural properties of min-max systems, 237-246 [Zbl 0822.93004] \textit{Gaubert, Stéphane}, Rational series over dioids and discrete event systems, 247-256 [Zbl 0819.93001] \textit{Mairesse, Jean}, Stochastic linear systems in the \((\max,+)\) algebra, 257-265 [Zbl 0823.68078] \textit{Gunawardena, Jeremy}, Cycle times and fixed points of min-max functions, 266-272 [Zbl 0835.68069] \textit{De Schutter, Bart; De Moor, Bart}, The characteristic equation and minimal state space realization of SISO systems in the max algebra, 273-282 [Zbl 0821.93024] \textit{Cofer, Darren D.; Garg, Vijay K.}, A max-algebra solution to the supervisory control problem for real-time discrete event systems, 284-296 [Zbl 0821.93003] \textit{Samborski, Sergei N.}, Time discrete and continuous control problems convergence of value functions, 298-301 [Zbl 0821.93036] \textit{Akian, Marianne; Quadrat, Jean-Pierre; Viot, Michel}, Bellman processes, 302-311 [Zbl 0826.49021] \textit{Del Moral, Pierre; Noyer, Jean-Charles; Salut, Gérard}, Maslov optimisation theory: Stochastic interpretation, particle resolution, 312-318 [Zbl 0898.60106] \textit{Dudnikov, Peter I.; Samborski, Sergei N.}, Networks methods for endomorphisms of semimodules over min-plus algebras, 319-321 [Zbl 0819.90126] \textit{Wagneur, Edouard}, Subdirect sum decomposition of finite dimensional pseudomodules, 322-328 [Zbl 0833.13003] \textit{Alur, R.; Courcoubetis, C.; Henzinger, T.; Ho, P.; Nicollin, X.; Olivero, A.; Sifakis, J.; Yovine, S.}, The algorithmic analysis of hybrid systems, 331-351 [Zbl 0823.68067] \textit{Branicky, Michael S.; Borkar, Vivek S.; Mitter, Sanjoy K.}, A unified framework for hybrid control, 352-358 [Zbl 0925.93019] \textit{Narain, Sanjai}, Reasoning about hybrid systems with symbolic simulation, 359-368 [Zbl 0823.68119] \textit{Raisch, Jörg}, Simple hybrid control systems - continuous FDLTI plants with quantized control inputs and symbolic measurements, 369-376 [Zbl 0824.93006] \textit{Tittus, Michael; Egardt, Bo}, Controllability and control-law synthesis of linear hybrid systems, 377-383 [Zbl 0850.93102] \textit{Cassandras, Christos G.}, Sample-path-based continuous and discrete optimization of discrete event systems: From gradient estimation to ``rapid learning'', 387-400 [Zbl 0822.93068] \textit{Cao, Xi-Ren}, Infinitesimal perturbation analysis of generalized semi-Markov processes: A tutorial, 401-408 [Zbl 0819.60080] \textit{Fu, Michael C.}, A tutorial overview of optimization via discrete-event simulation, 409-418 [Zbl 0837.49001] \textit{Fujimoto, Richard M.}, Parallel simulation of discrete event systems, 419-428 [Zbl 0825.68703] \textit{Glynn, Peter W.; L'Ecuyer, Pierre}, On the existence and estimation of performance measure derivatives for stochastic recursions, 429-435 [Zbl 0819.60055] \textit{Miyoshi, Naoto; Hasegawa, Toshiharu}, Perturbation analysis for the \(GI/G/1\) queue with two priority classes, 436-442 [Zbl 0818.60084] \textit{Chu, Chengbin; Proth, Jean-Marie; Wardi, Yorai; Xie, Xiaolan}, Supply management in assembly systems: The case of random lead times, 443-448 [Zbl 0833.90054] \textit{Vázquez-Abad, Felisa; L'Ecuyer, Pierre}, Simulation trees for functional estimation via the phantom method, 449-455 [Zbl 0818.62024] \textit{Heidergott, Bernd}, Infinitesimal perturbation analysis for discrete event systems with discrete lifetime distributions, 456-462 [Zbl 0824.93004] \textit{Botvich, Dimitri; Fayolle, Guy; Malyshev, Vadim}, Loss networks in thermodynamic limit, 465-489 [Zbl 0815.60087] \textit{Down, D.; Meyn, S.}, A survey of Markovian methods for stability of networks, 490-504 [Zbl 0817.60089] \textit{Baccelli, F.; Gaujal, B.}, Stationary regime and stability of free-choice Petri nets, 505-515 [Zbl 0823.68079] \textit{Gaujal, Bruno}, Allocation sequences of two processes sharing a resource, 516-522 [Zbl 0823.68080] \textit{Georgiadis, Leonidas; Szpankowski, Wojciech}, Stability criteria for yet another class of multidimensional distributed systems, 523-530 [Zbl 0817.60090] \textit{Finta, Lucian; Liu, Zhen}, Stochastic scheduling of precedence graphs, 538-542 [Zbl 0836.68052] \textit{El-Férik, Sami; Malhamé, Roland P.}, Optimizing the transient behavior of hedging control policies in manufacturing systems, 565-571 [Zbl 0816.60092] \textit{Yan, Houmin; Zhou, Xun Yu; Yin, G.}, Finding optimal number of Kanbans in a manufacturing system via stochastic approximation and perturbation analysis, 572-578 [Zbl 0821.90057] \textit{Di Mascolo, Maria}, Performance evaluation of a generalized Kanban system with a general arrival process of demands, 579-585 [Zbl 0823.90049] \textit{Proth, Jean-Marie; Wang, Liming; Xie, Xiaolan}, On controlling a class of assembly system with alternative production routing, 593-599 [Zbl 0833.90064] \textit{Fontan, G.; Hetreux, G.; Merce, C.}, Hierarchical production planning: Aggregation of time and consistency, 600-608 [Zbl 0822.90075] \textit{Thierry, C.; Le Page, P.; Chapeaublanc, N.; Bel, G.}, Multi-site planning: A centralized or a distributed approach?, 609-615 [Zbl 0819.90048] \textit{Sawik, Tadeusz}, Algorithms for simultaneous scheduling of machines and vehicles in a FMS, 616-621 [Zbl 0818.90060]