{"product_id":"9783030096977","title":"Logical Foundations of Cyber-Physical Systems","description":"\u003ch1\u003eLogical Foundations of Cyber-Physical Systems\u003c\/h1\u003e\u003ch3\u003eAndré Platzer\u003c\/h3\u003e\u003cdiv\u003e\u003cb\u003eComputers \/ Computer Science\u003c\/b\u003e\u003c\/div\u003e\u003cbr\u003e\u003cdiv\u003e\n\u003cp\u003eSupported with detailed lecture notes, lecture videos, homework assignments, and lab assignments\u003c\/p\u003e  \u003cp\u003eCornerstone of author's course is hybrid programs (HPs), capturing dynamical aspects of cyber-physical systems (CPSs) in a simple programming language\u003c\/p\u003e  \u003cp\u003eTeaches skills required to formally analyze ubiquitous CPSs, such as power plants and pacemakers\u003c\/p\u003e\n\u003cp\u003e\u003c\/p\u003e\n\u003cp\u003e\u003c\/p\u003e\n\u003c\/div\u003e\u003cdiv\u003e\u003cp\u003eAndré 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.\u003c\/p\u003e\u003c\/div\u003e\u003cbr\u003e\u003ctable\u003e\n\u003ctr\u003e\n\u003ctd\u003ePublication Date: \u003c\/td\u003e\n\u003ctd\u003e08 February 2019\u003c\/td\u003e\n\u003c\/tr\u003e\n\u003ctr\u003e\n\u003ctd\u003ePublisher: \u003c\/td\u003e\n\u003ctd\u003eSpringer International Publishing\u003c\/td\u003e\n\u003c\/tr\u003e\n\u003ctr\u003e\n\u003ctd\u003eImprint: \u003c\/td\u003e\n\u003ctd\u003eSpringer\u003c\/td\u003e\n\u003c\/tr\u003e\n\u003ctr\u003e\n\u003ctd\u003eISBN-13: \u003c\/td\u003e\n\u003ctd\u003e9783030096977\u003c\/td\u003e\n\u003c\/tr\u003e\n\u003ctr\u003e\n\u003ctd\u003eFormat: \u003c\/td\u003e\n\u003ctd\u003ePaperback softback\u003c\/td\u003e\n\u003c\/tr\u003e\n\u003ctr\u003e\n\u003ctd\u003ePage Count: \u003c\/td\u003e\n\u003ctd\u003e639\u003c\/td\u003e\n\u003c\/tr\u003e\n\u003c\/table\u003e","brand":"Springer International Publishing","offers":[{"title":"Default Title","offer_id":46030177239180,"sku":"9783030096977","price":53.99,"currency_code":"USD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0710\/9545\/1788\/files\/9783030096977.jpg?v=1785324321","url":"https:\/\/lateknightbooks.com\/products\/9783030096977","provider":"Late Knight Books and Services, LLC","version":"1.0","type":"link"}