Autonomous And Cooperative Control Of Networked Discrete Event Systems

This thesis considers networked discrete-event systems. The overall system is a network of subsystems, each of which includes a technical process modelled by an I/O automaton together with a controller and a network unit. These subsystems are interconnected by physical couplings and digital communication links. An important characteristic of the networked discreteevent systems is the partial autonomy of the subsystems, which is reflected by the fact that each subsystem solves its local tasks individually. Cooperation among the subsystems becomes necessary if physical couplings or control specifications have to be resolved by two or more subsystems in order to satisfy the local tasks. Hence, the subsystems participate in satisfying cooperative tasks by adapting their behaviours while using the communication network without a coordinator. In these situations the following question arises: When and what information has to be exchanged by the subsystems and what should the structure of the communication network look like? As a main result of this thesis, it is proved that the subsystems in the networked discrete-event system determine deadlock-free execution orders of cooperative tasks with distributed model information by using the communication network and solving their local tasks. The applicability of the cooperative control solution is demonstrated by means of a collaborative process at the Handling System HANS. Markus Zgorzelski received his Bachelor in Electrical Engineering and Information Science from the Ruhr-Universität Bochum in 2011 and he received his Masters in Electrical Engineering and Information Science from the Ruhr-Universität Bochum in 2014. From 2014 to 2020 he was a scientific co-worker at the Institute of Automation and Computer Control, where he obtained his PhD. His research was focused on networked discrete-event systems.

This unique textbook comprehensively introduces the field of discrete event systems, offering a breadth of coverage that makes the material accessible to readers of varied backgrounds. The book emphasizes a unified modeling framework that transcends specific application areas, linking the following topics in a coherent manner: language and automata theory, supervisory control, Petri net theory, Markov chains and queueing theory, discrete-event simulation, and concurrent estimation techniques. Topics and features: detailed treatment of automata and language theory in the context of discrete event systems, including application to state estimation and diagnosis comprehensive coverage of centralized and decentralized supervisory control of partially-observed systems timed models, including timed automata and hybrid automata stochastic models for discrete event systems and controlled Markov chains discrete event simulation an introduction to stochastic hybrid systems sensitivity analysis and optimization of discrete event and hybrid systems new in the third edition: opacity properties, enhanced coverage of supervisory control, overview of latest software tools This proven textbook is essential to advanced-level students and researchers in a variety of disciplines where the study of discrete event systems is relevant: control, communications, computer engineering, computer science, manufacturing engineering, transportation networks, operations research, and industrial engineering. ​Christos G. Cassandras is Distinguished Professor of Engineering, Professor of Systems Engineering, and Professor of Electrical and Computer Engineering at Boston University. Stéphane Lafortune is Professor of Electrical Engineering and Computer Science at the University of Michigan, Ann Arbor.

A detailed and systematic introduction to the distributed cooperative control of multi-agent systems from a theoretical, network perspective Features detailed analysis and discussions on the distributed cooperative control and dynamics of multi-agent systems Covers comprehensively first order, second order and higher order systems, swarming and flocking behaviors Provides a broad theoretical framework for understanding the fundamentals of distributed cooperative control

During the last decades, considerable progress has been observed in all aspects regarding the study of cooperative systems including modeling of cooperative systems, resource allocation, discrete event driven dynamical control, continuous and hybrid dynamical control, and theory of the interaction of information, control, and hierarchy. Solution methods have been proposed using control and optimization approaches, emergent rule based techniques, game theoretic and team theoretic approaches. Measures of performance have been suggested that include the effects of hierarchies and information structures on solutions, performance bounds, concepts of convergence and stability, and problem complexity. These and other topics were discusses at the Second Annual Conference on Cooperative Control and Optimization in Gainesville, Florida. Refereed papers written by selected conference participants from the conference are gathered in this volume, which presents problem models, theoretical results, and algorithms for various aspects of cooperative control. Audience: The book is addressed to faculty, graduate students, and researchers in optimization and control, computer sciences and engineering.

The book discusses the concept of process automation and mechatronic system design, while offering a unified approach and methodology for the modeling, analysis, automation and control, networking, monitoring, and sensing of various machines and processes from single electrical-driven machines to large-scale industrial process operations. This step-by-step guide covers design applications from various engineering disciplines (mechanical, chemical, electrical, computer, biomedical) through real-life mechatronics problems and industrial automation case studies with topics such as manufacturing, power grid, cement production, wind generator, oil refining, incubator, etc. Provides step-by-step procedures for the modeling, analysis, control and automation, networking, monitoring, and sensing of single electrical-driven machines to large-scale industrial process operations. Presents model-based theory and practice guidelines for mechatronics system and process automation design. Includes worked examples in every chapter and numerous end-of-chapter real-life exercises, problems, and case studies.

The book provides a systematic and in-depth introduction to distributed event-triggered cooperative control for multi-agent systems from a theoretical perspective, which will be of particular interest to the readers. The included major research topics include: a unified design and analysis framework for centralized, clustered and distributed event-triggered schemes; fully distributed design for event/self-triggered schemes; resilient event-triggered control under malicious attacks; and various methods to aovid Zeno behavior. The comprehensive and systematic treatment of event-triggered communication and control in multi-agent system is one of the major features of the book, which is particularly suited for readers who are interested in learning principles and methods to deal with communication constraints in multi-agent systems and to design energy-saving control protocols. The book can benefit researchers, engineers, and graduate students in the fields of complex networks, smart grids, applied mathematics, electrical and electronic engineering, and computer engineering, etc.

This book includes original, peer-reviewed research papers from the ICAUS 2021, which offers a unique and interesting platform for scientists, engineers and practitioners throughout the world to present and share their most recent research and innovative ideas. The aim of the ICAUS 2021 is to stimulate researchers active in the areas pertinent to intelligent unmanned systems. The topics covered include but are not limited to Unmanned Aerial/Ground/Surface/Underwater Systems, Robotic, Autonomous Control/Navigation and Positioning/ Architecture, Energy and Task Planning and Effectiveness Evaluation Technologies, Artificial Intelligence Algorithm/Bionic Technology and Its Application in Unmanned Systems. The papers showcased here share the latest findings on Unmanned Systems, Robotics, Automation, Intelligent Systems, Control Systems, Integrated Networks, Modeling and Simulation. It makes the book a valuable asset for researchers, engineers, and university students alike.

Biomimicry uses our scienti?c understanding of biological systems to exploit ideas from nature in order to construct some technology. In this book, we focus onhowtousebiomimicryof the functionaloperationofthe “hardwareandso- ware” of biological systems for the development of optimization algorithms and feedbackcontrolsystemsthatextendourcapabilitiestoimplementsophisticated levels of automation. The primary focus is not on the modeling, emulation, or analysis of some biological system. The focus is on using “bio-inspiration” to inject new ideas, techniques, and perspective into the engineering of complex automation systems. There are many biological processes that, at some level of abstraction, can berepresentedasoptimizationprocesses,manyofwhichhaveasa basicpurpose automatic control, decision making, or automation. For instance, at the level of everyday experience, we can view the actions of a human operator of some process (e. g. , the driver of a car) as being a series of the best choices he or she makes in trying to achieve some goal (staying on the road); emulation of this decision-making process amounts to modeling a type of biological optimization and decision-making process, and implementation of the resulting algorithm results in “human mimicry” for automation. There are clearer examples of - ological optimization processes that are used for control and automation when you consider nonhuman biological or behavioral processes, or the (internal) - ology of the human and not the resulting external behavioral characteristics (like driving a car). For instance, there are homeostasis processes where, for instance, temperature is regulated in the human body.