2940 search results - page 106 / 588 » Relational Parametricity and Control |
144
click to vote
AUTOMATICA
2007
15 years 4 months ago
2007
In this paper, the problem of decentralized adaptive output-feedback stabilization is investigated for large-scale stochastic nonlinear systems with three types of uncertainties, ...
134
Voted
ESORICS
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. We revisit the classical notion of noninterference for statebased systems, as presented by Rushby in 1992. We strengthen his results in several ways, in particular clarif...
132
click to vote
IROS
2008
IEEE
15 years 10 months ago
2008
IEEE
— Human control of high degree-of-freedom robotic systems, e.g. anthropomorphic robot hands, is often difficult due to the overwhelming number of variables that need to be speci...
125
click to vote
AUTOMATICA
2008
15 years 4 months ago
2008
This paper deals with static output feedback control of a class of reconfigurable systems with Markovian Parameters and state-dependent noise. The main contribution is to formulat...
133
click to vote
SP
1996
IEEE
15 years 8 months ago
1996
IEEE
View-based access control enables content-based and context-based security, as opposed to container-based security provided in operating systems. However, view-based access contro...