15840 search results - page 297 / 3168 » The Control of Synchronous Systems |
112
click to vote
CDC
2009
IEEE
15 years 8 months ago
2009
IEEE
— In this paper, the formation control problem for unicycle mobile robots is studied. A virtual structure control strategy with mutual coupling between the robots is proposed.
109
click to vote
CDC
2009
IEEE
15 years 8 months ago
2009
IEEE
— In this paper, we develop a theory of computable types suitable for the study of control systems. The theory uses type-two effectivity as the underlying computational model, bu...
205
click to vote
SMALLTALK
2007
Springer
15 years 10 months ago
2007
Springer
Concurrency control in Smalltalk is based on locks and is therefore notoriously difficult to use. Even though some implementations provide high-level constructs, these add complexi...
134
click to vote
ASIACRYPT
2007
Springer
15 years 8 months ago
2007
Springer
Secure multi-party computation (MPC) allows a set of n players to securely compute an agreed function of their inputs, even when up to t players are under the control of an adversa...
134
click to vote
CDC
2010
IEEE
14 years 11 months ago
2010
IEEE
We analyze in this paper controllability aspects for a 4-dimensional quantum system. The "strong regularity" (cf. [1]) has been proven to be sufficient condition for glob...