Logical Foundations of Cyber-Physical Systems

• Main Author: Platzer, André (Author, http://id.loc.gov/vocabulary/relators/aut)
• Corporate Author: SpringerLink (Online service)
• Format: Electronic eBook
• Language: English
• Published: Cham : Springer International Publishing : Imprint: Springer, 2018.
• Edition: 1st ed. 2018.
• Subjects: Mathematical logic.; Artificial intelligence.; Control engineering.; Robotics.; Mechatronics.; Quality control.; Reliability.; Industrial safety.; Mathematical Logic and Formal Languages.; Artificial Intelligence.; Mathematical Logic and Foundations.; Control, Robotics, Mechatronics.; Quality Control, Reliability, Safety and Risk.

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