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

0334000 - ÚI 2010 US eng A - Abstract
Ratschan, Stefan
Symbolic-Numeric Problems in the Automatic Analysis and Verification of Cyber-Physical Systems.
[Symbolické-numerické problémy v automatické analýze a verifikaci kyber-fyzikálních systémů.]
SNC '09: Proceedings of the 2009 conference on Symbolic numeric computation. New York: ACM, 2009 - (Kai, H.; Sekigawa, H.). s. 7-7. ISBN 978-1-60558-664-9.
[SNC2009. International Workshop on Symbolic-Numeric Computation /3./. 03.08.2009-05.08.2009, Kyoto]
R&D Projects: GA ČR GC201/08/J020
Institutional research plan: CEZ:AV0Z10300504
Keywords : algorithms * design * reliability * verification
Subject RIV: IN - Informatics, Computer Science
https://dl.acm.org/doi/proceedings/10.1145/1577190#sec1

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.

Kyber-fyzikální systémy představují integraci počítání a fyzikálních procesů. Už dnes víceméně každý domácí přistroj a každý průmyslový stroj má v sobě takovou integraci. Protože poruchy takových přístrojů mohou ohrožovat lidské životy, je nezbytné zajistit jejich správně fungování. Pro tento účel musíme analyzovat jejich bezpečnost, v nejlepším případě automaticky pomoci analyzujících počítačových algoritmů.
Permanent Link: http://hdl.handle.net/11104/0178847