Logical Foundations of Cyber-Physical Systems

• Κύριος συγγραφέας: Platzer, André (Συγγραφέας, http://id.loc.gov/vocabulary/relators/aut)
• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Cham : Springer International Publishing : Imprint: Springer, 2018.
• Έκδοση: 1st ed. 2018.
• Θέματα: 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...