Download or read book Decentralized Supervisory Control of Reactive Discrete event Systems written by Liang Du and published by . This book was released on 2006 with total page 0 pages. Available in PDF, EPUB and Kindle. Book excerpt: In this thesis we propose to apply Ramadge-Wonham supervisory control theory to Reactive Discrete-Event Systems (RDES). A reactive system continually interacts with its environment at the speed dictated by the latter. We will first present our decentralized RDES architecture, which is based on Input/Output (I/O) automata model. After introducing safety and progress, we define the corresponding centralized and decentralized supervisory control problems concerning both safety and progress. We explain through examples why the existing results in supervisory control theory cannot be directly applied. Substitute sufficient and necessary conditions for the existence of decentralized solutions are given. In the special case where only safety is considered, we also study centralized and decentralized supervisory control problems, and present more straightforward sufficient and necessary conditions for the existence of their solutions. An example is presented to illustrate how decentralized RDES are modeled, how decentralized components co-operate with each other, and how the revised decentralized supervisory control theory can be applied to the study of RDES.

Download or read book Supervisory Control of Discrete Event Systems written by W. Murray Wonham and published by Springer. This book was released on 2018-08-17 with total page 487 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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.

Download or read book Introduction to Discrete Event Systems written by Christos G. Cassandras and published by Springer Nature. This book was released on 2021-11-11 with total page 821 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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.

Download or read book Decentralized Supervisory Control of Discrete event Systems with Communication written by K. C. Wong and published by . This book was released on 1996 with total page 10 pages. Available in PDF, EPUB and Kindle. Book excerpt:

Download or read book Synthesis and Control of Discrete Event Systems written by Benoît Caillaud and published by Springer Science & Business Media. This book was released on 2013-04-17 with total page 223 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book aims at providing a view of the current trends in the development of research on Synthesis and Control of Discrete Event Systems. Papers col lected in this volume are based on a selection of talks given in June and July 2001 at two independent meetings: the Workshop on Synthesis of Concurrent Systems, held in Newcastle upon Tyne as a satellite event of ICATPN/ICACSD and organized by Ph. Darondeau and L. Lavagno, and the Symposium on the Supervisory Control of Discrete Event Systems (SCODES), held in Paris as a satellite event of CAV and organized by B. Caillaud and X. Xie. Synthesis is a generic term that covers all procedures aiming to construct from specifications given as input objects matching these specifications. The ories and applications of synthesis have been studied and developped for long in connection with logics, programming, automata, discrete event systems, and hardware circuits. Logics and programming are outside the scope of this book, whose focus is on Discrete Event Systems and Supervisory Control. The stress today in this field is on a better applicability of theories and algorithms to prac tical systems design. Coping with decentralization or distribution and caring for an efficient realization of the synthesized systems or controllers are of the utmost importance in areas so diverse as the supervision of embedded or man ufacturing systems, or the implementation of protocols in software or in hard ware.

Download or read book Control of Discrete Event Systems written by Carla Seatzu and published by Springer. This book was released on 2012-07-27 with total page 488 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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.

Download or read book Robust Decentralized Supervisory Control of Discrete event Systems written by Mohammad Rahnamaei and published by . This book was released on 2009 with total page 0 pages. Available in PDF, EPUB and Kindle. Book excerpt: In this thesis we study robust supervisory control of discrete event systems in two different settings. First, we consider the problem of synthesizing a set of decentralized supervisors when the precise model of the plant is not known, but it is known that it is among a finite set of plant models. To tackle this problem, we form the union of all possible behaviors and construct an appropriate specification, from the given set of specifications, and solve the conventional decentralized supervisory control associated with it. We also prove that the given robust problem has a solution if and only if this conventional decentralized supervisory control problem has a solution. In another setting, we investigate the problem of synthesizing a set of communicating supervisors in the presence of delay in communication channels, and call it Unbounded Communication Delay Robust Supervisory Control problem (UCDR-SC problem). In this problem, We assume that delay is unbounded but it is finite, meaning that any message sent from a local supervisor will be received by any other local supervisors after a finite but unknown delay. To solve this problem, we redefine the supervisory decision making rules, introduce a new language property called unbounded-communication-delay-robust (UCDR), and present a set of conditions on the specification of the problem. We also show that the new class of languages that is the solution to this problem has some interesting relations with other observational languages.

Download or read book Discrete Event Systems written by R. Boel and published by Springer Science & Business Media. This book was released on 2012-12-06 with total page 489 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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).

Download or read book Modeling Analysis and Control of Centralized and Decentralized Logical Discrete event Systems written by George Russell Barrett and published by . This book was released on 1999 with total page 322 pages. Available in PDF, EPUB and Kindle. Book excerpt:

Download or read book Synthesis of Communicating Decentralized Supervisors for Discrete event Systems with Application to Communication Protocol Synthesis written by Amin Mannani and published by . This book was released on 2009 with total page 0 pages. Available in PDF, EPUB and Kindle. Book excerpt: A Discrete-Event Systems (DES) may be viewed as a dynamic system with a discrete state space and a discrete state-transition structure with an event-driven nature, which makes it different from the systems described by differential or difference equations. Given the desired behavior of a DES as a specification, decentralized supervisory control theory seeks to design for a (distributed) DES, consisting of a number of (geographically distant) sites, a set of supervisors, one for each site, such that the behavior of the DES always remains within the specification. If the specification is not coobservable, these supervisors need to communicate amongst each other. This thesis proposes a mathematical framework to formally model and synthesize such communicating decentralized supervisors. The framework provides a decentralized representation of the DES's centralized supervisor and captures its observational and control-related information as mappings, which are called updating and guard functions, respectively. This leads to a polynomial dynamical system, which serves to model the required communication and synthesize its rules. The systematic synthesis, obtained through this approach, characterizes the class of distributed control problems which are solvable only with communication, comes up with a finer partition of it, and addresses practical issues. The thesis ends with the application of the theoretical results to the modeling and synthesis of a communication protocol.

