The application of trajectory-based analysis for hybrid systems

Authors
Deng, Yi
ORCID
Thumbnail Image
Files
176757_Deng_rpi_0185E_10731.pdf (845.82 KB)
Other Contributors
Julius, Anak Agung
Wen, John T.
Wu, Wencen
Rajhans, Akshay
Issue Date
2015-08
Keywords
Electrical engineering
Degree
PhD
Terms of Use
This electronic version is a licensed copy owned by Rensselaer Polytechnic Institute, Troy, NY. Copyright of original work retained by author.
Full Citation
URI
https://hdl.handle.net/20.500.13015/1540
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
Department
Dept. of Electrical, Computer, and Systems Engineering
Publisher
Rensselaer Polytechnic Institute, Troy, NY
Relationships
Rensselaer Theses and Dissertations Online Collection
Access
Restricted to current Rensselaer faculty, staff and students. Access inquiries may be directed to the Rensselaer Libraries.
Collections
RPI Theses Online (Complete)