This book introduces a formalism for modeling complex and large-scale systems that merges Petri nets, differential equation systems, and object-oriented methods. It describes a method that starts from the requirements of a supervisory system and results in a proposal for such a system. The book also presents a validation procedure that allows verification of the formal properties of the hybrid model.

In 1995, the Deutsche Forschungsgemeinschaft (DFG), the largest public research funding organization in Germany, decided to launch a priority program (Schw- punktprogramm in German) calledKondisk– Dynamics and Control of Systems with Mixed Continuous and Discrete Dynamics. Such a priority program is usually sponsored for six years and supports about twenty scientists at a time, in engineering andcomputersciencemostlyyoungresearchersworkingforadoctoraldegree. There is a yearly competition across all disciplines of arts and sciences for the funding of such programs, and the group of proposers was the happy winner of a slot in that year. The program started in 1996 after an open call for proposals; the successful projects were presented and re-evaluated periodically, and new projects could be submitted simultaneously. During the course of the focused research program, 25 different projects were funded in 19 participating university institutes, some of the projects were collaborative efforts of two groups with different backgrounds, mostly one from engineering and one from computer science. There were two main motivations for establishingKondisk. The rst was the fact that technical systems nowadays are composed of physical components with (mostly) continuous dynamics and computerized control systems where the reaction to discrete events plays a major role, implemented in Programmable Logic Contr- lers (PLCs), Distributed Control Systems (DCSs) or real-time computer systems.

"Hybrid systems are networks of interacting digital and analog devices. Control systems for inherently unstable aircraft and computer aided manufacturing are typical applications for hybrid systems, but due to the rapid development of processor and circuit technology modern cars and consumer electronics use software to control physical processes. The identifying characteristic of hybrid systems is that they incorporate both continuous components governed by differential equations and also digital components - digital computers, sensors, and actuators controlled by programs. This volume of invited refereed papers is inspired by a workshop on the Theory of Hybrid Systems, held at the Technical University, Lyngby, Denmark, in October 1992, and by a prior Hybrid Systems Workshop, held at Cornell University, USA, in June 1991, organized by R.L. Grossman and A. Nerode. Some papers are the final versions of papers presented at these workshops and some are invited papers from other researchers who were not able to attend these workshops."--PUBLISHER'S WEBSITE.

A supervisory hybrid control design approach is proposed for the operation and control of a wind energy conversion and battery storage system during grid-connected and in islanded operation. A finite hybrid-automata based modeling paradigm for the system is presented. The proposed model defines the allowable operating states and inter-state transition paths managed by the supervisory control layer. The subject system has been partitioned into three independent system modules using a modular control design approach. The supervisory control layer combines and configures control schemes of the constituent modules to suite the requirements of operation during any one operating state of the system. Transition management strategies implemented through the supervisory control layer ensure smooth inter-state transitions and bumpless switching among regulators. Detailed mathematical models of the system are provided in each operating state. Frequency domain linear analysis and time domain electromagnetic transient simulations are presented for the microgrid system under steady state and dynamic operating conditions including temporary faults on the utility grid.

Real-time Iterative Learning Control demonstrates how the latest advances in iterative learning control (ILC) can be applied to a number of plants widely encountered in practice. The book gives a systematic introduction to real-time ILC design and source of illustrative case studies for ILC problem solving; the fundamental concepts, schematics, configurations and generic guidelines for ILC design and implementation are enhanced by a well-selected group of representative, simple and easy-to-learn example applications. Key issues in ILC design and implementation in linear and nonlinear plants pervading mechatronics and batch processes are addressed, in particular: ILC design in the continuous- and discrete-time domains; design in the frequency and time domains; design with problem-specific performance objectives including robustness and optimality; design in a modular approach by integration with other control techniques; and design by means of classical tools based on Bode plots and state space.

Fault Detection and Fault-tolerant Control Using Sliding Modes is the first text dedicated to showing the latest developments in the use of sliding-mode concepts for fault detection and isolation (FDI) and fault-tolerant control in dynamical engineering systems. It begins with an introduction to the basic concepts of sliding modes to provide a background to the field. This is followed by chapters that describe the use and design of sliding-mode observers for FDI using robust fault reconstruction. The development of a class of sliding-mode observers is described from first principles through to the latest schemes that circumvent minimum-phase and relative-degree conditions. Recent developments have shown that the field of fault tolerant control is a natural application of the well-known robustness properties of sliding-mode control. A family of sliding-mode control designs incorporating control allocation, which can deal with actuator failures directly by exploiting redundancy, is presented. Various realistic case studies, specifically highlighting aircraft systems and including results from the implementation of these designs on a motion flight simulator, are described. A reference and guide for researchers in fault detection and fault-tolerant control, this book will also be of interest to graduate students working with nonlinear systems and with sliding modes in particular. Advances in Industrial Control aims to report and encourage the transfer of technology in control engineering. The rapid development of control technology has an impact on all areas of the control discipline. The series offers an opportunity for researchers to present an extended exposition of new work in all aspects of industrial control.