Control of Discrete-Event Systems

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

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 o

This monograph deals with control problems of discrete-time dynamical systems which include linear and nonlinear input/output relations In its present second enlarged edition the control problems of l

Computer modeling and simulation (M&S) allows engineers to study and analyze complex systems. Discrete-event system (DES)-M&S is used in modern management, industrial engineering, computer sci

This monograph deals with control problems of discrete-time dynamical systems that include linear and nonlinear input/output relations. It provides new results and their extensions which can also be a

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

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

A textbook for a graduate course in discrete event systems, which provides a formal treatment of artificial even-driven systems such as factories and computers that are not amenable to treatments base

This book reports on a set of new techniques for resolving current issues in networked control systems. The main focus is on strategies for event-based control, for both centralized and decentralized

This book presents the latest findings on stochastic dynamic programming models and on solving optimal control problems in networks. It includes the authors’ new findings on determining the optimal so

A comprehensive development of interpolating control, this monograph demonstrates the reduced computational complexity of a ground-breaking technique compared with the established model predictive con

In this monograph the authors develop a theory for the robust control of discrete-time stochastic systems, subjected to both independent random perturbations and to Markov chains. Such systems are wid

The study of discrete structures and networks becomes more and more important in decision theory. A relevant topic in modern control theory reflecting this fact is concerned with multiobjective contro

The increased computational power and software tools available to engineers have increased the use and dependence on modeling and computer simulation throughout the design process. These tools have g

The first motivation of Synthesis and Control of Discrete Event Systems is to inform the reader of recent developments and current trends in system synthesis. This is a field of active research aiming

The authors explain in this work a new approach to observing and controlling linear systems whose inputs and outputs are not fixed in advance. They cover a class of linear time-invariant state/signal system that is general enough to include most of the standard classes of linear time-invariant dynamical systems, but simple enough that it is easy to understand the fundamental principles. They begin by explaining the basic theory of finite-dimensional and bounded systems in a way suitable for graduate courses in systems theory and control. They then proceed to the more advanced infinite-dimensional setting, opening up new ways for researchers to study distributed parameter systems, including linear port-Hamiltonian systems and boundary triplets. They include the general non-passive part of the theory in continuous and discrete time, and provide a short introduction to the passive situation. Numerous examples from circuit theory are used to illustrate the theory.

This book presents a study on the novel concept of“event-triggered control of nonlinear systems subject to disturbances”, discussing the theory and practical applications. Richly illustrated, it is a valuable resource for researchers, engineers and graduate students in automation engineering who wish to learn the theories, technologies, and applications of event-triggered control of nonlinear systems.

This book combines a comprehensive state-of-the-art analysis of bifurcations of discrete-time dynamical systems with concrete instruction on implementations (and example applications) in the free MATLAB® software MatContM developed by the authors. While self-contained and suitable for independent study, the book is also written with users in mind and is an invaluable reference for practitioners. Part I focuses on theory, providing a systematic presentation of bifurcations of fixed points and cycles of finite-dimensional maps, up to and including cases with two control parameters. Several complementary methods, including Lyapunov exponents, invariant manifolds and homoclinic structures, and parts of chaos theory, are presented. Part II introduces MatContM through step-by-step tutorials on how to use the general numerical methods described in Part I for simple dynamical models defined by one- and two-dimensional maps. Further examples in Part III show how MatContM can be used to analyze

The book presents recent advances in the theory of neural control for discrete-time nonlinear systems with multiple inputs and multiple outputs. It provides solutions for the output trajectory trackin

This book is an up-to-date self-contained compendium of the research carried out by the authors on model-based diagnosis of a class of discrete-event systems called active systems. After defining the

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

The proceedings of the summer school held at the Université Savoie Mont Blanc, France, 'Mathematics in Savoie 2015', whose theme was long time behavior and control of evolution equations. The event was attended by world-leading researchers from the community of control theory, as well as young researchers from around the globe. This volume contains surveys of active research topics, along with original research papers containing exciting new results on the behavior of evolution equations. It will therefore benefit both graduate students and researchers. Key topics include the recent view on the controllability of parabolic systems that permits the reader to overview the moment method for parabolic equations, as well as numerical stabilization and control of partial differential equations.

This easy-to-follow textbook provides an exercise-driven guide to the use of the Discrete Event Systems Specification (DEVS) simulation modeling formalism and the System Entity Structure (SES) simulat

The event-based systems are a class of reactive systems found in diverse application areas such as industrial control and automation, automotive, building automation, and more. The perspective of redu

Optimization of a dynamic system has immense importance in Management Science. Both discrete time and continuous time optimal control systems are very useful instruments in this regard. To simulate un

This book covers the modeling, analysis, and design of linear discrete control systems, providing case studies of practical implementations. It describes z- and modified z-transforms, sampling and dat

This textbook is ideal for a course in engineering systems dynamics and controls. The work is a comprehensive treatment of the analysis of lumped parameter physical systems. Starting with a discussion of mathematical models in general, and ordinary differential equations, the book covers input/output and state space models, computer simulation and modeling methods and techniques in mechanical, electrical, thermal and fluid domains. Frequency domain methods, transfer functions and frequency response are covered in detail. The book concludes with a treatment of stability, feedback control (PID, lead-lag, root locus) and an introduction to discrete time systems. This new edition features many new and expanded sections on such topics as: solving stiff systems, operational amplifiers, electrohydraulic servovalves, using Matlab with transfer functions, using Matlab with frequency response, Matlab tutorial and an expanded Simulink tutorial. The work has 40% more end-of-chapter exercises and 3

This book addresses the problem of fault diagnosis of Discrete Event Systems (DESs). It provides the basic techniques and approaches necessary for the design of an efficient fault diagnosis system for