서브메뉴
검색
Reach-Avoid Verification for nonlinear Systems Based on Boundary Analysis
Reach-Avoid Verification for nonlinear Systems Based on Boundary Analysis
상세정보
- 자료유형
- 기사
- ISSN
- 00189286
- 서명/저자
- Reach-Avoid Verification for nonlinear Systems Based on Boundary Analysis / B.Xue, A.Easwaran, N.-J Cho, and M. Franzle
- 형태사항
- pp. 3518
- 모체레코드
- 모체정보확인
- Control Number
- gtec:345479
MARC
008171012s2017 a a kor■022 ▼a00189286
■245 ▼aReach-Avoid Verification for nonlinear Systems Based on Boundary Analysis▼dB.Xue, A.Easwaran, N.-J Cho, and M. Franzle
■300 ▼app. 3518
■7001 ▼aB.Xue, A.Easwaran, N.-J Cho, and M. Franzle
■773 ▼tIEEE transactions on Automatic Control▼gv.62 n.7▼d2017, 07
■SIS ▼aKS034550▼b63263▼h3▼sG
