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...
| Main Author: | |
|---|---|
| Corporate Author: | |
| Language: | English |
| Published: |
Cham :
Springer International Publishing : Imprint: Springer,
2018.
|
| Edition: | 1st ed. 2018. |
| Subjects: | |
| Online Access: | https://doi.org/10.1007/978-3-319-63588-0 |