Modeling and Control of Discrete-event Dynamic Systems : with Petri Nets and Other Tools
Discrete-event dynamic systems (DEDs) permeate our world, being of great importance in modern manufacturing processes, transportation and various forms of computer and communications networking. Modeling and Control of Discrete-event Dynamic Systems begins with the mathematical basics required for the study of DEDs and moves on to present various tools used in their modeling and control. Among the instruments explained are many forms of Petri net, Grafcet (the sequential function chart), state charts, formal languages and max-plus algebra; all essential for control students to become proficient with DEDs and to make use of them in practical applications.
Max-Plus Methods for Nonlinear Control and Estimation
The central focus of this book is the control of continuous-time/continuous-space nonlinear systems. Using new techniques that employ the max-plus algebra, the author addresses several classes of nonlinear control problems, including nonlinear optimal control problems and nonlinear robust/H-infinity control and estimation problems. Several numerical techniques are employed, including a max-plus eigenvector approach and an approach that avoids the curse-of-dimensionality.. The max-plus-based methods examined in this monograph belong to an entirely new class of numerical methods for the solution of nonlinear control problems.The potential advantages of the max-plus-based approaches lie in the fact that solution operators for nonlinear HJB problems are linear over the max-plus algebra, and this linearity is exploited in the construction of algorithms.
Max-Plus Linear Stochastic Systems and Perturbation Analysis
This book provides a thorough treatment of the theory of stochastic max-plus linear systems. Max-plus algebra is an algebraic approach to discrete event systems (DES), like queuing networks that are prone to synchronization. Perturbation analysis studies the sensitivity of the performance of DES with respect to changes in a particular system parameter.


