Logical Foundations of Cyber-Physical Systems

Released on by André Platzer
preview-18

  • Logical Foundations of Cyber-Physical Systems Book Detail

  • Author : André Platzer
  • Release Date : 2018-07-30
  • Publisher : Springer
  • Genre : Mathematics
  • Pages : 662
  • ISBN 13 : 3319635883
  • File Size : 62,62 MB
DOWNLOAD BOOK

Logical Foundations of Cyber-Physical Systems by André Platzer PDF Summary

Book Description: Cyber-physical systems (CPSs) combine cyber capabilities, such as computation or communication, with physical capabilities, such as motion or other physical processes. Cars, aircraft, and robots are prime examples, because they move physically in space in a way that is determined by discrete computerized control algorithms. Designing these algorithms is challenging due to their tight coupling with physical behavior, while it is vital that these algorithms be correct because we rely on them for safety-critical tasks. This textbook teaches undergraduate students the core principles behind CPSs. It shows them how to develop models and controls; identify safety specifications and critical properties; reason rigorously about CPS models; leverage multi-dynamical systems compositionality to tame CPS complexity; identify required control constraints; verify CPS models of appropriate scale in logic; and develop an intuition for operational effects. The book is supported with homework exercises, lecture videos, and slides.

Disclaimer: www.yourbookbest.com does not own Logical Foundations of Cyber-Physical Systems books pdf, neither created or scanned. We just provide the link that is already available on the internet, public domain and in Google Drive. If any way it violates the law or has any issues, then kindly mail us via contact us page to request the removal of the link.

Logical Analysis of Hybrid Systems

Logical Analysis of Hybrid Systems

File Size : 35,35 MB
Total View : 6448 Views
DOWNLOAD

Hybrid systems are models for complex physical systems and have become a widely used concept for understanding their behavior. Many applications are safety-crit

Knowledge in Action

Knowledge in Action

File Size : 98,98 MB
Total View : 7217 Views
DOWNLOAD

Specifying and implementing dynamical systems with the situation calculus. Modeling and implementing dynamical systems is a central problem in artificial intell