4985 search results - page 11 / 997 » Observation of String-Rewriting Systems |
AUTOMATICA
2010
13 years 7 months ago
2010
: Estimation of 3D position information from 2D images in computer vision systems can be formulated as a state estimation problem for a nonlinear perspective dynamic system. The mu...
CSFW
2008
IEEE
14 years 2 months ago
2008
IEEE
Zdancewic and Myers introduced observational determinism as a scheduler independent notion of security for concurrent programs. This paper proposes a type system for verifying obs...
AUTOMATICA
2007
13 years 7 months ago
2007
This paper is devoted to the generic observability analysis for structured bilinear systems using a graph-theoretic approach. On the basis of a digraph representation, we express ...
SIAMCO
2008
13 years 7 months ago
2008
We analyze controllability and observability conditions for second order descriptor systems and show how the classical conditions for first order systems can be generalized to this...
CORR
2010
Springer
13 years 7 months ago
2010
Springer
Abstract-- In this paper we extend the work on dynamic observers for fault diagnosis [1], [2], [3] to timed automata. We study sensor minimization problems with static observers an...