Logical Foundations of Cyber-Physical Systems /

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 compute...

Full description

Bibliographic Details

Main Author:	Platzer, André (Author)
Corporate Author:	SpringerLink (Online service)
Format:	eBook
Language:	English
Published:	Cham : Springer International Publishing : Imprint: Springer, 2018.
Subjects:	Computer science. Artificial intelligence. Logic, Symbolic and mathematical. System safety. Mathematical Logic and Formal Languages. Artificial Intelligence. Mathematical Logic and Foundations. Control, Robotics, Mechatronics. Quality Control, Reliability, Safety and Risk. Electronic books.
Online Access:	Connect to the full text of this electronic book