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...
Corporate Author: | |
---|---|
Other Authors: | , , |
Format: | Electronic eBook |
Language: | English |
Published: |
Berlin, Heidelberg :
Springer Berlin Heidelberg : Imprint: Springer,
2002.
|
Edition: | 1st ed. 2002. |
Series: | Lecture Notes in Control and Information Sciences,
279 |
Subjects: | |
Online Access: | Full Text via HEAL-Link |
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.