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.


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