Browsing by Subject "Sensors"
Now showing items 1-20 of 20
-
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 ...
-
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 ...
-
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 ...
-
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 ...
-
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 ...
-
Article
Frequency domain and dynamic game methods for actuator/sensor selection in systems with sector nonlinearities
(2001)The purpose of this note is to provide a method for placing actuators and sensors in systems with nonlinear dynamics wherein the choices for actuator and sensor locations are such that the resulting system is rendered ...
-
Article
Graphical inference for multiple intrusion detection
(2008)In this paper, we consider vulnerabilities of networked systems and develop a multiple intrusion detection system (MIDS) which operates by running belief propagation on an appropriately constructed weighted bipartite graph. ...
-
Conference Object
Graphical inference methods for fault diagnosis based on information from unreliable sensors
(2006)In this paper, we study the application of decoding algorithms to the multiple fault diagnosis (MFD) problem. Prompted by the resemblance between graphical representations for MFD problems and parity check codes, we develop ...
-
Conference Object
Intelligent embedded and real-time ANN-based motor control for multi-rotor unmanned aircraft systems
(2017)
-
Conference Object
Optimal sensor selection for structural observability in Discrete Event Systems modeled by Petri nets
(2007)This paper studies sensor selection problems in Discrete Event Systems modeled by Petri nets with outputs (i.e., Petri nets with both transition sensors and place sensors). The goal is to place sensors so as to maintain ...
-
Article
Partially observable nonlinear risk-sensitive control problems: Dynamic programming and verification theorems
(1997)In this paper, we consider continuous-time partially observable optimal control problems with exponential-of-integral cost criteria. We derive a rigorous verification theorem when the state and control enter nonlinear in ...
-
Article
Power system monitoring using Petri net embeddings
(2000)A failure in a power transmission line causes a number of circuit breakers to activate in an effort to isolate the failure and prevent it from corrupting the rest of the power system. Based on information from these ...
-
Conference Object
Probabilistic failure diagnosis in finite state machines under unreliable observations
(2006)In this paper we develop a probabilistic methodology for calculating the likelihood that an observed, possibly corrupted event sequence was generated by two (or more) candidate finite state machines (FSMs) (one of which ...
-
Conference Object
Reconstruction of transition firing sequences based on asynchronous observations of place token changes
(2007)This paper proposes a methodology for reconstructing the possible transition firing sequences in a given Petri net based on asynchronous observations of token changes at different places of the Petri net. The observed ...
-
Article
The rise of low-cost sensing for managing air pollution in cities
(2015)Abstract Ever growing populations in cities are associated with a major increase in road vehicles and air pollution. The overall high levels of urban air pollution have been shown to be of a significant risk to city dwellers. ...
-
Article
Sensor selection for structural observability in discrete event systems modeled by petri nets
(2010)This paper studies optimal sensor selection in discrete event systems modeled by partially observed Petri nets. The goal is to place a minimum number of sensors while maintaining structural observability, i.e., the ability ...
-
Article
Well-defined diblock copolymers possessing fluorescent and metal chelating functionalities as novel macromolecular sensors for amines and metal ions
(2012)The amino- and metal-ion sensing capability of a novel type of well-defined block copolymers based on 9-anthrylmethyl methacrylate (AnMMA