A Temporal Logic Approach to Supervisory Control of Discrete-event Systems PDF Download
Are you looking for read ebook online? Search for your book and save it on your Kindle device, PC, phones or tablets. Download A Temporal Logic Approach to Supervisory Control of Discrete-event Systems PDF full book. Access full book title A Temporal Logic Approach to Supervisory Control of Discrete-event Systems by Kiam Tian Seow. Download full books in PDF and EPUB format.
Author: Kiam Tian Seow
Publisher:
ISBN:
Category :
Languages : en
Pages : 201
Get Book Here
Book Description
Author: Kiam Tian Seow
Publisher:
ISBN:
Category :
Languages : en
Pages : 201
Get Book Here
Book Description
Author: Shengbing Jiang
Publisher:
ISBN:
Category : Discrete-time systems
Languages : en
Pages : 0
Get Book Here
Book Description
Author: W. Murray Wonham
Publisher: Springer
ISBN: 3319774522
Category : Technology & Engineering
Languages : en
Pages : 487
Get Book Here
Book Description
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: Jana Kos̆ecká
Publisher:
ISBN:
Category : Formal languages
Languages : en
Pages : 33
Get Book Here
Book Description
This model is suitable for the examination of some important control theoretic issues, such as controllability and observability from the qualitative point of view, and provides a good basis for modular synthesis of controllers. We will also discuss an Extended State Machine and Real-Time Temporal Logic model introduced by Ostroff and Wonham in [OW87]. It incorporates an explicit notion of time and means for specification and verification of discrete event systems using a temporal logic approach. An attempt is made to compare this model of DES with other ones."
Author: R. Boel
Publisher: Springer Science & Business Media
ISBN: 1461544939
Category : Science
Languages : en
Pages : 489
Get Book Here
Book Description
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: Akash Deshpande
Publisher:
ISBN:
Category : Control theory
Languages : en
Pages : 39
Get Book Here
Book Description
Author: Kai Cai
Publisher: Springer
ISBN: 3319204963
Category : Technology & Engineering
Languages : en
Pages : 203
Get Book Here
Book Description
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.
Author: S. Balemi
Publisher: Birkhäuser
ISBN: 3034891202
Category : Science
Languages : en
Pages : 224
Get Book Here
Book Description
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: Jing-Yue Lin
Publisher:
ISBN:
Category : Discrete-time systems
Languages : en
Pages : 548
Get Book Here
Book Description
The analysis and synthesis of discrete event systems (DESs) are addressed in this thesis by a temporal logic approach. This approach provides a temporal logic model and a temporal logic language for the modeling and specification, an algorithm for reachability analysis, and a procedure for the controller design and synthesis of DESs. To handle the probabilistic system where the point probability distributions are known, a temporal logic model is defined and a generalized temporal logic language is formulated to include the certainty operators for specifications and verification. An algorithm is developed for computing the reachability set and constructing the reachability graph. Using a process algebra, the composition and synthesis of processes are investigated through the process homomorphism; and a procedure is proposed for the controller synthesis and configuration. Then the optimization problem of DESs is solved by the $A\sp*$ algorithm via a heuristic search. Based on these results, a software package is developed for the temporal logic evaluation, reasoning and simulating discrete event systems. The software is designed using an object-oriented approach and implemented in Objective-C. The simulation results are reported in terms of the logic evaluation, temporal logic reasoning, and discrete event system simulation. Besides, the examples of applications are also given to convey and motivate the theoretical discussions. The results are compared with related works, particularly, qualitative reasoning, other modeling approaches of DESs, and different temporal logic approaches; and our results are seen more advantageous than them in various aspects.
Author: Christos G. Cassandras
Publisher: Springer Nature
ISBN: 3030722740
Category : Computers
Languages : en
Pages : 821
Get Book Here
Book Description
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.
