Quantitatively-Optimal Communication Protocols for Decentralized Supervisory Control of Discrete-Event Systems

In this thesis, decentralized supervisory control problems which cannot be solved without some communication among the controllers are studied. Recent work has focused on finding minimal communication sets (events or state information) required to satisfy the specifications. A quantitative analysis for the decentralized supervisory control and communication problem is pursued through which an optimal communication strategy is obtained. Finding an optimal strategy for a controller in the decentralized control setting is challenging because the best strategy depends on the choices of other controllers, all of whom are also trying to optimize their own strategies. A locally-optimal strategy is one that minimizes the cost of the communication protocol for each controller. Two important solution concepts in game theory, namely Nash equilibrium and Pareto optimality, are used to analyze optimal interactions in multi-agent systems. These concepts are adapted for the decentralized supervisory control and communication problem. A communication protocol may help to realize the exact control solution in decentralized supervisory control problem; however, the cost may be high. In certain circumstances, it can be advantageous, from a cost perspective, to reduce communication, but incur a penalty for synthesizing an approximate control solution. An exploration of the trade-off between the cost and accuracy of a decentralized discrete-event control solution with synchronously communicating controllers in a multi-objective optimization problem is presented. A widely-used evolutionary algorithm (NSGA-II) is adapted to examine the set of Pareto-optimal solutions that arise for this family of decentralized discrete-event systems (DES). The decentralized control problem is synthesized first by considering synchronous communication among the controllers. In practice, there are non-negligible delays in communication channels which lead to undesirable effects on controller decisions. Recent work on modeling communication delay between controllers only considers the case when all observations are communicated. When this condition is relaxed, it may still be possible to formulate communicating decentralized controllers that can solve the control problem with reduced communications. Instead of synthesizing reduced communication protocols under bounded delay, a procedure is developed for testing protocols designed for synchronous communications (where not all observations are communicated) for their robustness under conditions when only an upper bound for channel delay is known. Finally a decentralized discrete-event control problem is defined in timed DES (TDES) with known upper-bound for communication delay. It is shown that the TDES control problem with bounded delay communication can be converted to an equivalent problem with no delay in communication. The latter problem can be solved using the algorithms proposed for untimed DES with synchronous communication

Property Enforcement for Partially-Observed Discrete-Event Systems

Engineering systems that involve physical elements, such as automobiles, aircraft, or electric power pants, that are controlled by a computational infrastructure that consists of several computers that communicate through a communication network, are called Cyber-Physical Systems. Ever-increasing demands for safety, security, performance, and certi cation of these critical systems put stringent constraints on their design and necessitate the use of formal model-based approaches to synthesize provably-correct feedback controllers. This dissertation aims to tackle these challenges by developing a novel methodology for synthesis of control and sensing strategies for Discrete Event Systems (DES), an important class of cyber-physical systems. First, we develop a uniform approach for synthesizing property enforcing supervisors for a wide class of properties called information-state-based (IS-based) properties. We then consider the enforcement of non-blockingness in addition to IS-based properties. We develop a nite structure called the All Enforcement Structure (AES) that embeds all valid supervisors. Furthermore, we propose novel and general approaches to solve the sensor activation problem for partially-observed DES. We extend our results for the sensor activation problem from the centralized case to the decentralized case. The methodology in the dissertation has the following novel features: (i) it explicitly considers and handles imperfect state information, due to sensor noise, and limited controllability, due to unexpected environmental disturbances; (ii) it is a uniform information-state-based approach that can be applied to a variety of user-speci ed requirements; (iii) it is a formal model-based approach, which results in provably correct solutions; and (iv) the methodology and associated theoretical foundations developed are generic and applicable to many types of networked cyber-physical systems with safety-critical requirements, in particular networked systems such as aircraft electric power systems and intelligent transportation systems.PHDElectrical Engineering: SystemsUniversity of Michigan, Horace H. Rackham School of Graduate Studieshttps://deepblue.lib.umich.edu/bitstream/2027.42/137097/1/xiangyin_1.pd

Advances in Robotics, Automation and Control

The book presents an excellent overview of the recent developments in the different areas of Robotics, Automation and Control. Through its 24 chapters, this book presents topics related to control and robot design; it also introduces new mathematical tools and techniques devoted to improve the system modeling and control. An important point is the use of rational agents and heuristic techniques to cope with the computational complexity required for controlling complex systems. Through this book, we also find navigation and vision algorithms, automatic handwritten comprehension and speech recognition systems that will be included in the next generation of productive systems developed by man