<p><em>Petri Net Synthesis for Discrete Event Control of Manufacturing</em><em>Systems</em> develops two essential resource-sharing concepts: parallel and sequential mutual exclusions and theoretical results in Petri synthesis. A parallel mutual exclusion (PME) is defined to model a resource shared
Discrete Event Systems, Manufacturing Systems, and Communication Networks
β Scribed by P. E. Caines, Y. J. Wei (auth.), P. R. Kumar, P. P. Varaiya (eds.)
- Publisher
- Springer-Verlag New York
- Year
- 1995
- Tongue
- English
- Leaves
- 261
- Series
- The IMA Volumes in Mathematics and its Applications 73
- Edition
- 1
- Category
- Library
No coin nor oath required. For personal study only.
β¦ Synopsis
This IMA Volume in Mathematics and its Applications DISCRETE EVENT SYSTEMS, MANUFACTURING SYSTEMS AND COMMUNICATION NETWORKS is based on the proceedings of a workshop that was an integral part of the 1992-93 IMA program on "Control Theory. " The study of discrete event dynamical systems (DEDS) has become rapidly popular among researchers in systems and control, in communication networks, in manufacturing, and in distributed computing. This development has created problems for reΒ searchers and potential "consumers" of the research. The first problem is the veritable Babel of languages, formalisms, and approaches, which makes it very difficult to determine the commonalities and distinctions among the competing schools of approaches. The second, related, problem arises from the different traditions, paradigms, values, and experience that scholars bring to their study of DEDS, depending on whether they come from control, comΒ munication, computer science, or mathematical logic. As a result, intellectual exchange among scholars becomes compromised by unexplicated assumptions. The purpose of the Workshop was to promote exchange among scholars representing some of the major "schools" of thought in DEDS with the hope that (1) greater clarity will be achieved thereby, and (2) cross-fertilization will lead to more fruitful questions. We thank P. R. Kumar and P. P. Varaiya for organizing the workshop and editing the proceedings. We also take this opportunity to thank the National Science Foundation and the Army Research Office, whose financial support made the workshop possible. A vner Friedman Willard Miller, Jr.
β¦ Table of Contents
Front Matter....Pages i-xvii
Markovian Fragments of COCOLOG Theories....Pages 1-39
On-Line Optimization of Queues Using Infinitesimal Perturbation Analysis....Pages 41-57
A New Paradigm for Stochastic Optimization and Parallel Simulation....Pages 59-72
Dynamic Set-Up Scheduling of Flexible Manufacturing Systems: Design and Stability of Near Optimal General Round Robin Policies....Pages 73-104
Homomorphic Reduction of Coordination Analysis....Pages 105-147
Discrete-Time Markov-Reward Models of Production Systems....Pages 149-175
Modeling Real-Time Systems using Rate Automata....Pages 177-199
Symbolic Discrete-Event Simulation....Pages 201-224
Decentralized Discrete-Event Systems and Computational Complexity....Pages 225-241
Starvation-Based Instability of Distributed Scheduling Policies in Non-Acyclic Fluid and Queuing Networks....Pages 243-253
β¦ Subjects
Systems Theory, Control;Calculus of Variations and Optimal Control;Optimization;Mechanics;Control, Robotics, Mechatronics
π SIMILAR VOLUMES
<p><em>Discrete Event Systems: Analysis and Control</em> 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 o
<p>Discrete Event Systems: Diagnosis and Diagnosability addresses the problem of fault diagnosis of Discrete Event Systems (DESs). This book provides the basic techniques and approaches necessary for the design of an efficient fault diagnosis system for a wide range of modern engineering application
For junior- and senior-level simulation courses in engineering, business, or computer science. While most books on simulation focus on particular software tools, Discrete Event System Simulation examines the principles of modeling and analysis that translate to all such tools. This language-independ
For junior- and senior-level simulation courses in engineering, business, or computer science. While most books on simulation focus on particular software tools, Discrete Event System Simulation examines the principles of modeling and analysis that translate to all such tools. This language-independ