11th International Conference on Analysis and Optimization of Systems: Discrete Event Systems

Logical aspects of control of discrete-event systems: A survey of tools and techniques.- Automata-theoretic verification of coordinating processes.- Hierarchical COCOLOG for finite machines.- Nondeterministic supervision under partial observations.- Avoiding blocking in prioritized synchronization based control of nondeterministic systems.- Supervisory control for nondeterministic systems.- Effective control of logical discrete event systems in a trace theory setting using the reflection operator.- Diagnosability of discrete event systems.- On the supremal L m -closed and the supremal L m -closed and L-controllable sublanguages of a given language.- Continuous-time supervisory synthesis for distributed-clock discrete-event processes.- Conditions for optimization of discrete event systems using temporal logic models.- Partial difference equation extensions to automata regulator theory.- An algebraic temporal logic approach to the forbidden state problem in discrete event control.- Automata timing specification.- Synthesis of static controllers for forbidden states problems in Boolean C/E systems using the Boolean differential calculus.- Analysis of autonomous Petri nets with bulk services and arrivals.- Dependability and performability analysis using stochastic Petri nets.- Controlled Petri nets: A tutorial survey.- Functional and performance analysis of cooperating sequential processes.- Hierarchically combined queueing Petri nets.- Optimizing structural analysis of extended Petri nets models.- Reduced state space generation of concurrent systems using weak persistency.- A new approach to discrete time stochastic Petri nets.- Analysis of timed place/transition nets using minimal state graphs.- An algebraic description of processes of timed Petri nets.- Dioids and discrete event systems.- On structural properties of min-max systems.- Rational series over dioids and discrete event systems.- Stochastic linear systems in the (max, +) algebra.- Cycle times and fixed points of min-max functions.- The characteristic equation and minimal state space realization of SISO systems in the max algebra.- A max-algebra solution to the supervisory control problem for real-time discrete event systems.- Stable earliest starting schedules for periodic job shops: A linear system approach.- Time discrete and continuous control problems convergence of value functions.- Bellman processes.- Maslov optimisation theory: Stochastic interpretation, particle resolution.- Networks methods for endomorphisms of semimodules over min-plus algebras.- Subdirect sum decomposition of finite dimensional pseudomodules.- The algorithmic analysis of hybrid systems.- A unified framework for hybrid control.- Reasoning about hybrid systems with symbolic simulation.- Simple hybrid control systems — continuous FDLTI plants with quantized control inputs and symbolic measurements.- Controllability and control-law synthesis of linear hybrid systems.- Sample-path-based continuous and discrete optimization of discrete event systems: From gradient estimation to “rapid learning”.- Infinitesimal perturbation analysis of Generalized Semi-Markov Processes: A tutorial.- A tutorial overview of optimization via discrete-event simulation.- Parallel simulation of discrete event systems.- On the existence and estimation of performance measure derivatives for stochastic recursions.- Perturbation analysis for the GI/G/1 queue with two priority classes.- Supply management in assembly systems: The case of random lead times.- Simulation trees for functional estimation via the phantom method.- Infinitestimal Perturbation Analysis for discrete event systems with discrete lifetime distributions.- Loss networks in thermodynamic limit.- A survey of Markovian methods for stability of networks.- Stationary regime and stability of free-choice Petri nets.- Allocation sequences of two processes sharing a resource.- Stability criteria for yet another class of multidimensional distributed systems.- Flow control of a virtual circuit.- Stochastic scheduling of precedence graphs.- Management of manufacturing systems based on Petri nets.- Approximate closed queueing network model of a manufacturing cell with a batch material transporter.- Optimizing the transient behavior of hedging control policies in manufacturing systems.- Finding optimal number of Kanbans in a manufacturing system via stochastic approximation and perturbation analysis.- Performance evaluation of a generalized kanban system with a general arrival process of demands.- Hoist scheduling problem in a real time context.- On controlling a class of assembly system with alternative production routeing.- Planification Hiérarchisée de la Production: Agrégation du Temps et Cohérence.- Multi-site planning: A centralized or a distributed approach?.- Algorithms for simultaneous scheduling of machines and vehicles in a FMS.