Logical Foundations of Cyber-Physical Systems

By André Platzer

Book Overview

Supported with detailed lecture notes, lecture videos, homework assignments, and lab assignments

Cornerstone of author's course is hybrid programs (HPs), capturing dynamical aspects of cyber-physical systems (CPSs) in a simple programming language

Teaches skills required to formally analyze ubiquitous CPSs, such as power plants and pacemakers

• Format: Hardcover
• Language: English
• ISBN: 3319635875
• ISBN13: 9783319635873
• Release Date: August 2018
• Publisher: Springer
• Length: 639 Pages
• Weight: 2.45 lbs.
• Dimensions: 1.4" x 6.1" x 9.2"