The application of trajectory-based analysis for hybrid systems
Loading...
Authors
Deng, Yi
Issue Date
2015-08
Type
Electronic thesis
Thesis
Thesis
Language
ENG
Keywords
Electrical engineering
Alternative Title
Abstract
Our research focuses on formally proving reachability, safety and diagnosability properties for hybrid systems using simulation-based method. The approach applies to hybrid system models with infinite many initial states and non-deterministic events. It maintains feasibility to high-dimensional systems, and is suitable for computer-aided numerical implementation.
Description
August 2015
School of Engineering
School of Engineering
Full Citation
Publisher
Rensselaer Polytechnic Institute, Troy, NY