Discrete Event Systems: Analysis and Control

ISBN-13: 9781461370253 / Angielski / Miękka / 2012 / 484 str.

R. Boel; Geert Stremersch

Opis

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

Spis treści

Preface. Part I: Mini Course: A Course on Sensitivity Analysis for Gradient Estimation of DES Performance Measures; F. Vázquez-Abad. Part II: Contributed Papers: Coalgebra, Concurrency, and Control; J.J.M.M. Rutten. Symbolic Abstractions of Automata; S. Pinchinat, H Marchand. Efficient Computation and Representation of Large Reachability Sets for Composed Automata; P. Buchholz, P. Kemper. Equivalent Existence Structures for Temporal-Safety Control; K.T. Seow. Heaps of Pieces with a Continuum of Resources; R.J.van Egmond. Eigenvalues of Interconnected Bipartite (min, max,+) systems; Subiono, J. van der Woude. A (max,+) Approach for Time in Message Sequence Charts; P. Le Maigat, L. Hélouët. Analysis of Periodic Discrete Event Systems in (max,+) Algebra; S. Lahaye, et al. Modular Supervisory Control of Large Discret Event Systems; M.H. de Queiroz, J.E.R. Cury. A General Architecture for Decentralized Supervisory Control of Discrete-Event Systems; T.S. Yoo, S. Lafortune. Reduced Supervisors for Timed Discrete-Event Systems; P. Gohari, W.M. Wonham. Synthesis of Reliable Decentralized Supervisors for Discrete Event Systems; S. Takai, T. Ushio. An Iterative Method for Deadlock Prevention in FMS; F. Tricas, et al. Avoiding Deadlocks in Flexible Manufacturing Systems; M. Seidl, G. Schmidt. On Partially Controlled Free Choice Petri Nets; R.S. Sreenivas. Closed-Loop Live Petri Net Supervisors for GMEC; F. Basile, et al. Selecting the Optimal Deadlock Resolution Strategy in Buffer Space Allocation of Flexibly Automated Production Systems: an Analytic Perspective; S.A. Reveliotis. The Power Algorithm and the Howard Algorithm in the (max,+) Semiring; G. Soto, Y. Koelemeijer.Model Predictive Control for max-min-plus Systems; B. De Schutter, T. van den Boom. Optimal Token Allocation in Timed Cyclic Event-graphs; A. Giua, et al. A Limit Semantics for Timed PN; B. Gaujal, S. Haar. Verification of a Hybrid Model of a Manufacturing System using Rectangular Petri Nets; B. Bordbar, et al. A Classification of PLC Models and Applications; A. Mader. Formal Verification of the Sequential Part of PLC programs; S. Lampérière-Couffin, J.-J. Lesage. An Abstract Model for Sequential Function Charts; S. Bornot, et al. Modeling, Analysis, and Implementation of Logic Controllers for Machining Systems using Petri Nets and SFC; E. Park, et al. Time-related Modelling of PLC Systems with Time-less Petri Nets; M. Heiner, T. Menzel. Verification of IL Programs with an Explicit Model of their PLC Execution; H. Treseler, et al. A Two Phase Optimisation Strategy for DEDS: Application to a Manufacturing System; A. Zimmerman, et al. Optimal Resource Allocation in Blending Production Systems: A Genetic Algorithm Solution; Z. Liu, B.J. McCarragher. Off-Line Computation of Real-Time Schedules by Means of Petri Nets; E. Grolleau, A. Choquet-Geniet. Applications of m-Balanced Sequences to Some Network Scheduling Problems; S. Sano, N. Miyoshi. State Observer Synthesis for a Class of Condition Systems; Y. Gong, L.E. Holloway. Separability of Predicates and Languages in Large-Scale Discrete Event Systems; S. Takai, et al. A General Control Switching Framework of Supervisory Control of Discrete Event Systems; H. Darabi, M.A. Jafari. Fair Control of &ohgr;-Automata; H. Yen. Detection of the Main Failure in Complex Critical Systems; E. Grégoire, D. Ansart. Transitory Control in Cy