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...
Enregistré dans:
| Andre forfattere: | , , |
|---|---|
| Format: | Livre numérique |
| Sprog: | Anglais |
| Udgivet: |
Berlin ; Paris [etc.] :
Springer-Verlag Berlin Heidelberg : Springer e-books
[20..].
Cham : Springer Nature |
| Serier: | Lecture notes in control and information sciences
279 |
| Fag: | |
| Online adgang: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Kommentar: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Modelling, analysis, and design of hybrid systems, S. Engell, G. Frehse, and E. Schnieder, Berlin, Springer, 2002, 1 vol. (XIII-504 p.), Lecture notes in control and information sciences, 3-540-43812-2 • Modelling, Analysis and Design of Hybrid Systems, Texte imprimé, 9783662210246 |
Indholdsfortegnelse:
- 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.