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 the resolution of such problems in terms of naturally definable control-theoretic concepts and properties, like reachability, controllability and observability. It exploits a simple, abstract model of controlled discrete-event systems (DES) that has proved to be tractable, appealing to control...

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 of external supervisory control action to individual component agents as their internal control strategies. The procedure is: first synthesize a monolithic supervisor, to achieve globally optimal and nonblocking controlled behavior, then decompose the monolithic supervisor into local controller...

Markov decision process (MDP) models are widely used for modeling sequential decision-making problems that arise in engineering, economics, computer science, and the social sciences. Many real-world problems modeled by MDPs have huge state and/or action spaces, giving an opening to the curse of dimensionality and so making practical solution of the resulting models intractable. In other cases, the system of interest is too complex to allow explicit specification of some of the MDP model pa...

Nonlinear Model Predictive Control is a thorough and rigorous introduction to nonlinear model predictive control (NMPC) for discrete-time and sampled-data systems. NMPC is interpreted as an approximation of infinite-horizon optimal control so that important properties like closed-loop stability, inverse optimality and suboptimality can be derived in a uniform manner. These results are complemented by discussions of feasibility and robustness. NMPC schemes with and without stabilizing termi...

Life has many surprises. One of the best surprises is meeting a caring mentor, an encouraging collaborator, or an enthusiastic friend. This volume is a tribute to P- fessor Michael K. Sain, who is such a teacher,colleague,and friend.On the beautiful fall day of October 27, 2007, friends, families, colleagues, and former students ga- ered at a workshop held in Notre Dame, Indiana. This workshop brought together many people whose lives have been touched by Mike to celebrate his milestone 70t...

The book addresses the control issues such as stability analysis, control synthesis and filter design of Markov jump systems with the above three types of TPs, and thus is mainly divided into three parts. Part I studies the Markov jump systems with partially unknown TPs. Different methodologies with different conservatism for the basic stability and stabilization problems are developed and compared. Then the problems of state estimation, the control of systems with time-varying delays, the...

This book presents high-quality original contributions on positive systems, including topics such as: monotone dynamical systems in mathematical biology and game theory; mathematical developments for networked systems in biology, chemistry and the social sciences; linear and nonlinear positive operators; dynamical analysis, observation and control of positive distributed parameter systems; stochastic realization theory; biological systems with positive variables and positive controls; iter...

This book develops a dynamical model of the orbital motion of Lorentz spacecraft in both unperturbed and J2-perturbed environments. It explicitly discusses three kinds of typical space missions involving relative orbital control: spacecraft hovering, rendezvous, and formation flying. Subsequently, it puts forward designs for both open-loop and closed-loop control schemes propelled or augmented by the geomagnetic Lorentz force. These control schemes are entirely novel and represent a signif...

In this edited collection we commemorate the 60th birthday of Prof. Christopher Byrnes and the retirement of Prof. Anders Lindquist from the Chair of Optimization and Systems Theory at KTH. These papers were presented in part at a 2009 workshop in KTH, Stockholm, honoring the lifetime contributions of Professors Byrnes and Lindquist in various fields of applied mathematics.

This thesis proposes a novel Model Predictive Control (MPC) strategy, which modifies the usual MPC cost function in order to achieve a desirable sparse actuation. It features an ℓ1-regularised least squares loss function, in which the control error variance competes with the sum of input channels magnitude (or slew rate) over the whole horizon length. While standard control techniques lead to continuous movements of all actuators, this approach enables a selected subset of actuators to be ...

In this book for the first time two scientific fields - consensus formation and synchronization of communications - are presented together and examined through their interrelational aspects, of rapidly growing importance. Both fields have indeed attracted enormous research interest especially in relation to complex networks.In networks of dynamic systems (or agents), consensus means to reach an agreement regarding a certain quantity of interest that depends on the state of all dyna...

Distributed-order differential equations, a generalization of fractional calculus, are of increasing importance in many fields of science and engineering from the behaviour of complex dielectric media to the modelling of nonlinear systems.This Brief will broaden the toolbox available to researchers interested in modeling, analysis, control and filtering. It contains contextual material outlining the progression from integer-order, through fractional-order to distributed-order system...