Runtime Verification for Anomaly Detection of Robotic Systems Security
Robotic systems are widely used in industry, agriculture, the inspection of infrastructure, and even in our daily lives. The safety and security of robotic systems have become a primary concern as their interaction with humans increases. In this context, attacks on robotic systems have increased for...
Main Authors: | Yunus Sabri Kirca, Elif Degirmenci, Zekeriyya Demirci, Ahmet Yazici, Metin Ozkan, Salih Ergun, Alper Kanak |
---|---|
Format: | Article |
Language: | English |
Published: |
MDPI AG
2023-01-01
|
Series: | Machines |
Subjects: | |
Online Access: | https://www.mdpi.com/2075-1702/11/2/166 |
Similar Items
-
Decentralized Stream Runtime Verification for Timed Asynchronous Networks
by: Luis Miguel Danielsson, et al.
Published: (2023-01-01) -
Runtime verification in uncertain environment based on probabilistic model learning
by: Ge Zhou, et al.
Published: (2022-09-01) -
Formal Modelling and Runtime Verification of Autonomous Grasping for Active Debris Removal
by: Marie Farrell, et al.
Published: (2022-01-01) -
A Novel Runtime Verification Solution for IoT Systems
by: Koray Incki, et al.
Published: (2018-01-01) -
Reliable Task Management Based on a Smart Contract for Runtime Verification of Sensing and Actuating Tasks in IoT Environments
by: Lei Hang, et al.
Published: (2020-02-01)