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...
| Other Authors: | , , |
|---|---|
| Format: | eBook |
| Language: | English |
| Published: |
Berlin, Heidelberg
Springer Berlin Heidelberg
2002, 2002
|
| Edition: | 1st ed. 2002 |
| Series: | Lecture Notes in Control and Information Sciences
|
| Subjects: | |
| Online Access: | |
| Collection: | Springer Book Archives -2004 - Collection details see MPG.ReNa |
Table of Contents:
- 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