Browsing Τμήμα Ηλεκτρολόγων Μηχανικών και Μηχανικών Υπολογιστών / Department of Electrical and Computer Engineering by Subject "Illustrative examples"

Now showing items 1-2 of 2

    • Article  

      Optimal filtering over uncertain wireless communication channels 

      Ma, X.; Djouadi, S. M.; Charalambous, Charalambos D. (2011)
      In this letter, filtering over wireless communication channels subject to packet losses is considered. The packet losses are assumed to follow a Bernoulli distribution. The latter is interpreted as a special case of a ...
    • 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 ...