책 이미지
eBook 미리보기
책 정보
· 제목 : Logical Analysis of Hybrid Systems: Proving Theorems for Complex Dynamics (Hardcover, 2010)
· 분류 : 외국도서 > 컴퓨터 > 하드웨어 > 중앙 컴퓨터/소형 컴퓨터
· ISBN : 9783642145087
· 쪽수 : 426쪽
· 출판일 : 2010-09-05
· 분류 : 외국도서 > 컴퓨터 > 하드웨어 > 중앙 컴퓨터/소형 컴퓨터
· ISBN : 9783642145087
· 쪽수 : 426쪽
· 출판일 : 2010-09-05
목차
Logics and Proof Calculi for Hybrid Systems.- Differential Dynamic Logic d?.- Differential-Algebraic Dynamic Logic DAL.- Differential Temporal Dynamic Logic dTL.- Automated Theorem Proving for Hybrid Systems.- Deduction Modulo Real Algebra and Computer Algebra.- Computing Differential Invariants as Fixed Points.- Case Studies and Applications in Hybrid Systems Verification.- European Train Control System.- Air Traffic Collision Avoidance.- Conclusion.
