서브메뉴
검색
Feedback Refinement Relations for the Synthesis of Symbolic Controllers
Feedback Refinement Relations for the Synthesis of Symbolic Controllers
상세정보
- 자료유형
- 기사
- ISSN
- 00189286
- 서명/저자
- Feedback Refinement Relations for the Synthesis of Symbolic Controllers / Reissig, G. ; Weber, A. ; Rungger, M.
- 형태사항
- pp. 1781
- 기타저자
- Reissig, G.
- 기타저자
- Weber, A.
- 기타저자
- Rungger, M.
- 모체레코드
- 모체정보확인
- Control Number
- gtec:344819
MARC
008171011s2017 a a kor■022 ▼a00189286
■245 ▼aFeedback Refinement Relations for the Synthesis of Symbolic Controllers▼dReissig, G.▼eWeber, A.▼eRungger, M.
■300 ▼app. 1781
■7001 ▼aReissig, G.
■7001 ▼aWeber, A.
■7001 ▼aRungger, M.
■773 ▼tIEEE transactions on Automatic Control▼gv.62 n.4▼d2017, 04
■SIS ▼aKS034270▼b63263▼h3▼sG
