Browsing by Subject "Sensors"
Now showing items 120 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 discreteevent 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 statebased opacity formulations
(2011)This paper performs coverage analysis of mobile agent trajectory utilizing discrete event system models and employing statebased notions of opacity. Nondeterministic finite automata with partial observation on their ...

Article
The didentifying 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
EntropyBased 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 entropybased 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 realtime ANNbased motor control for multirotor 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 risksensitive control problems: Dynamic programming and verification theorems
(1997)In this paper, we consider continuoustime partially observable optimal control problems with exponentialofintegral 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 lowcost 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
Welldefined diblock copolymers possessing fluorescent and metal chelating functionalities as novel macromolecular sensors for amines and metal ions
(2012)The amino and metalion sensing capability of a novel type of welldefined block copolymers based on 9anthrylmethyl methacrylate (AnMMA