Symbolic-Numeric Problems in the Automatic Analysis and Verification of Cyber-Physical Systems

Autoři: doc. Dipl. Ing. Stefan Ratschan, Dr. tech.
Rok vydání: 2009
Typ publikace: Abstrakt
Periodikum: SNC '09: Proceedings of the 2009 conference on Symbolic numeric computation
Projekty: Verifikace hybridních systémů využitím spolupráce s řešením omezujících podmínek
Bibliografická citace: RATSCHAN, Stefan. Symbolic-Numeric Problems in the Automatic Analysis and Verification of Cyber-Physical Systems. In: KAI, H., SEKIGAWA, H., eds. SNC '09: Proceedings of the 2009 conference on Symbolic numeric computation. New York: ACM, 2009, S. 7-7. ISBN 978-1-60558-664-9
Dostupné z: doi:10.1145/1577190.1577195.
DOI: 10.1145/1577190.1577195
ID: 334000

Abstrakt

Cyber-Physical Systems (CPS) are integrations of computation and physical processes. Already now, more or less no new consumer device or industrial machinery does not have some form of integrated computation. Since such systems not only interact with each other, but also with humans, their malfunction can endanger human life, and hence it is essential for them to work correctly.