Logical Foundations of Cyber-Physical Systems by André Platzer.
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
Saved in: