Title Discrete event systems : analysis and control / edited by R. Boel, G. Stremersch

Published Boston ; London : Kluwer Academic, [2000] ©2000

Copies

Location	Call no.	Vol.	Availability
W'PONDS	629.89 Boe/Des		AVAILABLE

Description xi, 484 pages : illustrations ; 25 cm Series The Kluwer international series in engineering and computer science ; SECS 569 Kluwer international series in engineering and computer science ; SECS 569 Contents Machine derived contents note: Preface. Part I: Mini Course: A Course on Sensitivity Analysis for Gradient Estimation of DES Performance Measures; F. Vz̀quez-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ľout͡. 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. Lamperiere-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. Gregoire, D. Ansart. Transitory Control in Cyclic Job Shop Scheduling; A.B. Noronha, R. Santos-Mendes. An Archtecture of a Petri Net Based Event-driven Controller; S. Bulach, et al. Supervisory Control in Discret Event Systems Using the Theory of Regions; N. Rezg, et al. Linear and Integer Programmes in Supervisory Control of Petri Nets; G. Stremersch. Synthesis of Admissable Behavior of Petri Nets for Partial Order Specifications; A. Luder, H.M. Hanisch. Safety Control of Completely Observed Markov Chains; A. Arapostathis, et al. Singularly Perturbed Finite Markov Chains with General Ergodic Structure; K.E. Avrachenkov. Weak Differentation and Gradient Estimation for Discrete Event Driven Processes; B. Heidergott, F.J. Vazquez-Abad. Structurally Safe Net Systems; F. Garcia-Valles, et al. Modelling and Analyzing Systems with Recursive Petri Nets; S. Haddad, D. Poitrenaud. Prioritised Synchronous Composition of Inhibitor Arc Petri Nets; A. Hellgren, et al. Part III: Tool Documentation: Data Processing Tool for Calculation in Dioid; B. Cottenceau, et al. DESCO &endash; a Tool for Education and Control of Discrete Event Systems; M. Fabian, A. Hellgren. SPECTOOL: Automated Synthesis of Control Code for Discrete Event Controllers; L. Holloway, et al. Modular Reachability Analyzer for High-Level Petri Nets; M. Makela. Synthesis of Discrete Controllers Based on the Signal Environment; H. Marchand, et al. The &lgr;-Shift Interchange Format; T. Simsek. Author Index Notes "Papers ... presented at WODES2000, the 5th Workshop on Discrete Event Systems, Ghent, Belgium, August 21-23 2000" - Preface Bibliography Includes bibliographical references and index Subject Discrete-time systems -- Congresses. System analysis -- Congresses. System analysis. Discrete-time systems. Genre/Form Conference papers and proceedings. Author Boel, R. (Rene), 1946- Stremersch, G. (Geert), 1973- Workshop on Discrete Event Systems (5th : 2000 : Ghent, Belgium) LC no. 00055998 ISBN 0792378970 :

  Permalink