Modelling, Analysis and Design of Hybrid Systems

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Engell, S. (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt), Frehse, G. (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt), Schnieder, E. (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2002.
• Έκδοση: 1st ed. 2002.
• Σειρά: Lecture Notes in Control and Information Sciences, 279
• Θέματα: Control engineering.; Robotics.; Mechatronics.; Computer simulation.; Vibration.; Dynamical systems.; Dynamics.; System theory.; Statistical physics.; Control, Robotics, Mechatronics.; Simulation and Modeling.; Control and Systems Theory.; Vibration, Dynamical Systems, Control.; Systems Theory, Control.; Complex 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...

Πίνακας περιεχομένων:

• 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.