Please use this identifier to cite or link to this item:
192.168.6.56/handle/123456789/88529| Title: | Logical Foundations of Cyber-Physical Systems |
| Authors: | André, Platzer |
| Issue Date: | 2018 |
| Description: | The book in front of you provides a comprehensive introduction on how to reason about cyber-physical systems using the language of logic and deduction. Along the way, you will become familiar with many fundamental concepts from computer science, applied mathematics, and control theory, all of which are essential for CPS. The book can be read without much prior knowledge, since all necessary background material is provided in the text and in appendices for many chapters. The book is structured in the following four parts. |
| URI: | http://196.189.45.87:8080/handle/123456789/88529 |
| ISBN: | 978-3-319-63587-3 |
| Appears in Collections: | Handbooks |
Files in This Item:
| File | Description | Size | Format | |
|---|---|---|---|---|
| 2018_Book_LogicalFoundationsOfCyber-Phys.pdf | 8.04 MB | Adobe PDF | View/Open |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.