+612 9045 4394
$7.95 Delivery per order to Australia and New Zealand
100% Australian owned
Over a hundred thousand in-stock titles ready to ship
Discrete Event Systems : Analysis and Control - R. Boel

Discrete Event Systems

Analysis and Control

By: R. Boel (Editor), G. Stremersch (Editor)

Hardcover Published: 31st July 2000
ISBN: 9780792378976
Number Of Pages: 484

Share This Book:


or 4 easy payments of $73.38 with Learn more
Ships in 10 to 15 business days

Earn 587 Qantas Points
on this Book

Other Available Editions (Hide)

  • Paperback View Product Published: 9th November 2012

Discrete Event Systems: Analysis and Control is the proceedings of WODES2000 (the 5th Workshop on Discrete Event Systems, held in Ghent, Belgium, on August 21-23, 2000). This book provides a survey of the current state of the art in the field of modeling, analysis and control synthesis of discrete event systems, lecture notes for a mini course on sensitivity analysis for performance evaluation of timed discrete event systems, and 48 carefully selected papers covering all areas of discrete event theory and the most important applications domains. Topics include automata theory and supervisory control (12); Petri net based models for discrete event systems, and their control synthesis (11); (max, +) and timed automata models (9); applications papers related to scheduling, failure detection, and implementation of supervisory controllers (7); formal description of PLCs (6); and finally, stochastic models of discrete event systems (3).

Prefacep. ix
Mini course
A Course on Sensitivity Analysis for Gradient Estimation of DES Performance Measuresp. 3
Contributed papers
Coalgebra, Concurrency, and Controlp. 31
Symbolic Abstractions of Automatap. 39
Efficient Computation and Representation of Large Reachability Sets for Composed Automatap. 49
Equivalent Existence Structures for Temporal-Safety Controlp. 57
Heaps of Pieces with a Continuum of Resourcesp. 67
Eigenvalues of Interconnected Bipartite (min,max,+)-systemsp. 75
A (max,+) Approach for Time in Message Sequence Chartsp. 83
Analysis of Periodic Discrete Event Systems in (max,+) Algebrap. 93
Modular Supervisory Control of Large Scale Discrete Event Systemsp. 103
A General Architecture for Decentralized Supervisory Control of Discrete-Event Systemsp. 111
Reduced Supervisors for Timed Discrete-Event Systemsp. 119
Synthesis of Reliable Decentralized Supervisors for Discrete Event Systemsp. 131
An Iterative Method for Deadlock Prevention in FMSp. 139
Avoiding Deadlocks in Flexible Manufacturing Systemsp. 149
On Partially Controlled Free Choice Petri Netsp. 159
Closed-Loop Live Petri Net Supervisors for GMECp. 169
Selecting the Optimal Deadlock Resolution Strategy in Buffer Space Allocation of Flexibly Automated Production Systems: an Analytic Perspectivep. 181
The Power Algorithm and the Howard Algorithm in the (max,+) Semiringp. 193
Model Predictive Control for max-min-plus Systemsp. 201
Optimal Token Allocation in Timed Cyclic Event-graphsp. 209
A Limit Semantics for Timed PNp. 219
Verification of a Hybrid Model of a Manufacturing System using Rectangular Petri Netsp. 227
A Classification of PLC Models and Applicationsp. 239
Formal Verification of the Sequential Part of PLC pogramsp. 247
An Abstract Model for Sequential Function Chartsp. 255
Modeling, Analysis, and Implementation of Logic Controllers for Machining Systems using Petri Nets and SFCp. 265
Time-related Modelling of PLC Systems with Time-less Petri Netsp. 275
Verification of IL Programs with an Explicit Model of their PLC Executionp. 283
A Two Phase Optimisation Strategy for DEDS: Application to a Manufacturing Systemp. 291
Optimal Resource Allocation in Blending Production Systems: A Genetic Algorithm Solutionp. 299
Off-Line Computation of Real-Time Schedules by Means of Petri netsp. 309
Applications of m-Balanced Sequences to Some Network Scheduling Problemsp. 317
State Observer Synthesis for a Class of Condition Systemsp. 327
Separability of Predicates and Languages in Large-Scale Discrete Event Systemsp. 337
A General Control Switching Framework for Supervisory Control of Discrete Event Systemsp. 345
Fair Control of [omega]-Automatap. 355
Detection of the Main Failure in Complex Critical Systemsp. 363
Transitory Control in Cyclic Job Shop Schedulingp. 371
An Architecture of a Petri Net Based Event-driven Controllerp. 383
Supervisory Control in Discrete Event Systems Using the Theory of Regionsp. 391
Linear and Integer Programmes in Supervisory Control of Petri netsp. 399
Synthesis of Admissible Behavior of Petri Nets for Partial Order Specificationsp. 409
Safety Control of Completely Observed Markov Chainsp. 421
Singularly Perturbed Finite Markov Chains with General Ergodic Structurep. 429
Weak Differentation and Gradient Estimation for Discrete Event Driven Processesp. 433
Structurally Safe Net Systemsp. 441
Modelling and Analyzing Systems with Recursive Petri Netsp. 449
Prioritised Synchronous Composition of Inhibitor Arc Petri Netsp. 459
Tool Documentation
Data Processing Tool for Calculation in Dioidp. 469
DESCO - a Tool for Education and Control of Discrete Event Systemsp. 471
SPECTOOL: Automated Synthesis of Control Code for Discrete Event Controllersp. 473
Modular Reachability Analyzer for High-Level Petri Netsp. 477
Synthesis of Discrete Controllers Based on the Signal Environmentp. 479
The [lambda]-Shift Interchange Formatp. 481
Author indexp. 483
Table of Contents provided by Syndetics. All Rights Reserved.

ISBN: 9780792378976
ISBN-10: 0792378970
Series: The Springer International Engineering and Computer Science
Audience: General
Format: Hardcover
Language: English
Number Of Pages: 484
Published: 31st July 2000
Country of Publication: US
Dimensions (cm): 23.39 x 15.6  x 2.69
Weight (kg): 0.87

Earn 587 Qantas Points
on this Book