Andrey V. Savkin

This book is primarily a research monograph that presents in a unified man­ ner some recent research on a class of hybrid dynamical systems (HDS). The book is intended both for researchers and advanced postgraduate stu­ dents working in the areas of control engineering, theoretical computer science, or applied mathematics and with an interest in the emerging field of hybrid dynamical systems. The book assumes competence in the basic mathematical techniques of modern control theory. The material presented in this book derives from a period of fruitful research collaboration between the authors that began in 1994 and is still ongoing. Some of the material contained herein has appeared as isolated results in journal papers and conference proceedings. This work presents this material in an integrated and coherent manner and also presents many new results. Much of the material arose from joint work with students and colleagues, and the authors wish to acknowledge the major contributions made by Ian Petersen, Efstratios Skafidas, Valery Ugrinovskii, David Cook, Iven Mareels, and Bill Moran. There is currently no precise definition of a hybrid dynamical system; however, in broad terms it is a dynamical system that involves a mixture of discrete-valued and continuous-valued variables. Since the early 1990s, a bewildering array of results have appeared under the umbrella of HDS, ranging from the analysis of elementary on-off control systems to sophis­ ticated mathematical logic-based descriptions of large real-time software systems.

This is a unified collection of important recent results for the design of robust controllers for uncertain systems, primarily based on H8 control theory or its stochastic counterpart, risk sensitive control theory. Two practical applications are used to illustrate the methods throughout.

This book is primarily a research monograph that presents in a unified man­ ner some recent research on a class of hybrid dynamical systems (HDS). The book is intended both for researchers and advanced postgraduate stu­ dents working in the areas of control engineering, theoretical computer science, or applied mathematics and with an interest in the emerging field of hybrid dynamical systems. The book assumes competence in the basic mathematical techniques of modern control theory. The material presented in this book derives from a period of fruitful research collaboration between the authors that began in 1994 and is still ongoing. Some of the material contained herein has appeared as isolated results in journal papers and conference proceedings. This work presents this material in an integrated and coherent manner and also presents many new results. Much of the material arose from joint work with students and colleagues, and the authors wish to acknowledge the major contributions made by Ian Petersen, Efstratios Skafidas, Valery Ugrinovskii, David Cook, Iven Mareels, and Bill Moran. There is currently no precise definition of a hybrid dynamical system; however, in broad terms it is a dynamical system that involves a mixture of discrete-valued and continuous-valued variables. Since the early 1990s, a bewildering array of results have appeared under the umbrella of HDS, ranging from the analysis of elementary on-off control systems to sophis­ ticated mathematical logic-based descriptions of large real-time software systems.

This is a unified collection of important recent results for the design of robust controllers for uncertain systems, primarily based on H8 control theory or its stochastic counterpart, risk sensitive control theory. Two practical applications are used to illustrate the methods throughout.

Autonomous Navigation and Deployment of UAVs for Communication, Surveillance and Delivery Authoritative resource offering coverage of communication, surveillance, and delivery problems for teams of unmanned aerial vehicles (UAVs) Autonomous Navigation and Deployment of UAVs for Communication, Surveillance and Delivery studies various elements of deployment of networks of unmanned aerial vehicle (UAV) base stations for providing communication to ground users in disaster areas, covering problems like ground traffic monitoring, surveillance of environmental disaster areas (e.g. brush fires), using UAVs in rescue missions, converting UAV video surveillance, and more. The work combines practical problems, implementable and computationally efficient algorithms to solve these problems, and mathematically rigorous proofs of each algorithm’s convergence and performance. One such example provided by the authors is a novel biologically inspired motion camouflage algorithm to covert video surveillance of moving targets by an unmanned aerial vehicle (UAV). All autonomous navigation and deployment algorithms developed in the book are computationally efficient, easily implementable in engineering practice, and based only on limited information on other UAVs of each and the environment. Sample topics discussed in the work include: Deployment of UAV base stations for communication, especially with regards to maximizing coverage and minimizing interferenceDeployment of UAVs for surveillance of ground areas and targets, including surveillance of both flat and uneven areasNavigation of UAVs for surveillance of moving areas and targets, including disaster areas and ground traffic monitoringAutonomous UAV navigation for covert video surveillance, offering extensive coverage of optimization-based navigationIntegration of UAVs and public transportation vehicles for parcel delivery, covering both one-way and round trips Professionals in navigation and deployment of unmanned aerial vehicles, along with researchers, engineers, scientists in intersecting fields, can use Autonomous Navigation and Deployment of UAVs for Communication, Surveillance and Delivery to gain general knowledge on the subject along with practical, precise, and proven algorithms that can be deployed in a myriad of practical situations.

Wireless Communication Networks Supported by Autonomous UAVs and Mobile Ground Robots covers wireless sensor networks and cellular networks. For wireless sensor networks, the book presents approaches using mobile robots or UAVs to collect sensory data from sensor nodes. For cellular networks, it discusses the approaches to using UAVs to work as aerial base stations to serve cellular users. In addition, the book covers the challenges involved in these two networks, existing approaches (e.g., how to use the public transportation vehicles to play the role of mobile sinks to collect sensory data from sensor nodes), and potential methods to address open questions.

This book introduces various coverage control problems for mobile sensor networks including barrier, sweep and blanket. Unlike many existing algorithms, all of the robotic sensor and actuator motion algorithms developed in the book are fully decentralized or distributed, computationally efficient, easily implementable in engineering practice and based only on information on the closest neighbours of each mobile sensor and actuator and local information about the environment. Moreover, the mobile robotic sensors have no prior information about the environment in which they operation. These various types of coverage problems have never been covered before by a single book in a systematic way. Another topic of this book is the study of mobile robotic sensor and actuator networks. Many modern engineering applications include the use of sensor and actuator networks to provide efficient and effective monitoring and control of industrial and environmental processes. Such mobile sensor and actuator networks are able to achieve improved performance and efficient monitoring together with reduction in power consumption and production cost.

