11th International Conference on Analysis and Optimization of Systems: Discrete Event Systems : Sophia-Antipolis, June 15-16-17, 1994 - Softcover

Softcover

ISBN 10: 3662177153 ISBN 13: 9783662177150

Verlag: Springer, 2014

Inhaltsangabe

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

Details zur Ausgabe

• Verlag: Springer
• Erscheinungsdatum: 2014
• ISBN 10: 3662177153
• ISBN 13: 9783662177150
• Einband: Paperback
• Sprache: Englisch
• Kontakt zum Hersteller: Nicht verfügbar