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: Paperback
• Language: English
• ISBN: 3030096971
• ISBN13: 9783030096977
• Release Date: February 2019
• Publisher: Springer
• Length: 639 Pages
• Weight: 2.04 lbs.
• Dimensions: 1.4" x 6.1" x 9.2"