Browsing by Subject "State-based"
Now showing items 1-7 of 7
-
Conference Object
Control of quantized multi-agent systems with linear nearest neighbor rules: A finite field approach
(2010)We study the problem of controlling a multi-agent system where each agent is only allowed to be in a discrete and finite set of states. Each agent is capable of updating its state based on the states of its neighbors, and ...
-
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 ...
-
Conference Object
M-mode state based identification in ultrasound videos of the atherosclerotic carotid plaque
(2010)Monitoring the wall and plaque changes in the carotid artery (CA) can provide useful information for the assessment of the atherosclerotic disease. Using a motion mode (M-mode) image, detailed information may be obtained ...
-
Conference Object
Opacity-enforcing supervisory strategies for secure discrete event systems
(2008)Initial-state opacity emerges as a key property in numerous security applications of discrete event systems including key-stream generators for cryptographic protocols. Specifically, a system is initial-state opaque if the ...
-
Article
Opacity-enforcing supervisory strategies via state estimator constructions
(2012)State-based notions of opacity, such as initial-state opacity and infinite-step opacity, emerge as key properties in numerous security applications of discrete event systems. We consider systems that are modeled as partially ...
-
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 ...
-
Conference Object
Supervisory control strategies for enhancing system security and privacy
(2010)Enhancing the security and reliability of automated systems that control vital national infrastructures, such as energy and water distribution systems, has recently emerged as a critical aspect of maintaining, protecting, ...