Discrete Event Systems: Analysis and Control

✍ Scribed by Felisa J. Vázquez-Abad (auth.), R. Boel, G. Stremersch (eds.)

• Publisher: Springer US
• Year: 2000
• Tongue: English
• Leaves: 488
• Series: The Springer International Series in Engineering and Computer Science 569
• Edition: 1
• Category: Library

✦ Synopsis

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

✦ Table of Contents

Front Matter....Pages i-xi
Front Matter....Pages 1-1
A Course on Sensitivity Analysis for Gradient Estimation of Des Performance Measures....Pages 3-28
Front Matter....Pages 29-29
Coalgebra, Concurrency, and Control....Pages 31-38
Symbolic Abstractions of Automata....Pages 39-48
Efficient Computation and Representation of Large Reachability Sets for Composed Automata....Pages 49-56
Equivalent Existence Structures for Temporal-Safety Control....Pages 57-66
Heaps of Pieces with a Continuum of Resources....Pages 67-73
Eigenvalues of Interconnected Bipartite (min, max, +)-Systems....Pages 75-82
A (Max,+) Approach for Time in Message Sequence Charts....Pages 83-92
Analysis of Periodic Discrete Event Systems in (Max,+) Algebra....Pages 93-102
Modular Supervisory Control of Large Scale Discrete Event Systems....Pages 103-110
A General Architecture for Decentralized Supervisory Control of Discrete-Event Systems....Pages 111-118
Reduced Supervisors for Timed Discrete-Event Systems....Pages 119-130
Synthesis of Reliable Decentralized Supervisors for Discrete Event Systems....Pages 131-138
An Iterative Method for Deadlock Prevention in FMS....Pages 139-148
Avoiding Deadlocks in Flexible Manufacturing Systems....Pages 149-158
On Partially Controlled Free Choice Petri Nets....Pages 159-168
Closed-Loop Live Petri Net Supervisors for GMEC....Pages 169-180
Selecting the Optimal Deadlock Resolution Strategy in Buffer Space Allocation of Flexibly Automated Production Systems: An Analytical Perspective....Pages 181-192
The Power and Howard Algorithm in the (Max,+) Semiring....Pages 193-200
Model Predictive Control for Max-Min-Plus Systems....Pages 201-208
Front Matter....Pages 29-29
Optimal Token Allocation in Timed Cyclic Event—Graphs....Pages 209-218
A Limit Semantics for Timed PN....Pages 219-226
Verification of a Hybrid Model of a Manufacturing System using Rectangular Petri Nets....Pages 227-237
A Classification of PLC Models and Applications....Pages 239-246
Formal Verification of the Sequential Part of PLC Programs....Pages 247-254
An Abstract Model for Sequential Function Charts....Pages 255-264
Modeling, Analysis, and Implementation of Logic Controllers for Machining Systems Using Petri Nets and SFC....Pages 265-274
Time-related Modelling of PLC Systems with Time-less Petri Nets....Pages 275-282
Verification of IL Programs with an Explicit Model of their PLC Execution....Pages 283-290
A Two Phase Optimisation Strategy for Deds: Application to a Manufacturing System....Pages 291-298
Optimal Resource Allocation in Blending Production Systems: A Genetic Algorithm Solution....Pages 299-308
Off-Line Computation of Real-Time Schedules by Means of Petri nets....Pages 309-316
Applications of m -Balanced Sequences to Some Network Scheduling Problems....Pages 317-325
State Observer Synthesis for a Class of Condition Systems....Pages 327-336
Separability of Predicates and Languages in Large-Scale Discrete Event Systems....Pages 337-344
A General Control Switching Framework for Supervisory Control of Discrete Event Systems....Pages 345-353
Fair Control of ω -Automata....Pages 355-362
Detection of the Main Failure in Complex Critical Systems....Pages 363-370
Transitory Control in Cyclic Job Shop Scheduling....Pages 371-382
An Architecture of A Petri Net Based Event-Driven Controller....Pages 383-390
Front Matter....Pages 29-29
Supervisory Control in Discrete Event Systems Using the Theory of Regions....Pages 391-398
Linear and Integer Programmes in Supervisory Control of Petri Nets....Pages 399-408
Synthesis of Admissible Behavior of Petri Nets for Partial Order Specifications....Pages 409-420
Safety Control of Completely Observed Markov Chains....Pages 421-428
Singularly Perturbed Finite Markov Chains with General Ergodic Structure....Pages 429-432
Weak Differentiation and Gradient Estimation for Discrete Event Driven Processes....Pages 433-440
Structurally Safe Net Systems....Pages 441-448
Modelling and Analyzing Systems with Recursive Petri Nets....Pages 449-458
Prioritised Synchronous Composition of Inhibitor ARC Petri Nets....Pages 459-466
Front Matter....Pages 467-467
Data Processing Tool for Calculation in Dioid....Pages 469-470
Desco — a Tool for Education and Control of Discrete Event Systems....Pages 471-472
Spectool: Automated Synthesis of Control Code for Discrete Event Controllers....Pages 473-476
Modular Reachability Analyzer for High-Level Petri Nets....Pages 477-478
Synthesis of discrete controllers based on the signal Environment....Pages 479-480
The λ-Shift Interchange Format....Pages 481-482
Back Matter....Pages 483-484

✦ Subjects

Discrete Mathematics in Computer Science; Systems Theory, Control; Calculus of Variations and Optimal Control; Optimization