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.

This book provides control engineers and workers in industrial and academic research establishments interested in process engineering with a means to build up a practical and functional supervisory control environment and to use sophisticated models to get the best use out of their process data. Several applications to academic and small-scale-industrial processes are discussed and the development of a supervision platform for an industrial plant is presented.

The series Advances in Industrial Control aims to report and encourage technology transfer in control engineering. The rapid development of control technology has an impact on all areas of the control discipline. New theory, new controllers, actuators, sensors, new industrial processes, computer methods, new applications, new philosophies ..., new challenges. Much of this development work resides in industrial reports, feasibility study papers and the reports of advanced collaborative projects. The series offers an opportunity for researchers to present an extended exposition of such new work in all aspects of industrial control for wider and rapid dissemination. The water and wastewater industry has undergone many changes in recent years. Of particular importance has been a renewed emphasis on improving resource management with tighter regulatory controls setting new targets on pricing, industry efficiency and loss reduction for both water and wastewater with more stringent environmental discharge conditions for wastewater. Meantime, the demand for water and wastewater services grows as the population increases and wishes for improved living conditions involving, among other items, domestic appliances that use water. Consequently, the installed infrastructure of the industry has to be continuously upgraded and extended, and employed more effectively to accommodate the new demands, both in throughput and in meeting the new regulatory conditions. Investment in fixed infrastructure is capital-intensive and slow to come on-stream. One outcome of these changes and demands is that the industry is examining the potential benefits of, and in many cases using, more advanced control systems.

Deadlock problems in flexible manufacturing systems (FMS) have received more and more attention in the last two decades. Petri nets are one of the more promising mathematical tools for tackling deadlocks in various resource allocation systems. In a system modeled with Petri nets, siphons are tied to the occurrence of deadlock states as a structural object. The book systematically introduces the novel theory of siphons, traps, and elementary siphons of Petri nets as well as the deadlock control strategies for FMS developed from it. Deadlock prevention methods are examined comparatively. The many FMS examples presented to demonstrate the concepts and results of this book range from the simple to the complex. Importantly, to inspire and motive the reader’s interest in further research, a number of interesting and open problems in this area are proposed at the end of each chapter.

Model Predictive Control System Design and Implementation Using MATLAB® proposes methods for design and implementation of MPC systems using basis functions that confer the following advantages: - continuous- and discrete-time MPC problems solved in similar design frameworks; - a parsimonious parametric representation of the control trajectory gives rise to computationally efficient algorithms and better on-line performance; and - a more general discrete-time representation of MPC design that becomes identical to the traditional approach for an appropriate choice of parameters. After the theoretical presentation, coverage is given to three industrial applications. The subject of quadratic programming, often associated with the core optimization algorithms of MPC is also introduced and explained. The technical contents of this book is mainly based on advances in MPC using state-space models and basis functions. This volume includes numerous analytical examples and problems and MATLAB® programs and exercises.

"This book explores the recent advancements in the areas of lean production, management, and the system and layout design for manufacturing environments, capturing the building blocks of lean transformation on a shop floor level"--