In this book, a methodology integrating qualitative reasoning and bond graphs is developed to construct intelligent supervisory control systems. Qualitative reasoning is a powerful model-based reasoning method while bond graphs are a formal modelling language for dynamic systems. Their integration and qualitative reasoning on bond graphs results in a problem-solving approach to artificial intelligence, in which qualitative reasoning is used as the general reasoning strategy and bond graphs are employed as the knowledge representation.A systematic modelling procedure based on qualitative bond graphs is presented. A controller design method is developed to derive control algorithms from qualitative bond graph models. An auto-tuning scheme is proposed to adjust the controllers in order to meet performance criteria and adapt to system changes. A fault diagnosis mechanism is built to localise system faults, and an additional measurement suggestion method is developed for the diagnosis result refinement. An automatic planner is proposed to generate the operation sequences for system start-up, shut-down, and emergency measures to help human operators operate systems safely. All of these applications are combined together via a management mechanism to construct a supervisory control system.

This book includes all papers presented at the International Symposium on Monitoring Behavior and Supervisory Control held at Berchtesgaden, Federal Republic of Germany, March 8-12, 1976. The Symposium was sponsored by the Scientific Affairs Division of the North Atlantic Treaty Organization, Brussels, and the government of the Federal Republic of Germany, Bonn. We believe the book constitutes an important and timely status report on monitoring behavior and supervisory control by human operators of complex man-machine systems in which the computer is sharing key functions with the man. These systems include aircraft and other vehicles, nuclear and more conventional power plants, and processes for the manu facture of chemicals, petroleum, and discrete parts. By "monitoring" we mean the systematic observation by a human operator of mul tiple sources of information, e. g. , ranging from integrated display consoles to disparate "live situations". The monitor's purpose is to determine whether operations are normal and proceeding as desired, and to diagnose difficulties in the case of abnormality or undesirable outcomes. By "supervisory control" we mean control by a human operator of a computer which, at a lower level, is controlling a dynamic system. In such systems, the computer-control normally operates continuously or at high data rates in loops closed through electromechanical sensors and motors. By contrast, the human operator normally signals or reprograms the computer intermittently or at a much slower pace. The human operator handles the higher level tasks and determines the goals of the overall system.

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 specialists, and expressive of a range of control-theoretic ideas. It allows readers to choose between automaton-based and dually language-based forms of SCT, depending on whether their preference is for an internal-structural or external-behavioral description of the problem. The monograph begins with two chapters on algebraic and linguistic preliminaries and the fundamental concepts and results of SCT are introduced. To handle complexity caused by system scale, architectural approaches—the horizontal modularity of decentralized and distributed supervision and the vertical modularity of hierarchical supervision—are introduced. Supervisory control under partial observation and state-based supervisory control are also addressed; in the latter, a vector DES model that exploits internal regularity of algebraic structure is proposed. Finally SCT is generalized to deal with timed DES by incorporating temporal features in addition to logical ones. Researchers and graduate students working with the control of discrete-event systems or who are interested in the development of supervisory control methods will find this book an invaluable aid in their studies. The text will also be of assistance to researchers in manufacturing, logistics, communications and transportation, areas which provide plentiful examples of the class of systems being discussed.

This book is a collection of chapters on the state of art in the area of intelligent machines. This research provides a sound basis to make autonomous systems human-like. The contributions include an introduction to intelligent machines; supervisory control of multiple UAVs; and intelligent autonomous UAV task allocation. Also included is material on UAV path planning; dynamic path planning ; state estimation of micro air vehicles and architecture for soccer playing robots, as well as robot perception.

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.

This book focuses primarily on both technical and business aspects needed to select, design, develop and deploy control application (or product) successfully for multiple components in building systems. Designing and deploying a control application require multiple steps such as sensing, system dynamics modelling, algorithms, and testing. This may involve choosing an appropriate methodology and technique at multiple stages during the development process. Understanding the pros and cons of such techniques, most importantly being aware of practically possible approaches in the entire ecosystem, is critical in choosing the best framework and system application for different parts of building systems. Providing a wide overview of the state-of art in controls and building systems, providing guidance on developing an end-to-end system in relation to business fundamentals (distribution channels, stakeholders, marketing, supply-chain and financial management), the book is ideal for fourth-year control/mechanical/electrical engineering undergraduates, graduate students, and practitioners including business leaders concerned with smart building technology.

This examination of the implications and regulation of autonomous weapons systems combines contributions from law, robotics and philosophy.

This book is the result of a united effort of six European universities to create an overall course on the appplication of artificial intelligence (AI) in process control. The book includes an introduction to key areas including; knowledge representation, expert, logic, fuzzy logic, neural network, and object oriented-based approaches in AI. Part two covers the application to control engineering, part three: Real-Time Issues, part four: CAD Systems and Expert Systems, part five: Intelligent Control and part six: Supervisory Control, Monitoring and Optimization.

This book introduces the development process, structural theories and research areas of intelligent control; explains the knowledge representations, searching and reasoning mechanisms as the fundamental techniques of intelligent control; studies the theoretical principles and architectures of various intelligent control systems; analyzes the paradigms of representative applications of intelligent control; and discusses the research and development trends of the intelligent control.From the general point of view, this book possesses the following features: updated research results both in theory and application that reflect the latest advances in intelligent control; closed connection between theory and practice that enables readers to use the principles to their case studies and practical projects; and comprehensive materials that helps readers in understanding and learning.