Logical Foundations of Cyber-Physical Systems

Please use this identifier to cite or link to this item: 192.168.6.56/handle/123456789/88529

Full metadata record

DC Field	Value	Language
dc.contributor.author	André, Platzer	-
dc.date.accessioned	2020-05-25T10:05:50Z	-
dc.date.available	2020-05-25T10:05:50Z	-
dc.date.issued	2018	-
dc.identifier.isbn	978-3-319-63587-3	-
dc.identifier.uri	http://196.189.45.87:8080/handle/123456789/88529	-
dc.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.	en-Us
dc.title	Logical Foundations of Cyber-Physical Systems	en_US
dc.type	Book	en_US
Appears in Collections:	Handbooks

Files in This Item:

File	Description	Size	Format
2018_Book_LogicalFoundationsOfCyber-Phys.pdf		8.04 MB	Adobe PDF	View/Open