상세정보
Export to Refworks부가기능
Model-based Compositional Verification Approaches and Tools Development for Cyber-physical Systems
상세 프로파일
| 자료유형 | 학위논문 |
|---|---|
| 서명/저자사항 | Model-based Compositional Verification Approaches and Tools Development for Cyber-physical Systems. |
| 개인저자 | Ren, Hao. |
| 단체저자명 | Iowa State University. Electrical and Computer Engineering. |
| 발행사항 | [S.l.]: Iowa State University., 2018. |
| 발행사항 | Ann Arbor: ProQuest Dissertations & Theses, 2018. |
| 형태사항 | 105 p. |
| 기본자료 저록 | Dissertation Abstracts International 79-11B(E). Dissertation Abstract International |
| ISBN | 9780438077003 |
| 학위논문주기 | Thesis (Ph.D.)--Iowa State University, 2018. |
| 일반주기 |
Source: Dissertation Abstracts International, Volume: 79-11(E), Section: B.
Adviser: Ratnesh Kumar. |
| 요약 | The model-based design for embedded real-time systems utilizes the veriable reusable components and proper architectures, to deal with the verification scalability problem caused by state-explosion. In this thesis, we address verification approa |
| 요약 | For the component-level design-time verification, we developed a symbolic verifier, LhaVrf, for the reachability verification of concurrent linear hybrid systems (LHA). It is unique in translating a hybrid automaton into a transition system that |
| 일반주제명 | Electrical engineering. |
| 언어 | 영어 |
| 바로가기 | 
: 이 자료의 원문은 한국교육학술정보원에서 제공합니다. |
