• Article  

      A biologically inspired networking model for wireless sensor networks 

      Charalambous, Charalambos D.; Cui, S. (2010)
      Wireless sensor networks have emerged in strategic applications such as target detection, localization, and tracking, where the large scale renders centralized control prohibitive. In addition, the finite batteries of the ...
    • Doctoral Thesis  Open Access

      Collaborative area monitoring using wireless sensor networks with stationary and mobile nodes 

      Lambrou, Theofanis P. (Πανεπιστήμιο Κύπρου, Πολυτεχνική Σχολή / University of Cyprus, Faculty of Engineering, 2011-05)
      Αυτή η διατριβή εξετάζει τα προβλήματα σχεδιασμού διαδρομών για την βελτίωση της κάλυψης και του εντοπισμού γεγονότων σε μικτά δίκτυα αισθητήρων που αποτελούνται από σταθερούς και κινητούς κόμβους αισθητήρων. Τέτοια μικτά ...
    • Conference Object  

    • Article  

      Current-state opacity formulations in probabilistic finite automata 

      Saboori, A.; Hadjicostis, Christoforos N. (2014)
      A system is said to be current-state opaque if the entrance of the system state to a set of secret states remains opaque (uncertain) to an intruder - at least until the system leaves the set of secret states. This notion ...
    • Conference Object  

      Distributed consensus and linear functional calculation in networks: An observability perspective 

      Sundaram, S.; Hadjicostis, Christoforos N. (2007)
      We study the problem of performing sensor fusion and distributed consensus in networks, where the objective is to calculate some linear function of the initial sensor values at some or all of the sensors. We utilize a ...
    • Doctoral Thesis  Open Access

      Distributed event detection and localization in wireless sensor networks 

      Michaelides, Michalis (Πανεπιστήμιο Κύπρου, Πολυτεχνική Σχολή / University of Cyprus, Faculty of Engineering, 2009-05)
      Αυτή η διατριβή επικεντρώνεται στην κατανεμημένη ανίχνευση και εντοπισμό της εστίας ενός συμβάντος σε Ασύρματα Δίκτυα Αισθητήρων (ΑΔΑ). Οι κόμβοι αισθητήρες είναι συνήθως μικρές σε μέγεθος, απλές και φτηνές συσκευές, η ...
    • Article  

      Distributed finite-time average-consensus with limited computational and storage capability 

      Oliva, G.; Setola, R.; Hadjicostis, Christoforos N. (2017)
      Consensus is a fundamental feature of distributed systems, and it is the prerequisite for several complex tasks, such as flocking of mobile robots, localization in wireless-sensor networks, or decentralized control of smart ...
    • Doctoral Thesis  Open Access

      Enabling smart homes using web technologies 

      Kamilaris, Andreas (Πανεπιστήμιο Κύπρου, Σχολή Θετικών και Εφαρμοσμένων Επιστημών / University of Cyprus, Faculty of Pure and Applied Sciences, 2013-01)
      Νέες τεχνολογικές ανακαλύψεις επιτρέπουν στο Διαδίκτυο (Internet) να διεισδύσει στον κόσμο των ενσωματωμένων υπολογιστικών μηχανών (embedded computing devices). Ο Ιστός των Αντικειμένων (Web of Things) διασυνδέει αυτές τις ...
    • Conference Object  

      Fault diagnosis in discrete event systems modeled by petri nets with outputs 

      Ru, Y.; Hadjicostis, Christoforos N. (2008)
      In this paper, we study fault diagnosis in discrete event systems modeled by Petri nets with outputs, i.e., Petri nets with place sensors and transition sensors. Faults are modeled as unobservable transitions and are divided ...
    • Conference Object  

      A general framework for continuous time power control in time varying long term fading wireless networks 

      Olama, M. M.; Djouadi, S. M.; Charalambous, Charalambos D. (2007)
      In this paper, a general framework for continuous time power control algorithm under time varying long term fading wireless channels is developed. This contrasts most of the power control algorithms introduced in the ...
    • Doctoral Thesis  Open Access

      KSPOT : a network-aware framework for energy-efficient data acquisition in wireless sensor networks 

      Andreou, Panayiotis G. (Πανεπιστήμιο Κύπρου, Σχολή Θετικών και Εφαρμοσμένων Επιστημών / University of Cyprus, Faculty of Pure and Applied Sciences, 2011-06)
      Τα Ασύρματα Δίκτυα Αισθητήρων (ΑΔΑ) αποτελούνται από μικροσκοπικές συσκευές με περιορισμένους πόρους και παρέχουν στους χρήστες την ευκαιρία να παρακολουθούν το περιβάλλον με πολύ ψηλή ευκρίνεια. Για τη συλλογή των δεδομένων ...
    • Conference Object  

      Linear iterative strategies for transmitting streams of values through sensor networks 

      Sundaram, S.; Hadjicostis, Christoforos N. (2009)
      For any given fixed network of interconnected nodes, with some nodes designated as sources and some nodes designated as sinks, we investigate the problem of transmitting a stream of values from every source node to all of ...
    • Doctoral Thesis  

      Mids : a lightweight intrusion detection system for wireless sensor networks and the internet of things 

      Ioannou, Christiana A. (Πανεπιστήμιο Κύπρου, Σχολή Θετικών και Εφαρμοσμένων Επιστημών / University of Cyprus, Faculty of Pure and Applied Sciences, 2017-02)
      Τα Ασύρματα Δίκτυα Αισθητήρων (WSN) χρησιμοποιούνται για κρίσιμες εφαρμογές χάρη στην ικανότητά τους να παρέχουν χαμηλού κόστους, χαμηλής ισχύος, και διαφοροποιημένες υπηρεσίες παρακολούθησης. Επίσης, προσελκύουν και ...
    • Doctoral Thesis  Open Access

      Nature-inspired congestion control and avoidance in wireless sensor networks 

      Antoniou, Pavlos Ch. (Πανεπιστήμιο Κύπρου, Σχολή Θετικών και Εφαρμοσμένων Επιστημών / University of Cyprus, Faculty of Pure and Applied Sciences, 2012-05)
      Ο στόχος της διατριβής είναι να διερευνήσει τεχνικές εμπνευσμένες από τη φύση στο πλαίσιο του ελέγχου συμφόρησης σε ασύρματα δίκτυα αισθητήρων, αντλώντας έμπνευση από τη νοημοσύνη σμήνους καθώς επίσης από μαθηματικά μοντέλα ...
    • Conference Object  

      Opacity verification in stochastic discrete event systems 

      Saboori, A.; Hadjicostis, Christoforos N. (2010)
      Motivated by security and privacy considerations in applications of discrete event systems, various notions of opacity have been introduced. Specifically, a system is said to be current-state opaque if the entrance of the ...
    • Doctoral Thesis  Open Access

      Performance-aware congestion control in wireless sensor networks using resource control 

      Sergiou, Charalambos Th. (Πανεπιστήμιο Κύπρου, Σχολή Θετικών και Εφαρμοσμένων Επιστημών / University of Cyprus, Faculty of Pure and Applied Sciences, 2013-01)
      Οι πρόσφατες εξελίξεις στα Ασύρματα Δίκτυα Αισθητήρων (ΑΔΑ) οδηγούν σε εφαρμογές με αυξημένες απαιτήσεις κυκλοφορίας. Η απόδοση από απόψεως διαμετακομιστικής ικανότητας, χρονικής καθυστέρηση και κατανάλωσης ενέργειας, ...
    • Conference Object  

      Security in future mobile sensor networks - Issues and challenges 

      Stavrou, E.; Pitsillides, A.; Hadjichristofi, G.; Hadjicostis, Christoforos N. (2010)
      Existing security research in wireless sensor networks is based on specific assumptions about the nodes and the network environment that are tied to specific usage scenarios. Typical scenarios consider sensor nodes that ...
    • Article  

      Thin liquid crystal film for corrosion sensing 

      Kossivas, F.; Kyprianou, Andreas (2008)
      The anchoring energy of Liquid Crystals (LCs) is influenced by several parameters. Many scientists have exploited LCs anchoring in order to develop several LC based optical sensors. This paper proposes and proves a new ...
    • 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 ...