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
- | Author: André Platzer
- | Publisher: Springer
- | Publication Date: Aug 11, 2018
- | Number of Pages: 639 pages
- | Binding: Hardback or Cased Book
- | ISBN-10: 3319635875
- | ISBN-13: 9783319635873
