• Article  

      Opacity-enforcing supervisory strategies via state estimator constructions 

      Saboori, A.; Hadjicostis, Christoforos N. (2012)
      State-based notions of opacity, such as initial-state opacity and infinite-step opacity, emerge as key properties in numerous security applications of discrete event systems. We consider systems that are modeled as partially ...
    • Conference Object  

      Probabilistic system opacity in discrete event systems 

      Keroglou, C.; Hadjicostis, Christoforos N. (Institute of Electrical and Electronics Engineers Inc., 2016)
      In many emerging security applications, a system designer frequently needs to ensure that a certain property of a given system (that may reveal important details about the system's operation) be kept secret (opaque) to ...
    • Article  

      Probabilistic system opacity in discrete event systems 

      Keroglou, C.; Hadjicostis, Christoforos N. (2018)
      In many emerging security applications, a system designer frequently needs to ensure that a certain property of a given system (that may reveal important details about the system’s operation) be kept secret (opaque) to ...
    • Article  

      Revised Test for Stochastic Diagnosability of Discrete-Event Systems 

      Chen, J.; Keroglou, C.; Hadjicostis, Christoforos N.; Kumar, R. (2018)
      This paper provides revisions to the algorithms presented by Chen et al., 2013 for testing diagnosability of stochastic discrete-event systems. Additional new contributions include PSPACE-hardness of verifying strong ...
    • Article  

      Risk modeling and analysis of interdependencies of critical infrastructures using colored timed petri nets 

      Agathangelou, Chrysovalandis; Georgiou, Chryssis; Papailiou, Ileana; Philippou, Anna; Pouis, Loucas; Tertytchny, G.; Vakana, Despina (2015)
      Petri Nets (PNs) and their variations are a graphical, mathematical language that can be used for the specification, analysis and verification of discrete event systems, including Critical Infrastructures (CIs). Colored ...
    • Conference Object  

      State estimation in discrete event systems modeled by labeled Petri Nets 

      Ru, Y.; Hadjicostis, Christoforos N. (2006)
      In this paper, we address the problem of state estimation in Discrete Event Systems (DES) modeled by labeled Petri nets that may have nondeterministic transitions (i.e., transitions that share the same label) or unobservable ...
    • Article  

      Supervisor synthesis for discrete event systems under partial observation and arbitrary forbidden state specifications 

      Ru, Y.; Cabasino, M. P.; Giua, A.; Hadjicostis, Christoforos N. (2014)
      In this paper, we consider the forbidden state problem in discrete event systems modeled by partially observed and partially controlled Petri nets. Assuming that the reverse net of the uncontrollable subnet of the Petri ...
    • Article  

      Verification of detectability in Probabilistic Finite Automata 

      Keroglou, C.; Hadjicostis, Christoforos N. (2017)
      In this paper we analyze state estimation in stochastic discrete event systems (SDES) that can be modeled as probabilistic finite automata (PFAs). For a given PFA, we obtain the necessary and sufficient conditions that ...
    • Article  

      Verification of infinite-step opacity and complexity considerations 

      Saboori, A.; Hadjicostis, Christoforos N. (2012)
      We describe and analyze the complexity of verifying the notion of infinite-step opacity in systems that are modeled as non-deterministic finite automata with partial observation on their transitions. Specifically, a system ...
    • Article  

      Verification of initial-state opacity in security applications of discrete event systems 

      Saboori, A.; Hadjicostis, Christoforos N. (2013)
      In this paper, we formulate and analyze methodologies for verifying the notion of initial-state opacity in discrete event systems that are modeled as non-deterministic finite automata with partial observation on their ...