Discrete Event Systems Modeling And Control

Author : Christos G. Cassandras,Stéphane Lafortune
Publisher : Springer Nature
Page : 821 pages
File Size : 53,5 Mb
Release : 2021-11-11
Category : Computers
ISBN : 9783030722746

Get Book

Introduction to Discrete Event Systems by Christos G. Cassandras,Stéphane Lafortune Pdf

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

Author : Ratnesh Kumar,Vijay K. Garg
Publisher : Springer Science & Business Media
Page : 154 pages
File Size : 49,8 Mb
Release : 2012-12-06
Category : Technology & Engineering
ISBN : 9781461522171

Get Book

Modeling and Control of Logical Discrete Event Systems by Ratnesh Kumar,Vijay K. Garg Pdf

The 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".

Author : Branislav Hrúz,MengChu Zhou
Publisher : Springer Science & Business Media
Page : 342 pages
File Size : 42,5 Mb
Release : 2007-08-17
Category : Science
ISBN : 9781846288777

Get Book

Modeling and Control of Discrete-event Dynamic Systems by Branislav Hrúz,MengChu Zhou Pdf

Discrete-event dynamic systems (DEDs) permeate our world. They are of great importance in modern manufacturing processes, transportation and various forms of computer and communications networking. This book begins with the mathematical basics required for the study of DEDs and moves on to present various tools used in their modeling and control. Industrial examples illustrate the concepts and methods discussed, making this book an invaluable aid for students embarking on further courses in control, manufacturing engineering or computer studies.

Author : Armin Zimmermann
Publisher : Springer Science & Business Media
Page : 393 pages
File Size : 44,5 Mb
Release : 2008-01-12
Category : Computers
ISBN : 9783540741732

Get Book

Stochastic Discrete Event Systems by Armin Zimmermann Pdf

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

Author : S. Balemi,P. Kozák,R. Smedinga
Publisher : Birkhäuser
Page : 224 pages
File Size : 44,7 Mb
Release : 2012-12-06
Category : Science
ISBN : 9783034891202

Get Book

Discrete Event Systems: Modeling and Control by S. Balemi,P. Kozák,R. Smedinga Pdf

