15840 search results - page 368 / 3168 » The Control of Synchronous Systems |
141
click to vote
ICRA
2005
IEEE
15 years 10 months ago
2005
IEEE
— This paper presents an operational space control approach for the general class of holonomically constrained multibody systems. As a point of departure, the general formulation...
128
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...
141
click to vote
CDC
2009
IEEE
15 years 2 months ago
2009
IEEE
We consider the problem of controlling a continuous-time linear stochastic system from a specification given as a Linear Temporal Logic (LTL) formula over a set of linear predicate...
136
click to vote
CDC
2008
IEEE
15 years 11 months ago
2008
IEEE
— This paper extends a method for integrating source-code model checking with dynamic system analysis to verify properties of controllers for nonlinear dynamic systems. Source-co...
132
click to vote
INFORMATICALT
2008
15 years 4 months ago
2008
In this paper, we present a novel fine-grained access control system for applications where the information flow is critical; the confidentiality of the data is essential and there...