7778 search results - page 236 / 1556 » Designing Controllers for Reachability |
116
click to vote
VLSID
2004
IEEE
16 years 4 months ago
2004
IEEE
This work presents a novel dynamic bias control technique to verify the circuit performance of the lowpower rail-to-rail input/output buffer amplifier, which can be operating in s...
145
click to vote
ICRA
2003
IEEE
15 years 9 months ago
2003
IEEE
This paper describes recent developments on the model identification and attitude control system for a Micmmechanical Flying lnsect (MFI). We include recently developed dynamical m...
140
click to vote
CAV
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. We apply model checking of knowledge properties to the design of distributed controllers that enforce global constraints on concurrent systems. We calculate when processe...
119
click to vote
AUTOMATICA
2007
15 years 4 months ago
2007
: This paper addresses the problem of designing an output error feedback tracking control for single-input, single-output, minimum phase, observable linear systems. The reference o...
126
click to vote
AR
2006
15 years 4 months ago
2006
The Berkeley lower extremity exoskeleton (BLEEX) is an autonomous robotic device whose function is to increase the strength and endurance of a human pilot. In order to achieve an e...