책 이미지
eBook 미리보기
책 정보
· 제목 : Formal Methods for Discrete-Time Dynamical Systems (Hardcover, 2017)
· 분류 : 외국도서 > 기술공학 > 기술공학 > 자동화
· ISBN : 9783319507620
· 쪽수 : 284쪽
· 출판일 : 2017-03-17
· 분류 : 외국도서 > 기술공학 > 기술공학 > 자동화
· ISBN : 9783319507620
· 쪽수 : 284쪽
· 출판일 : 2017-03-17
목차
Transition Systems.- Temporal Logics and Automata.- Model Checking.- Largest Finite Satisfying Region.- Finite Temporal Logic Control.- Discrete-Time Dynamical Systems.- Largest Satisfying Region.- Parameter Synthesis.- Temporal Logic Control.- Finite Bisimulations.- Language Guided Controller Synthesis.- Optimal Temporal Logic Control.- Background.
