Logical Foundations of Cyber-Physical Systems

Logical Foundations of Cyber-Physical Systems

English | PDF | 2018 | 662 Pages | ISBN : 3319635875 | 10.17 MB

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.



[Fast Download] Logical Foundations of Cyber-Physical Systems

Ebooks related to "Logical Foundations of Cyber-Physical Systems" :
Pro iOS Security and Forensics: Enterprise iPhone and iPad Safety
Learn Web Security From Scratch
Fundamentals of Digital Forensics: Theory, Methods, and Real-Life Applications
Agile Project Management QuickStart Guide: A Simplified Beginners Guide To Agile Project Management,
Linux Essentials for Cybersecurity (Pearson IT Cybersecurity Curriculum (ITCC))
Security, Privacy, and Trust in Modern Data Management
Computer, Network & Internet Security by Brett C. Tjaden
Malware Protection and Removal
The Web Application Hacker's Handbook, 2 edition
Applied Network Security Monitoring: Collection, Detection, and Analysis
Copyright Disclaimer:
This site does not store any files on its server. We only index and link to content provided by other sites. Please contact the content providers to delete copyright contents if any and email us, we'll remove relevant links or contents immediately.