Safe Robot Navigation Among Moving and Steady Obstacles is the first book to focus on reactive navigation algorithms in unknown dynamic environments with moving and steady obstacles. The first three chapters provide introduction and background on sliding mode control theory, sensor models, and vehicle kinematics. Chapter 4 deals with the problem of optimal navigation in the presence of obstacles. Chapter 5 discusses the problem of reactively navigating. In Chapter 6, border patrolling algorithms are applied to a more general problem of reactively navigating. A method for guidance of a Dubins-like mobile robot is presented in Chapter 7. Chapter 8 introduces and studies a simple biologically-inspired strategy for navigation a Dubins-car. Chapter 9 deals with a hard scenario where the environment of operation is cluttered with obstacles that may undergo arbitrary motions, including rotations and deformations. Chapter 10 presents a novel reactive algorithm for collision free navigation of a nonholonomic robot in unknown complex dynamic environments with moving obstacles. Chapter 11 introduces and examines a novel purely reactive algorithm to navigate a planar mobile robot in densely cluttered environments with unpredictably moving and deforming obstacles. Chapter 12 considers a multiple robot scenario. For the Control and Automation Engineer, this book offers accessible and precise development of important mathematical models and results. All the presented results have mathematically rigorous proofs. On the other hand, the Engineer in Industry can benefit by the experiments with real robots such as Pioneer robots, autonomous wheelchairs and autonomous mobile hospital.

A significant shortcoming of the state space control theory that emerged in the 1960s was its lack of concern for the issue of robustness. However, in the design of feedback control systems, robustness is a critical issue. These facts led to great activity in the research area of robust control theory. One of the major developments of modern control theory was the Kalman Filter and hence the development of a robust version of the Kalman Filter has become an active area of research. Although the issue of robustness in filtering is not as critical as in feedback control (where there is always the issue of instability to worry about), research on robust filtering and state estimation has remained very active in recent years. However, although numerous books have appeared on the topic of Kalman filtering, this book is one of the first to appear on robust Kalman filtering. Most of the material presented in this book derives from a period of research collaboration between the authors from 1992 to 1994. However, its origins go back earlier than that. The first author (LR. P. ) became in­ terested in problems of robust filtering through his research collaboration with Dr. Duncan McFarlane. At this time, Dr. McFarlane was employed at the Melbourne Research Laboratories ofBHP Ltd. , a large Australian min­ erals, resources, and steel processing company.

Hybrid dynamical systems, both continuous and discrete dynamics and variables, have attracted considerable interest recently. This emerging area is found at the interface of control theory and computer engineering, focusing on the analogue and digital aspects of systems and devices. They are essential for advances in modern digital- controller technology. "Qualitative Theory of Hybrid Dynamical Systems" provides a thorough development and systematic presentation of the foundations and framework for hybrid dynamical systems. The presentation offers an accessible, but precise, development of the mathematical models, conditions for existence of limit cycles, and criteria of their stability. The book largely concentrates on the case of discretely controlled continuous-time systems and their relevance for modeling aspects of flexible manufacturing systems and dynamically routed queuing networks. Features and topics: *differential automata*development and use of the concept "cyclic linear differential automata" (CLDA)*switched single-server flow networks coverage*application to specific models of manufacturing systems and queuing networks*select collection of open problems for the subject*self-contained presentation of topics, with the necessary background This new book is an excellent resource for the study and analysis of hybrid dynamical systems used in systems and control engineering. Researchers, postgraduates and professionals in control engineering and computer engineering will find the book an up-to-date development of the relevant new concepts and tools.

Although there is an emerging literature on the topic, this is the first book that attempts to present a systematic theory of estimation and control over communication networks. Using several selected problems of estimation and control over communication networks, the authors present and prove a number of results concerning optimality, stability, and robustness having practical significance for networked control system design. In particular, various problems of Kalman filtering, stabilization, and optimal control over communication channels are considered and solved. The results establish fundamental links among mathematical control theory, Shannon information theory, and entropy theory of dynamical systems. This essentially self-contained monograph offers accessible mathematical models and results for advanced postgraduate students, researchers, and practitioners working in the areas of control engineering, communications, information theory, signal processing, and applied mathematics.

Hybrid dynamical systems, both continuous and discrete dynamics and variables, have attracted considerable interest recently. This emerging area is found at the interface of control theory and computer engineering, focusing on the analogue and digital aspects of systems and devices. They are essential for advances in modern digital- controller technology. "Qualitative Theory of Hybrid Dynamical Systems" provides a thorough development and systematic presentation of the foundations and framework for hybrid dynamical systems. The presentation offers an accessible, but precise, development of the mathematical models, conditions for existence of limit cycles, and criteria of their stability. The book largely concentrates on the case of discretely controlled continuous-time systems and their relevance for modeling aspects of flexible manufacturing systems and dynamically routed queuing networks. Features and topics: *differential automata*development and use of the concept "cyclic linear differential automata" (CLDA)*switched single-server flow networks coverage*application to specific models of manufacturing systems and queuing networks*select collection of open problems for the subject*self-contained presentation of topics, with the necessary background This new book is an excellent resource for the study and analysis of hybrid dynamical systems used in systems and control engineering. Researchers, postgraduates and professionals in control engineering and computer engineering will find the book an up-to-date development of the relevant new concepts and tools.