Modelling, Analysis and Design of Hybrid Systems

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.

Inhalt

Modeling.- What Is a Hybrid System?.- Description of Hybrid Systems by Modified Petri Nets.- Model Based Development of Hybrid Systems: Specification, Simulation, Test Case Generation.- Hybrid Modeling of Complex Process Control Function Blocks.- Discrete Models for Hybrid Systems.- Simulation.- An Environment for the Integrated Modelling of Systems with Complex Continuous and Discrete Dynamics.- A DEVS-Based Approach for Modeling and Simulation of Hybrid Variable Structure Systems.- Object-Oriented Development of Simulation Models for Complex Hybrid Systems.- Analysis and Verification.- to the Analysis and Verification of Hybrid Systems.- Reachability Analysis and Control of a Special Class of Hybrid Systems.- Performance Models for a Hybrid Reactor System.- Using Parameterized Timestamp Petri Nets in Automatic Control.- Compositional Verification of Continuous-Discrete Systems.- Abstraction Based Supervisory Controller Synthesis for High Order Monotone Continuous Systems.- Hybrid Reconfigurable Control.- Automatic Design of Controllers for Hybrid Systems Using Genetic Algorithms.- Synthesis of a Discrete Control for Hybrid Systems by Means of a Petri-Net-State-Model.- Nonlinear Hybrid Dynamical Systems: Modeling, Optimal Control, and Applications.- Generation of Optimal Control Policies for Systems with Switched Hybrid Dynamics.- Applications.- Definition of a Type of Continuous-Discrete High-Level Petri Nets and Its Application to the Performance Analysis of Train Protection Systems.- Simulation for Analysis of Aircraft Elevator Feedback and Redundancy Control.- Development of Hybrid Component Models for Online Monitoring of Complex Dynamic Systems.- Modelling and Simulation of Controlled Road Traffic.- Hybrid Control of Multi-fingered Dextrous Robotic Hands.