MURAL - Maynooth University Research Archive Library



    Opacity and Security Concepts for Discrete Event Systems, Linear Time-invariant Systems, and Max-Plus Linear Systems


    Maguire, Nathan (2025) Opacity and Security Concepts for Discrete Event Systems, Linear Time-invariant Systems, and Max-Plus Linear Systems. Masters thesis, National University of Ireland Maynooth.

    Abstract

    In this thesis, we review concepts in privacy and security for different classes of dynamical systems, with particular emphasis on opacity and attack detection. Opacity has attracted significant attention in recent years due to its role in tackling privacy-related problems within the area of system and control theory. Opacity is an information-flow property that is concerned with a system ability to hide information from an external observer. This property plays a key role in strengthening resilience against attacks and prevents adversaries from determining if their attacks have succeeded. We begin the thesis by examining opacity in its original setting of discrete event systems (DES) and consider a more recent adaptation for linear time-invariant (LTI) systems. In addition, we also provide some initial thoughts on how opacity might be formulated in the context of max-plus linear systems. Although maxplus systems constitute a subclass of DES, their formal structure resembles that of LTI systems. These models arise in practical setting such as manufacturing systems, communication networks, and railway systems, where synchronization and timing constraints are critical. To ensure the reliable operation of any system, it is essential to design mechanisms that mitigate the effects of malicious behaviour. This thesis also reviews concepts in security with a focus on attack detection, and discusses the connection between opacity and the notion of undetectable attacks.
    Item Type: Thesis (Masters)
    Additional Information: Master of Science (M.Sc.) Thesis
    Keywords: Opacity and Security Concepts; Discrete Event Systems; Linear Time-invariant Systems; Max-Plus Linear Systems;
    Academic Unit: Faculty of Science and Engineering > Mathematics and Statistics
    Item ID: 21199
    Depositing User: IR eTheses
    Date Deposited: 19 Feb 2026 10:41
    Use Licence: This item is available under a Creative Commons Attribution Non Commercial Share Alike Licence (CC BY-NC-SA). Details of this licence are available here

    Downloads

    Downloads per month over past year

    Origin of downloads

    Repository Staff Only (login required)

    Item control page
    Item control page