John Moody

Panos J. Antsaklis

Supervisory Control of Discrete Event Systems Using Petri Nets presents a novel approach to its subject. The concepts of supervisory control and discrete event systems are explained, and the background material on general Petri net theory necessary for using the book's control techniques is provided. A large number of examples is used to illustrate the concepts and techniques presented in the text, and there are plenty of references for those interested in additional study or more information on a particular topic. Supervisory Control of Discrete Event Systems Using Petri Nets is intended for graduate students, advanced undergraduates, and practicing engineers who are interested in the control problems of manufacturing, communication and computer networks, chemical process plants, and other high-level control applications. The text is written from an engineering perspective, but it is also appropriate for students of computer science, applied mathematics, or economics. The book contains enough background material to stand alone as an introduction to supervisory control with Petri nets, but it may also be used as a supplemental text in a course on discrete event systems or intelligent autonomous control.

Supervisory Control of Discrete Event Systems Using Petri Nets

Anthony N. Michel

"There are three words that characterize this work: thoroughness, completeness and clarity. The authors are congratulated for taking the time to write an excellent linear systems textbook!" —IEEE Transactions on Automatic Control Linear systems theory plays a broad and fundamental role in electrical, mechanical, chemical and aerospace engineering, communications, and signal processing. A thorough introduction to systems theory with emphasis on control is presented in this self-contained textbook, written for a challenging one-semester graduate course. A solutions manual is available to instructors upon adoption of the text. The book’s flexible coverage and self-contained presentation also make it an excellent reference guide or self-study manual. For a treatment of linear systems that focuses primarily on the time-invariant case using streamlined presentation of the material with less formal and more intuitive proofs, please see the authors’ companion book entitled A Linear Systems Primer.

Linear Systems

Anil Nerode

Wolf Kohn

Michael Lemmon

Shankar Sastry

This book constitutes the strictly refereed post-proceedings of the 5th International Hybrid Systems Workshop held in Notre Dame, Indiana, USA in September 1998. The 23 revised full papers presented in the book have gone through two rounds of thorough reviewing and revision. The volume presents state-of-the-art research results and particularly addresses such areas as program verification, concurrent and distributed processes, logic programming, logics of programs, discrete event simulation, calculus of variations, optimization, differential geometry, Lie algebras, automata theory, dynamical systems, etc.

Hybrid Systems V

Marian Iordache

This book addresses the design of such tools for correct-by-construction synthesis of supervisors for systems and specifications represented in the discrete-event framework. The approach employed uses Petri nets as discrete-event models and structural methods for the synthesis of supervisors, and may lead to significant computational benefits. Highlighting recent progress in the design of supervisors by structural methods, the book represents a novel contribution to the field. One of the main features of the presentation is the demonstration that structural methods can address a variety of supervisor specifications under diverse supervision settings.

A Petri Net Structural Approach

Supervisory Control of Concurrent Systems

Eloy Garcia

Luis A. Montestruque

This monograph introduces a class of networked control systems (NCS) called model-based networked control systems (MB-NCS) and presents various architectures and control strategies designed to improve the performance of NCS. The overall performance of NCS considers the appropriate use of network resources, particularly network bandwidth, in conjunction with the desired response of the system being controlled. The book begins with a detailed description of the basic MB-NCS architecture that provides stability conditions in terms of state feedback updates. It also covers typical problems in NCS such as network delays, network scheduling, and data quantization, as well as more general control problems such as output feedback control, nonlinear systems stabilization, and tracking control. Key features and topics include: Time-triggered and event-triggered feedback updates Stabilization of uncertain systems subject to time delays, quantization, and extended absence of feedback Optimal control analysis and design of model-based networked systems Parameter identification and adaptive stabilization of systems controlled over networks The MB-NCS approach to decentralized control of distributed systems Model-Based Control of Networked Systems will appeal to researchers, practitioners, and graduate students interested in the control of networked systems, distributed systems, and systems with limited feedback.

Panos J. Antsaklis

About

Books

Join the club