15840 search results - page 368 / 3168 » The Control of Synchronous Systems |
170
click to vote
ICRA
2005
IEEE
16 years 9 days 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...
164
click to vote
AUTOMATICA
2008
15 years 6 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...
184
click to vote
CDC
2009
IEEE
15 years 4 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...
181
click to vote
CDC
2008
IEEE
16 years 1 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...
192
click to vote
INFORMATICALT
2008
15 years 6 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...