Modelling, Analysis and Design of Hybrid Systems

What Is a Hybrid System?....Pages 3-14
Description of Hybrid Systems by Modified Petri Nets....Pages 15-36
Model Based Development of Hybrid Systems: Specification, Simulation, Test Case Generation....Pages 37-51
Hybrid Modeling of Complex Process Control Function Blocks....Pages 53-65
Discrete Models for Hybrid Systems....Pages 67-80
An Environment for the Integrated Modelling of Systems with Complex Continuous and Discrete Dynamics....Pages 83-105
A DEVS-Based Approach for Modeling and Simulation of Hybrid Variable Structure Systems....Pages 107-129
Object-Oriented Development of Simulation Models for Complex Hybrid Systems....Pages 131-149
Introduction to the Analysis and Verification of Hybrid Systems....Pages 153-171
Reachability Analysis and Control of a Special Class of Hybrid Systems....Pages 173-192
Performance Models for a Hybrid Reactor System....Pages 193-210
Using Parameterized Timestamp Petri Nets in Automatic Control....Pages 211-223
Compositional Verification of Continuous-Discrete Systems....Pages 225-244
Abstraction Based Supervisory Controller Synthesis for High Order Monotone Continuous Systems....Pages 247-265
Hybrid Reconfigurable Control....Pages 267-284
Automatic Design of Controllers for Hybrid Systems Using Genetic Algorithms....Pages 285-294
Synthesis of a Discrete Control for Hybrid Systems by Means of a Petri-Net-State-Model....Pages 295-310
Nonlinear Hybrid Dynamical Systems: Modeling, Optimal Control, and Applications....Pages 311-335
Generation of Optimal Control Policies for Systems with Switched Hybrid Dynamics....Pages 337-352
Definition of a Type of Continuous-Discrete High-Level Petri Nets and Its Application to the Performance Analysis of Train Protection Systems....Pages 355-367
Simulation for Analysis of Aircraft Elevator Feedback and Redundancy Control....Pages 369-390
Development of Hybrid Component Models for Online Monitoring of Complex Dynamic Systems....Pages 391-417
Modelling and Simulation of Controlled Road Traffic....Pages 419-435
Hybrid Control of Multi-fingered Dextrous Robotic Hands....Pages 437-465