책 이미지
eBook 미리보기
책 정보
· 제목 : Verification and Control of Hybrid Systems: A Symbolic Approach (Hardcover)
· 분류 : 외국도서 > 과학/수학/생태 > 수학 > 논리
· ISBN : 9781441902238
· 쪽수 : 202쪽
· 출판일 : 2009-06-15
· 분류 : 외국도서 > 과학/수학/생태 > 수학 > 논리
· ISBN : 9781441902238
· 쪽수 : 202쪽
· 출판일 : 2009-06-15
목차
Basic concepts.- Systems.- Verifcation problems.- Control problems.- Finite systems.- Exact system relationships.- Verification.- Control.- Infinite Systems Exact symbolic models.- Exact symbolic models for verification.- Exact symbolic models for control.- Infinite Systems Approximate symbolic models.- Approximate system relationships.- Approximate symbolic models for verification.- Approximate symbolic models for control.
