Browsing by Subject "Sensors"
Now showing items 1-20 of 56
-
Conference Object
Approximating optimal place sensor selection for structural observability in discrete event systems modeled by petri nets
(2007)In this paper, we study place sensor selection problems in Discrete Event Systems modeled by Petri nets with outputs (i.e., Petri nets with transition and place sensors). Our goal is to place a minimal number of sensors ...
-
Article
Bounds on the number of markings consistent with label observations in petri nets
(2009)In this paper, we consider state estimation in discrete-event systems (DESs) modeled by labeled Petri nets and present upper bounds on the number of system states (or markings) that are consistent with an observed sequence ...
-
Article
Building energy-aware smart homes using web technologies
(2013)New technological advancements allow the Internet to penetrate in embedded computing. IPv6 envisions to merge the physical and the digital world, through the Internet. The Web of Things interconnects the expanding ecosystem ...
-
Conference Object
CogniMouse: On detecting users' task completion difficulty through computer mouse interaction
(Association for Computing Machinery, 2015)This paper presents a method for analyzing users' computer mouse interaction data with the aim to implicitly identify task completion difficulty while interacting with a system. Computer mouse motion streams and users' ...
-
Conference Object
Combating persistent adversaries in wireless sensor networks using directional antennas
(2011)Security is an important property in applications offering services in mission-critical areas, such as in healthcare, military, transportation, etc. Wireless sensor networks (WSN) support the mission of these applications ...
-
Article
A comparative study of protocols for efficient data propagation in smart dust networks
(2003)Smart Dust is comprised of a vast number of ultra-small fully autonomous computing and communication devices, with very restricted energy and computing capabilities, that co-operate to accomplish a large sensing task. Smart ...
-
Conference Object
Constrained sensor selection for discrete event systems modeled by Petri nets
(2011)This paper studies how to place a minimum number of sensors in discrete event systems modeled by partially observed Petri nets while maintaining structural observability. When the sensors are constrained to be associated ...
-
Conference Object
Context-aware Media Player (CaMP): Developing context-aware applications with separation of concerns
(2010)The constant advent of powerful mobile devices has raised the potential of building novel context-aware applications. These applications let the users enjoy a better experience by sensing their context and automating tasks ...
-
Article
Continuous monitoring of children with suspected cardiac arrhythmias
(2009)Advances in wireless communications and networking technologies as well as computer and medical technologies, enable the development of small size, power efficient and more reliable medical multi-parameter recording systems, ...
-
Article
Control techniques for a large segmented reflector
(1998)NASA has founded a project to design and construct a test-bed in the Controls and Structures Laboratory at the California State University to study the complex dynamic behavior of large segmented optical systems. The ...
-
Article
Coverage analysis of mobile agent trajectory via state-based opacity formulations
(2011)This paper performs coverage analysis of mobile agent trajectory utilizing discrete event system models and employing state-based notions of opacity. Non-deterministic finite automata with partial observation on their ...
-
Article
The d-identifying codes problem for vertex identification in graphs: Probabilistic analysis and an approximation algorithm
(2006)Given a graph G(V, E), the identifying codes problem is to find the smallest set of vertices D ⊆ V such that no two vertices in V are adjacent to the same set of vertices in D. The identifying codes problem has been applied ...
-
Conference Object
Decentralized Reconfigurable Control for Large-Scale Systems with Application to a Segmented Telescope Test-Bed
(2003)Designing a decentralized reconfigurable control (DRC) system is considered for large-scale systems. The objective of the DRC system is to achieve performance requirements under normal and sensor failure situations. The ...
-
Conference Object
Demo: Indoor geolocation on multi-sensor smartphones
(2013)In this demo, we present an efficient hybrid indoor positioning solution that uses multi-sensory location-oriented observations, including WiFi, accelerometer, gyroscope and digital compass data, that are widely available ...
-
Conference Object
Design of a prototype tsunami warning and early response system for Cyprus - TWERC
(2010)Described is the expansion of an existing and operational ocean observatory known as CYCOFOS (Cyprus Coastal Ocean Forecasting and Observing System), with a network of tsunami detection sensors. The expanded network will ...
-
Article
Ellipsometry on optically thin palladium films on silicon-based substrate: Effects of low concentration of hydrogen
(2005)Optically thin palladium films evaporated on silicon substrates are investigated following exposure to low concentrations of hydrogen gas in nitrogen using spectroscopic ellipsometry. Changes in the parameters tan Ψ and Δ ...
-
Article
Entropy-Based Sensor Placement Optimization for Waterloss Detection in Water Distribution Networks
(2013)The work presented herein addresses the problem of sensor placement optimization in urban water distribution networks by use of an entropy-based approach, for the purpose of efficient and economically viable waterloss ...
-
Conference Object
Exploring the use of DNS as a search engine for the Web of Things
(IEEE Computer Society, 2014)Sensor technology is becoming pervasive in our everyday lives, measuring the real world around us. The Internet of Things enables sensor devices to become active citizens of the Internet, while the Web of Things envisions ...
-
Article
Fault diagnosis in discrete event systems modeled by partially observed petri nets
(2009)In this paper, we study fault diagnosis in discrete event systems modeled by partially observed Petri nets, i.e., Petri nets equipped with sensors that allow observation of the number of tokens in some of the places and/or ...
-
Conference Object
Fault diagnosis in discrete event systems modeled by petri nets with outputs
(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 ...