서브메뉴
검색
A Fully Automated Framework for Control of Linear Systems from Temporal Logic Specifications
A Fully Automated Framework for Control of Linear Systems from Temporal Logic Specifications
Detailed Information
- 자료유형
- 기사
- ISSN
- 00189286
- 서명/저자
- A Fully Automated Framework for Control of Linear Systems from Temporal Logic Specifications / Kloetzer, M. ; Belta, C.
- 형태사항
- pp. 287
- 기타저자
- Kloetzer, M.
- 기타저자
- Belta, C.
- 모체레코드
- 모체정보확인
- Control Number
- gtec:340144
MARC
008170927s2008 a a kor■022 ▼a00189286
■245 ▼aA Fully Automated Framework for Control of Linear Systems from Temporal Logic Specifications▼dKloetzer, M.▼eBelta, C.
■300 ▼app. 287
■7001 ▼aKloetzer, M.
■7001 ▼aBelta, C.
■773 ▼tIEEE transactions on Automatic Control▼gv.53 n.1▼d2008, 02
■SIS ▼aKS018806▼b63263▼h3▼sG
