Towards probabilistic intrusion detection in supervisory control of discrete event systems

Rômulo Meira-Góes, Christoforos Keroglou, Stéphane Lafortune

Research output: Contribution to journalConference articlepeer-review

2 Scopus citations

Abstract

In control systems, sensor deception is a class of attacks where an attacker manipulates sensor readings to cause damage to the system. Our work investigates quantitative measurements to detect this class of attacks in the context of stochastic supervisory control. We introduce the notion of e- safe systems, which is a first step to generalize qualitative intrusion detection conditions to quantitative intrusion detection conditions. We provide sufficient and necessary conditions to verify if a system is e-safe. Moreover, we provide an algorithm that verifies these conditions, which implies that the problem is decidable.

Original languageEnglish (US)
Pages (from-to)1776-1782
Number of pages7
JournalIFAC-PapersOnLine
Volume53
DOIs
StatePublished - 2020
Event21st IFAC World Congress 2020 - Berlin, Germany
Duration: Jul 12 2020Jul 17 2020

All Science Journal Classification (ASJC) codes

  • Control and Systems Engineering

Fingerprint

Dive into the research topics of 'Towards probabilistic intrusion detection in supervisory control of discrete event systems'. Together they form a unique fingerprint.

Cite this