5200 search results - page 208 / 1040 » Symbolic models for control systems |
JHSN
2006
13 years 9 months ago
2006
It has been recognized for some time that software alone does not provide an adequate foundation for building a high-assurance trusted platform. The emergence of industry-standard ...
ICRA
2005
IEEE
14 years 2 months ago
2005
IEEE
— The exoskeleton robot, serving as an assistive device worn by the human (orthotic), functions as a humanamplifier. Setting the human machine interface (HMI) at the neuro-muscu...
ICRA
2005
IEEE
14 years 2 months ago
2005
IEEE
— One of the principal guidelines in the design of haptic devices is to provide a suitable mechanical design that can improve control performance and the force-feedback fidelity...
CDC
2009
IEEE
14 years 1 months ago
2009
IEEE
— This paper addresses the exact transformation of nonlinear systems into a multiple model form with unmeasurable premise variables. The multiple model structure serves to treat ...
RSP
1999
IEEE
14 years 1 months ago
1999
IEEE
Formal methods are a nice idea, but the size and complexity of real systems means that they are impractical. We propose that a reasonable alternative to attempting to specify and ...