Discrete Event Systems: Analysis and Control

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