Quantitative Control of Probabilistic Discrete Event Systems
Author: Ishanu Chattopadhyay
Publisher:
Published: 2006
Total Pages:
ISBN-13:
DOWNLOAD EBOOKPosts
Stochastic Discrete Event Systems
Author: Armin Zimmermann
Publisher: Springer Science & Business Media
Published: 2008-01-12
Total Pages: 393
ISBN-13: 3540741739
DOWNLOAD EBOOKStochastic discrete-event systems (SDES) capture the randomness in choices due to activity delays and the probabilities of decisions. This book delivers a comprehensive overview on modeling with a quantitative evaluation of SDES. It presents an abstract model class for SDES as a pivotal unifying result and details important model classes. The book also includes nontrivial examples to explain real-world applications of SDES.
Quantitative Measure for Discrete Event Supervisory Control
Author: Asok Ray
Publisher: Springer Science & Business Media
Published: 2008-06-21
Total Pages: 274
ISBN-13: 0387239030
DOWNLOAD EBOOKSupervisory Control Theory (SCT) provides a tool to model and control human-engineered complex systems, such as computer networks, World Wide Web, identification and spread of malicious executables, and command, control, communication, and information systems. Although there are some excellent monographs and books on SCT to control and diagnose discrete-event systems, there is a need for a research monograph that provides a coherent quantitative treatment of SCT theory for decision and control of complex systems. This new monograph will assimilate many new concepts that have been recently reported or are in the process of being reported in open literature. The major objectives here are to present a) a quantitative approach, supported by a formal theory, for discrete-event decision and control of human-engineered complex systems; and b) a set of applications to emerging technological areas such as control of software systems, malicious executables, and complex engineering systems. The monograph will provide the necessary background materials in automata theory and languages for supervisory control. It will introduce a new paradigm of language measure to quantitatively compare the performance of different automata models of a physical system. A novel feature of this approach is to generate discrete-event robust optimal decision and control algorithms for both military and commercial systems.
Introduction to Discrete Event Systems
Author: Christos G. Cassandras
Publisher: Springer Nature
Published: 2021-11-11
Total Pages: 821
ISBN-13: 3030722740
DOWNLOAD EBOOKThis unique textbook comprehensively introduces the field of discrete event systems, offering a breadth of coverage that makes the material accessible to readers of varied backgrounds. The book emphasizes a unified modeling framework that transcends specific application areas, linking the following topics in a coherent manner: language and automata theory, supervisory control, Petri net theory, Markov chains and queueing theory, discrete-event simulation, and concurrent estimation techniques. Topics and features: detailed treatment of automata and language theory in the context of discrete event systems, including application to state estimation and diagnosis comprehensive coverage of centralized and decentralized supervisory control of partially-observed systems timed models, including timed automata and hybrid automata stochastic models for discrete event systems and controlled Markov chains discrete event simulation an introduction to stochastic hybrid systems sensitivity analysis and optimization of discrete event and hybrid systems new in the third edition: opacity properties, enhanced coverage of supervisory control, overview of latest software tools This proven textbook is essential to advanced-level students and researchers in a variety of disciplines where the study of discrete event systems is relevant: control, communications, computer engineering, computer science, manufacturing engineering, transportation networks, operations research, and industrial engineering. ​Christos G. Cassandras is Distinguished Professor of Engineering, Professor of Systems Engineering, and Professor of Electrical and Computer Engineering at Boston University. Stéphane Lafortune is Professor of Electrical Engineering and Computer Science at the University of Michigan, Ann Arbor.
Discrete Event Systems
Author: R. Boel
Publisher: Springer Science & Business Media
Published: 2012-12-06
Total Pages: 489
ISBN-13: 1461544939
DOWNLOAD EBOOKDiscrete 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).
Modeling and Control of Logical Discrete Event Systems
Author: Ratnesh Kumar
Publisher: Springer Science & Business Media
Published: 2012-12-06
Total Pages: 154
ISBN-13: 146152217X
DOWNLOAD EBOOKThe field of discrete event systems has emerged to provide a formal treatment of many of the man-made systems such as manufacturing systems, communica tion networks. automated traffic systems, database management systems, and computer systems that are event-driven, highly complex, and not amenable to the classical treatments based on differential or difference equations. Discrete event systems is a growing field that utilizes many interesting mathematical models and techniques. In this book we focus on a high level treatment of discrete event systems. where the order of events. rather than their occurrence times, is the principal concern. Such treatment is needed to guarantee that the system under study meets desired logical goals. In this framework, dis crete event systems are modeled by formal languages or, equivalently, by state machines. The field of logical discrete event systems is an interdisciplinary field-it in cludes ideas from computer science, control theory, and operations research. Our goal is to bring together in one book the relevant techniques from these fields. This is the first book of this kind, and our hope is that it will be useful to professionals in the area of discrete event systems since most of the material presented has appeared previously only in journals. The book is also designed for a graduate level course on logical discrete event systems. It contains all the necessary background material in formal language theory and lattice the ory. The only prerequisite is some degree of "mathematical maturity".
Discrete Event Systems
Author: Reuven Y. Rubinstein
Publisher:
Published: 1993-10-19
Total Pages: 360
ISBN-13:
DOWNLOAD EBOOKA unified and rigorous treatment of the associated stochastic optimization problems is provided and recent advances in perturbation theory encompassed. Throughout the book emphasis is upon concepts rather than mathematical completeness with the advantage that the reader only requires a basic knowledge of probability, statistics and optimization.
Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems
Author: Jane Hillston
Publisher: Springer Nature
Published:
Total Pages: 352
ISBN-13: 3031684168
DOWNLOAD EBOOKNumerical Methods for Solving Discrete Event Systems
Author: Winfried Grassmann
Publisher: Springer Nature
Published: 2022-11-05
Total Pages: 370
ISBN-13: 3031100824
DOWNLOAD EBOOKThis graduate textbook provides an alternative to discrete event simulation. It describes how to formulate discrete event systems, how to convert them into Markov chains, and how to calculate their transient and equilibrium probabilities. The most appropriate methods for finding these probabilities are described in some detail, and templates for efficient algorithms are provided. These algorithms can be executed on any laptop, even in cases where the Markov chain has hundreds of thousands of states. This book features the probabilistic interpretation of Gaussian elimination, a concept that unifies many of the topics covered, such as embedded Markov chains and matrix analytic methods. The material provided should aid practitioners significantly to solve their problems. This book also provides an interesting approach to teaching courses of stochastic processes.
Discrete-Event Control of Stochastic Networks: Multimodularity and Regularity
Author: Eitan Altman
Publisher: Springer
Published: 2003-12-09
Total Pages: 303
ISBN-13: 3540397051
DOWNLOAD EBOOKOpening new directions in research in both discrete event dynamic systems as well as in stochastic control, this volume focuses on a wide class of control and of optimization problems over sequences of integer numbers. This is a counterpart of convex optimization in the setting of discrete optimization. The theory developed is applied to the control of stochastic discrete-event dynamic systems. Some applications are admission, routing, service allocation and vacation control in queuing networks. Pure and applied mathematicians will enjoy reading the book since it brings together many disciplines in mathematics: combinatorics, stochastic processes, stochastic control and optimization, discrete event dynamic systems, algebra.
