Discrete event dynamic system

About: Discrete event dynamic system is a research topic. Over the lifetime, 1456 publications have been published within this topic receiving 36574 citations.

Supervisory control of a class of discrete event processes

Abstract: This paper studies the control of a class of discrete event processes, i.e. processes that are discrete, asynchronous and possibly nondeter-ministic. The controlled process is described as the generator of a formal language, while the controller, or supervisor, is constructed from the grammar of a specified target language that incorporates the desired closed-loop system behavior. The existence problem for a supervisor is reduced to finding the largest controllable language contained in a given legal language. Two examples are provided.

The control of discrete event systems

Abstract: A discrete event system (DES) is a dynamic system that evolves in accordance with the abrupt occurrence, at possibly unknown irregular intervals, of physical events. Such systems arise in a variety of contexts ranging from computer operating systems to the control of complex multimode processes. A control theory for the logical aspects of such DESs is surveyed. The focus is on the qualitative aspects of control, but computation and the related issue of computational complexity are also considered. Automata and formal language models for DESs are surveyed. >

Discrete-time control systems

Abstract: Discrete-time control systems , Discrete-time control systems , مرکز فناوری اطلاعات و اطلاع رسانی کشاورزی

Synchronization and Linearity: An Algebra for Discrete Event Systems

Abstract: This book proposes a unified mathematical treatment of a class of 'linear' discrete event systems, which contains important subclasses of Petri nets and queuing networks with synchronization constraints. The linearity has to be understood with respect to nonstandard algebraic structures, e.g. the 'max-plus algebra'. A calculus is developed based on such structures, which is followed by tools for computing the time behaviour to such systems. This algebraic vision lays the foundation of a bona fide 'discrete event system theory', which is shown to parallel the classical linear system theory in several ways.

Control of Discrete Event Systems

Abstract: Discrete Event Systems (DES) are a special type of dynamic systems The "state" of these systems changes only at discrete instants of time and the term "event" is used to represent the occurrence of discontinuous changes (at possibly unknown intervals) Different Discrete Event Systems models are currently used for specification, verification, synthesis as well as for analysis and evaluation of different qualitative and quantitative properties of existing physical systems The main focus of this paper is the presentation of the automata and formal language model for DES introduced by Raniadge and Wonham in 1985 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 Comments University of Pennsylvania Department of Computer and Information Science Technical Report No MSCIS-92-35 This technical report is available at ScholarlyCommons: http://repositoryupennedu/cis_reports/523 Control of Discrete Event Systems MS-CIS-92-35 GRASP LAB 313