A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf
.
Distributed Runtime Verification Of Cyber-Physical Systems Based On Graph Pattern Matching
2017
Zenodo
Cyber-physical systems process a huge amount of data coming from sensors and other information sources and they often have to provide real-time feedback and reaction. Cyber-physical systems are often critical, which means that their failure can lead to serious injuries or even loss of human lives. Ensuring correctness is an important issue, however traditional design-time verification approaches can not be applied due to the complex interaction with the changing environment, the distributed
doi:10.5281/zenodo.291906
fatcat:ra5i6kxlwbbx7lwsvabzrxnh7i