Research of discrete event systems is strongly motivated by applications in flex ible manufacturing, in traffic control and in concurrent and real-time software verification and design, just to mention a few important areas. Discrete event system theory is a promising and dynamically developing area of both control theory and computer science. Discrete event systems are systems with non-numerically-valued states, inputs, and outputs. The approaches to the modelling and control of these systems can be roughly divided into two groups. The first group is concerned with the automatic design of controllers from formal specifications of logical requirements. This re search owes much to the pioneering work of P.J. Ramadge and W.M. Wonham at the beginning of the eighties. The second group deals with the analysis and op timization of system throughput, waiting time, and other performance measures for discrete event systems. The present book contains selected papers presented at the Joint Workshop on Discrete Event Systems (WODES'92) held in Prague, Czechoslovakia, on Au gust 26-28, 1992 and organized by the Institute of Information Theory and Au tomation of the Czechoslovak Academy of Sciences, Prague, Czechoslovakia, by the Automatic Control Laboratory of the Swiss Federal Institute of Technology (ETH) , Zurich, Switzerland, and by the Department of Computing Science of the University of Groningen, Groningen, the Netherlands.

Author : Christos G. Cassandras
Publisher : McGraw-Hill Science, Engineering & Mathematics
Page : 824 pages
File Size : 41,9 Mb
Release : 1993
Category : Mathematics
ISBN : UOM:39015028905324

Get Book

Discrete Event Systems by Christos G. Cassandras Pdf

Author : Gabriel A. Wainer,Pieter J. Mosterman
Publisher : CRC Press
Page : 520 pages
File Size : 55,7 Mb
Release : 2018-09-03
Category : Technology & Engineering
ISBN : 9781420072341

Get Book

Discrete-Event Modeling and Simulation by Gabriel A. Wainer,Pieter J. Mosterman Pdf

Collecting the work of the foremost scientists in the field, Discrete-Event Modeling and Simulation: Theory and Applications presents the state of the art in modeling discrete-event systems using the discrete-event system specification (DEVS) approach. It introduces the latest advances, recent extensions of formal techniques, and real-world examples of various applications. The book covers many topics that pertain to several layers of the modeling and simulation architecture. It discusses DEVS model development support and the interaction of DEVS with other methodologies. It describes different forms of simulation supported by DEVS, the use of real-time DEVS simulation, the relationship between DEVS and graph transformation, the influence of DEVS variants on simulation performance, and interoperability and composability with emphasis on DEVS standardization. The text also examines extensions to DEVS, new formalisms, and abstractions of DEVS models as well as the theory and analysis behind real-world system identification and control. To support the generation and search of optimal models of a system, a framework is developed based on the system entity structure and its transformation to DEVS simulation models. In addition, the book explores numerous interesting examples that illustrate the use of DEVS to build successful applications, including optical network-on-chip, construction/building design, process control, workflow systems, and environmental models. A one-stop resource on advances in DEVS theory, applications, and methodology, this volume offers a sampling of the best research in the area, a broad picture of the DEVS landscape, and trend-setting applications enabled by the DEVS approach. It provides the basis for future research discoveries and encourages the development of new applications.

Author : R. Boel,Geert Stremersch
Publisher : Springer Science & Business Media
Page : 489 pages
File Size : 55,5 Mb
Release : 2012-12-06
Category : Science
ISBN : 9781461544937

Get Book

Discrete Event Systems by R. Boel,Geert Stremersch Pdf

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

Author : W. Murray Wonham,Kai Cai
Publisher : Springer
Page : 487 pages
File Size : 52,9 Mb
Release : 2018-08-17
Category : Technology & Engineering
ISBN : 9783319774527

Get Book

Supervisory Control of Discrete-Event Systems by W. Murray Wonham,Kai Cai Pdf

This book shows how supervisory control theory (SCT) supports the formulation of various control problems of standard types, like the synthesis of controlled dynamic invariants by state feedback, and the resolution of such problems in terms of naturally definable control-theoretic concepts and properties, like reachability, controllability and observability. It exploits a simple, abstract model of controlled discrete-event systems (DES) that has proved to be tractable, appealing to control specialists, and expressive of a range of control-theoretic ideas. It allows readers to choose between automaton-based and dually language-based forms of SCT, depending on whether their preference is for an internal-structural or external-behavioral description of the problem. The monograph begins with two chapters on algebraic and linguistic preliminaries and the fundamental concepts and results of SCT are introduced. To handle complexity caused by system scale, architectural approaches—the horizontal modularity of decentralized and distributed supervision and the vertical modularity of hierarchical supervision—are introduced. Supervisory control under partial observation and state-based supervisory control are also addressed; in the latter, a vector DES model that exploits internal regularity of algebraic structure is proposed. Finally SCT is generalized to deal with timed DES by incorporating temporal features in addition to logical ones. Researchers and graduate students working with the control of discrete-event systems or who are interested in the development of supervisory control methods will find this book an invaluable aid in their studies. The text will also be of assistance to researchers in manufacturing, logistics, communications and transportation, areas which provide plentiful examples of the class of systems being discussed.

Author : Carla Seatzu,Manuel Silva,Jan H. van Schuppen
Publisher : Springer
Page : 488 pages
File Size : 52,7 Mb
Release : 2012-07-27
Category : Technology & Engineering
ISBN : 9781447142768

Get Book

Control of Discrete-Event Systems by Carla Seatzu,Manuel Silva,Jan H. van Schuppen Pdf

Control of Discrete-event Systems provides a survey of the most important topics in the discrete-event systems theory with particular focus on finite-state automata, Petri nets and max-plus algebra. Coverage ranges from introductory material on the basic notions and definitions of discrete-event systems to more recent results. Special attention is given to results on supervisory control, state estimation and fault diagnosis of both centralized and distributed/decentralized systems developed in the framework of the Distributed Supervisory Control of Large Plants (DISC) project. Later parts of the text are devoted to the study of congested systems though fluidization, an over approximation allowing a much more efficient study of observation and control problems of timed Petri nets. Finally, the max-plus algebraic approach to the analysis and control of choice-free systems is also considered. Control of Discrete-event Systems provides an introduction to discrete-event systems for readers that are not familiar with this class of systems, but also provides an introduction to research problems and open issues of current interest to readers already familiar with them. Most of the material in this book has been presented during a Ph.D. school held in Cagliari, Italy, in June 2011.

Author : Reggie Davidrajuh
Publisher : Springer
Page : 138 pages
File Size : 50,7 Mb
Release : 2018-02-28
Category : Technology & Engineering
ISBN : 9783319731025

Get Book

Modeling Discrete-Event Systems with GPenSIM by Reggie Davidrajuh Pdf

Modeling Discrete-Event Systems with GPenSIM describes the design and applications of General Purpose Petri Net Simulator (GPenSIM), which is a software tool for modeling, simulation, and performance analysis of discrete-event systems. The brief explains the principles of modelling discrete-event systems, as well as the design and applications of GPenSIM. It is based on the author’s lectures that were given on “modeling, simulation, and performance analysis of discrete event systems”. The brief uses GPenSIM to enable the efficient modeling of complex and large-scale discrete-event systems. GPenSIM, which is based on MATLAB®, is designed to allow easy integration of Petri net models with a vast number of toolboxes that are available on the MATLAB®. The book offers an approach for developing models that can interact with the external environment; this will help readers to solve problems in industrial diverse fields. These problems include: airport capacity evaluation for aviation authorities; finding bottlenecks in supply chains; scheduling drilling operations in the oil and gas industry; and optimal scheduling of jobs in grid computing. This brief is of interest to researchers working on the modeling, simulation and performance evaluation of discrete-event systems, as it shows them the design and applications of an efficient modeling package. Since the book also explains the basic principles of modeling discrete-event systems in a step-by-step manner, it is also of interest to final-year undergraduate and postgraduate students.

Author : John O. Moody,Panos J. Antsaklis
Publisher : Springer Science & Business Media
Page : 200 pages
File Size : 48,5 Mb
Release : 2012-12-06
Category : Technology & Engineering
ISBN : 9781461557111

Get Book

Supervisory Control of Discrete Event Systems Using Petri Nets by John O. Moody,Panos J. Antsaklis Pdf

Supervisory Control of Discrete Event Systems Using Petri Nets presents a novel approach to its subject. The concepts of supervisory control and discrete event systems are explained, and the background material on general Petri net theory necessary for using the book's control techniques is provided. A large number of examples is used to illustrate the concepts and techniques presented in the text, and there are plenty of references for those interested in additional study or more information on a particular topic. Supervisory Control of Discrete Event Systems Using Petri Nets is intended for graduate students, advanced undergraduates, and practicing engineers who are interested in the control problems of manufacturing, communication and computer networks, chemical process plants, and other high-level control applications. The text is written from an engineering perspective, but it is also appropriate for students of computer science, applied mathematics, or economics. The book contains enough background material to stand alone as an introduction to supervisory control with Petri nets, but it may also be used as a supplemental text in a course on discrete event systems or intelligent autonomous control.

Author : Jerry Banks
Publisher : Prentice Hall
Page : 634 pages
File Size : 52,8 Mb
Release : 2005
Category : Computers
ISBN : UOM:39015060601583

Get Book

Discrete-event System Simulation by Jerry Banks Pdf

This book provides a basic treatment of discrete-event simulation, including the proper collection and analysis of data, the use of analytic techniques, verification and validation of models, and designing simulation experiments.Contains up-to-date treatment of simulation of manufacturing and material handling systems. Includes numerous solved examples. Offers an integrated website. Explains how to interpret simulation software output.For those interested in learning more about discrete-event simulation.

Author : Steffen Bangsow
Publisher : Springer Science & Business Media
Page : 380 pages
File Size : 51,9 Mb
Release : 2012-04-24
Category : Technology & Engineering
ISBN : 9783642287770

Get Book

Use Cases of Discrete Event Simulation by Steffen Bangsow Pdf

Over the last decades Discrete Event Simulation has conquered many different application areas. This trend is, on the one hand, driven by an ever wider use of this technology in different fields of science and on the other hand by an incredibly creative use of available software programs through dedicated experts. This book contains articles from scientists and experts from 10 countries. They illuminate the width of application of this technology and the quality of problems solved using Discrete Event Simulation. Practical applications of simulation dominate in the present book. The book is aimed to researchers and students who deal in their work with Discrete Event Simulation and which want to inform them about current applications. By focusing on discrete event simulation, this book can also serve as an inspiration source for practitioners for solving specific problems during their work. Decision makers who deal with the question of the introduction of discrete event simulation for planning support and optimization this book provides a contribution to the orientation, what specific problems could be solved with the help of Discrete Event Simulation within the organization.

Author : Kevin M. Passino,Kevin L. Burgess
Publisher : Wiley-Interscience
Page : 228 pages
File Size : 50,6 Mb
Release : 1998-03-16
Category : Mathematics
ISBN : STANFORD:36105020123746

Get Book

Stability Analysis of Discrete Event Systems by Kevin M. Passino,Kevin L. Burgess Pdf

An authoritative presentation on an important emerging field. Discrete event systems are ubiquitous in modern society, and we rely heavily on their proper design, correct operation, and performance. Written by leaders in the field who have helped establish the foundations of the theory and applied the methods to a wide variety of applications, Stability Analysis of Discrete Event Systems is useful both as a textbook (homework problems are included) and for researchers in systems and control theory. This book includes many examples and three detailed case studies: computer network load balancing, manufacturing system scheduling, and intelligent control systems. Important features of this book include: A concise introduction to discrete event system modeling—including Petri nets Comprehensive treatment of stability concepts and Lyapunov analysis methods Stability of Petri models Case studies in Computer network load balancing system behavior and analysis Manufacturing system scheduler design and analysis Intelligent control system modeling and analysis (for expert control systems) An outlook on the role of stability concepts and analysis in intelligent, autonomous, and hybrid systems.