11th International Conference on Analysis and Optimization of Systems: Discrete Event Systems: Sophia-Antipolis, June 15-16-17, 1994: Lecture Notes in Control and Information Sciences, cartea 199
Editat de Guy Cohen, Jean-Pierre Quadraten Limba Engleză Paperback – 22 iun 1994
Din seria Lecture Notes in Control and Information Sciences
-
Preț: 366.19 lei - 20%
Preț: 602.75 lei - 18%
Preț: 922.72 lei - 15%
Preț: 669.13 lei - 18%
Preț: 920.57 lei - 18%
Preț: 752.14 lei - 18%
Preț: 859.76 lei - 18%
Preț: 1068.14 lei - 20%
Preț: 333.87 lei - 11%
Preț: 507.04 lei - 20%
Preț: 631.77 lei -
Preț: 373.03 lei -
Preț: 382.85 lei -
Preț: 365.45 lei -
Preț: 379.71 lei -
Preț: 376.01 lei - 15%
Preț: 617.72 lei - 15%
Preț: 623.22 lei -
Preț: 367.12 lei -
Preț: 371.00 lei - 15%
Preț: 616.77 lei - 15%
Preț: 672.25 lei - 20%
Preț: 321.03 lei -
Preț: 365.29 lei -
Preț: 524.83 lei -
Preț: 375.81 lei -
Preț: 407.60 lei -
Preț: 378.21 lei -
Preț: 367.85 lei - 18%
Preț: 708.72 lei -
Preț: 377.48 lei - 15%
Preț: 620.38 lei - 15%
Preț: 613.31 lei -
Preț: 368.96 lei -
Preț: 382.49 lei -
Preț: 391.71 lei -
Preț: 391.34 lei -
Preț: 370.46 lei -
Preț: 372.67 lei -
Preț: 372.67 lei -
Preț: 379.71 lei -
Preț: 376.17 lei -
Preț: 369.16 lei -
Preț: 381.55 lei -
Preț: 368.43 lei -
Preț: 380.99 lei -
Preț: 370.46 lei -
Preț: 369.90 lei -
Preț: 367.12 lei -
Preț: 371.73 lei
Preț: 392.84 lei
Nou
Puncte Express: 589
Preț estimativ în valută:
69.50€ • 80.97$ • 60.69£
69.50€ • 80.97$ • 60.69£
Carte tipărită la comandă
Livrare economică 17-31 ianuarie 26
Preluare comenzi: 021 569.72.76
Specificații
ISBN-13: 9783540198963
ISBN-10: 3540198962
Pagini: 648
Ilustrații: XIX, 626 p.
Dimensiuni: 155 x 235 x 34 mm
Greutate: 0.89 kg
Editura: Springer Berlin, Heidelberg
Colecția Springer
Seria Lecture Notes in Control and Information Sciences
Locul publicării:Berlin, Heidelberg, Germany
ISBN-10: 3540198962
Pagini: 648
Ilustrații: XIX, 626 p.
Dimensiuni: 155 x 235 x 34 mm
Greutate: 0.89 kg
Editura: Springer Berlin, Heidelberg
Colecția Springer
Seria Lecture Notes in Control and Information Sciences
Locul publicării:Berlin, Heidelberg, Germany
Public țintă
ResearchCuprins
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.