• Fri frakt över 249 kr
  • •
  • Snabba leveranser
  • •
  • Billiga böcker
Kundservice

Du är på sajten för privatpersoner.

Företag, bibliotek eller offentlig verksamhet?

Du handlar på classic.bokus.com, där alla dina funktioner finns intakta.
Till classic.bokus.com
Bokus logotyp. Gå till startsidan.
  • Erbjudanden
  • Nyheter
  • Student
  • Topplistor
  • Barn & ungdom
  • Bokus Play
  • E-böcker
  • Pocketböcker
  • Spel & pussel

10% rabatt på allt med kod: NYSTART10 →

Sidfot

Mina sidor

    Hjälp

    • Kundservice
    • Vanliga frågor och svar
    • Frakt och leverans
    • Retur vid ångerrätt
    • Reklamera vara
    • Betalning
    • Köpvillkor
    • Allmänna villkor
    • Information om webbplatsens tillgänglighet

    Om Bokus

    • Om oss
    • Pressrum
    • För studenter
    • För företag
    • För bibliotek och offentlig verksamhet
    • För leverantörer
    • Hållbarhet

    Populärt

    • Aktuella erbjudanden
    • Presentkort
    • Studentlitteratur
    • Nya böcker
    • Topplistor
    • Signerade böcker
    • Engelska böcker

    Inspiration

    • Boktips
    • BookTok
    • Populära bokserier
    • Barnbokskaraktärer
    • Populära författare
    Logotyp för Bokus
    Följ oss på Facebook (extern länk)Följ oss på Instagram (extern länk)Följ oss på YouTube (extern länk)Följ oss på TikTok (extern länk)
    bokus @ CookiesAnpassa cookiesIntegritetspolicyKöpvillkor
    Till Citymail hemsida (extern länk)Till Budbee hemsida (extern länk)Till Postnord hemsida (extern länk)Till Schenker hemsida (extern länk)Till Early Bird hemsida (extern länk)Till Walleys hemsida (extern länk)
    1. Naturvetenskap och teknik
    2. Teknik och industri
    3. Elektronik och kommunikationer

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

    Sophia-Antipolis, June 15-16-17, 1994

    AvGuy Cohen,Jean-Pierre Quadrat

    Häftad, Engelska, 1994

    Del 199 i serien Lecture Notes in Control and Information Sciences

    547 kr

    Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

    Beskrivning

    The conference, coorganized by INRIA and Ecole des Mines de Paris, focuses on Discrete Event Systems (DES) and is aimed at engineers, scientists and mathematicians working in the fields of Automatic Control, Operations Research and Statistics who are interested in the modelling, analysis and optimization of DES. Various methods such as Automata theory, Petri nets, etc. are proposed to describe and analyze such systems. Comparison of these different mathematical approaches and the global confrontation of theoretical approaches with applications in manufacturing, telecommunications, parallel computing, transportation, etc. are the goals of the conference.

    Produktinformation

    • Utgivningsdatum:1994-06-22
    • Mått:155 x 235 x 35 mm
    • Vikt:966 g
    • Format:Häftad
    • Språk:Engelska
    • Serie:Lecture Notes in Control and Information Sciences
    • Antal sidor:626
    • Förlag:Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
    • ISBN:9783540198963

    Utforska kategorier

    • Elektronik och kommunikationer inom Naturvetenskap och teknik
    • Referensverk och tvärvetenskap inom Samhälle och politik
    • Matematisk statistik inom Naturvetenskap och teknik

    Innehållsförteckning

    • 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.