The book is supported with homework exercises, lecture videos, and slides. ISBN Springer International Publishing;Palgrave Macmillan. Christine Hackenesch. Springer International Publishing. Maria G. Bartolini Bussi , Xu Hua Sun. He has a Ph. The presentation is exemplary for finding the right balance between rigorous mathematical formalization and illustrative case studies rooted in practical problems in system design.
A wealth of background material is provided in the text and in an appendix for each chapter, which makes the book self-contained and accessible to university students of all levels. A must read book for anyone interested in the development of a modern and computational system science for cyber-physical systems. Pappas, University of Pennsylvania.
Platzer's logic stands out among all other approaches because it provides a uniform treatment of both the discrete and continuous nature of cyber-physical systems, and does not shy away from their complex behavior due to stochasticity, uncertainty, and adversarial agents in the environment.
His computational thinking approach makes this work accessible to practicing engineers who need to specify and verify that cyber-physical systems are safe. Wing, Columbia University. Skip to main content Skip to table of contents. Advertisement Hide. This service is more advanced with JavaScript available. Logical Foundations of Cyber-Physical Systems.
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. Front Matter Pages i-xxxi.
0コメント