Sciweavers

15840 search results - page 357 / 3168
» The Control of Synchronous Systems
Sort
View
ANCS
2009
ACM
15 years 2 months ago
A lock-free, cache-efficient shared ring buffer for multi-core architectures
We propose MCRingBuffer, a lock-free, cache-efficient shared ring buffer that provides fast data accesses among threads running in multi-core architectures. MCRingBuffer seeks to ...
Patrick P. C. Lee, Tian Bu, Girish P. Chandranmeno...
HYBRID
2001
Springer
15 years 9 months ago
Semi-decidable Synthesis for Triangular Hybrid Systems
Abstract. The algorithmic design of least restrictive controllers for hybrid systems that satisfy reachability specifications has received much attention recently. Despite the imp...
Omid Shakernia, George J. Pappas, Shankar Sastry
112
Voted
CDC
2010
IEEE
152views Control Systems» more  CDC 2010»
14 years 11 months ago
Asymptotic achievability for linear time invariant state space systems
Abstract-- We consider here the problem of finding a controller such that when interconnected to the plant, we obtain a system which is asymptotically equivalent to a desired syste...
Harsh Vinjamoor, Arjan van der Schaft
RISE
2005
Springer
15 years 10 months ago
Formal Development of Reactive Fault Tolerant Systems
Usually complex systems are controlled by an operator co-operating with a computer-based controller. The controlling software runs in continuous interaction with the operator and c...
Linas Laibinis, Elena Troubitsyna
AROBOTS
2008
78views more  AROBOTS 2008»
15 years 4 months ago
Reaching with multi-referential dynamical systems
We study a reaching movement controller for a redundant serial arm manipulator, based on two principles believed to be central to biological motion control: multireferential contro...
Micha Hersch, Aude Billard