Download or read book Supervisor Localization written by Kai Cai and published by Springer. This book was released on 2015-06-23 with total page 203 pages. Available in PDF, EPUB and Kindle. Book excerpt: This monograph presents a systematic top-down approach to distributed control synthesis of discrete-event systems (DES). The approach is called supervisor localization; its essence is the allocation of external supervisory control action to individual component agents as their internal control strategies. The procedure is: first synthesize a monolithic supervisor, to achieve globally optimal and nonblocking controlled behavior, then decompose the monolithic supervisor into local controllers, one for each agent. The collective behavior of the resulting local controllers is identical to that achieved by the monolithic supervisor. The basic localization theory is first presented in the Ramadge–Wonham language-based supervisory control framework, then demonstrated with distributed control examples of multi-robot formations, manufacturing systems, and distributed algorithms. An architectural approach is adopted to apply localization to large-scale DES; this yields a heterarchical localization procedure, which is also demonstrated with benchmark examples. Moreover, a state-based framework, state-tree structures, is exploited for efficient computation of localization. Finally localization is extended to timed DES, which addresses distributed control synthesis with temporal specifications. The authors’ TCT software and sourcecode will help the reader to reproduce the results demonstrated in the examples. Academic researchers and graduate students interested in discrete-event and distributed systems and control will find this book an instructive resource. It will also be useful for researchers in manufacturing, supply-chain and logistics and practitioners in related industries.

Download or read book Embedded Supervisory Control of Discrete event Systems written by Yue Yang and published by . This book was released on 2005 with total page 0 pages. Available in PDF, EPUB and Kindle. Book excerpt: In this work we propose to implement supervisory control by embedding control in the plant Finite State Machine (FSM). Supervisory control is introduced by extending the plant with boolean variables, guard formulas and updating functions. Boolean variables are used to encode the supervisor's states. Event observation is captured by a set of boolean functions that update the values of boolean variables, and control is introduced by guarding events with boolean formulas. The resulting Extended Finite State Machine (EFSM) implements the supervisory control map in the sense that the languages closed and marked by the EFSM are equal to those of the supervised system. After studying embedded supervisory control under partial observation, centralized and decentralized control architectures are analyzed. It is shown that the coobservability condition remains necessary and sufficient for the existence of decentralized supervisors. An application of our approach in the synthesis of communication protocols is presented.

Download or read book Discrete Event Systems Modeling and Control written by S. Balemi and published by Birkhäuser. This book was released on 2012-12-06 with total page 224 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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.

Download or read book Monitoring and Control of Centralized and Decentralized Partially observed Discrete event Systems written by Tae-Sic Yoo and published by . This book was released on 2002 with total page 334 pages. Available in PDF, EPUB and Kindle. Book excerpt:

Download or read book Decentralized Control of Discrete event Systems written by Karen Gail Rudie and published by . This book was released on 1992 with total page 308 pages. Available in PDF, EPUB and Kindle. Book excerpt:

Download or read book Quantitatively Optimal Communication Protocols for Decentralized Supervisory Control of Discrete Event Systems written by Md Waselul Haque Sadid and published by . This book was released on 2014 with total page 154 pages. Available in PDF, EPUB and Kindle. Book excerpt: In this thesis, decentralized supervisory control problems which cannot be solved without some communication among the controllers are studied. Recent work has focused on finding minimal communication sets (events or state information) required to satisfy the specifications. A quantitative analysis for the decentralized supervisory control and communication problem is pursued through which an optimal communication strategy is obtained. Finding an optimal strategy for a controller in the decentralized control setting is challenging because the best strategy depends on the choices of other controllers, all of whom are also trying to optimize their own strategies. A locally-optimal strategy is one that minimizes the cost of the communication protocol for each controller. Two important solution concepts in game theory, namely Nash equilibrium and Pareto optimality, are used to analyze optimal interactions in multi-agent systems. These concepts are adapted for the decentralized supervisory control and communication problem. A communication protocol may help to realize the exact control solution in decentralized supervisory control problem; however, the cost may be high. In certain circumstances, it can be advantageous, from a cost perspective, to reduce communication, but incur a penalty for synthesizing an approximate control solution. An exploration of the trade-off between the cost and accuracy of a decentralized discrete-event control solution with synchronously communicating controllers in a multi-objective optimization problem is presented. A widely-used evolutionary algorithm (NSGA-II) is adapted to examine the set of Pareto-optimal solutions that arise for this family of decentralized discrete-event systems (DES). The decentralized control problem is synthesized first by considering synchronous communication among the controllers. In practice, there are non-negligible delays in communication channels which lead to undesirable effects on controller decisions. Recent work on modeling communication delay between controllers only considers the case when all observations are communicated. When this condition is relaxed, it may still be possible to formulate communicating decentralized controllers that can solve the control problem with reduced communications. Instead of synthesizing reduced communication protocols under bounded delay, a procedure is developed for testing protocols designed for synchronous communications (where not all observations are communicated) for their robustness under conditions when only an upper bound for channel delay is known. Finally a decentralized discrete-event control problem is defined in timed DES (TDES) with known upper-bound for communication delay. It is shown that the TDES control problem with bounded delay communication can be converted to an equivalent problem with no delay in communication. The latter problem can be solved using the algorithms proposed for untimed DES with synchronous communication.

Download or read book Supervisory Control of Fuzzy Discrete Event Systems with Applications to Mobile Robotics written by Awantha Jayasiri Dewage Don and published by . This book was released on 2012 with total page 264 pages. Available in PDF, EPUB and Kindle. Book excerpt: