Logical Foundations of Cyber-Physical Systems by Platzer, André

Logical Foundations of Cyber-Physical Systems (Hardcover) (ISBN-13: 9783319635873)

Vendor: André Platzer
Product type: Books
Format: Hardcover
$54.99
$54.99
$54.99
Subtotal: $54.99
Logical Foundations of Cyber-Physical Systems by Platzer, André

Logical Foundations of Cyber-Physical Systems

$54.99
Logical Foundations of Cyber-Physical Systems by Platzer, André

Logical Foundations of Cyber-Physical Systems

$54.99
Format: Hardcover
Description
Description
x

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
ISBN-10: 3319635875
ISBN-13: 9783319635873
Publisher: Springer
Language: English
Published: 08/11/2018
Pages: 639
Format: Hardcover
Weight: 2.45lbs
Size: 9.21h x 6.14w x 1.44d
By André Platzer
By André Platzer
x

André Platzer is an Associate Professor in the Computer Science Department at Carnegie Mellon University. He develops the logical foundations of cyberphysical systems to characterize their fundamental principles and to determine how we can trust computers to control physical processes. He has a Ph.D. from the University of Oldenburg, Germany. He received an ACM Doctoral Dissertation Honorable Mention and NSF Career Award, and he was named one of the Brilliant 10 Young Scientists by the Popular Science magazine and one of AI's 10 to Watch by the IEEE Intelligent Systems Magazine.

Recently Viewed Products