MARC보기
LDR00000nmm u2200205 4500
001000000332575
00520241204095735
008181129s2018 ||| | | | eng d
020 ▼a 9780438077003
035 ▼a (MiAaPQ)AAI10789047
035 ▼a (MiAaPQ)iastate:17241
040 ▼a MiAaPQ ▼c MiAaPQ ▼d 248032
0491 ▼f DP
0820 ▼a 621.3
1001 ▼a Ren, Hao. ▼0 (orcid)0000-0001-7101-6120
24510 ▼a Model-based Compositional Verification Approaches and Tools Development for Cyber-physical Systems.
260 ▼a [S.l.] : ▼b Iowa State University., ▼c 2018
260 1 ▼a Ann Arbor : ▼b ProQuest Dissertations & Theses, ▼c 2018
300 ▼a 105 p.
500 ▼a Source: Dissertation Abstracts International, Volume: 79-11(E), Section: B.
500 ▼a Adviser: Ratnesh Kumar.
5021 ▼a Thesis (Ph.D.)--Iowa State University, 2018.
520 ▼a 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
520 ▼a 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
590 ▼a School code: 0097.
650 4 ▼a Electrical engineering.
690 ▼a 0544
71020 ▼a Iowa State University. ▼b Electrical and Computer Engineering.
7730 ▼t Dissertation Abstracts International ▼g 79-11B(E).
773 ▼t Dissertation Abstract International
790 ▼a 0097
791 ▼a Ph.D.
792 ▼a 2018
793 ▼a English
85640 ▼u http://www.riss.kr/pdu/ddodLink.do?id=T14997483 ▼n KERIS
980 ▼a 201812 ▼f 2019
990 ▼a 관리자 ▼b 관리자