663 search results - page 52 / 133 » Synthesis of Self-Testable Controllers |
138
Voted
DSD
2010
IEEE
15 years 18 days ago
2010
IEEE
We present a high-level synthesis flow for mapping an algorithm description (in C) to a provably equivalent registertransfer level (RTL) description of hardware. This flow uses an ...
162
click to vote
FORMATS
2010
Springer
15 years 18 days ago
2010
Springer
We present a general approach to combine symbolic state space representations for the discrete and continuous parts in the synthesis of winning strategies for timed reachability ga...
115
Voted
NIME
2004
Springer
15 years 8 months ago
2004
Springer
StickMusic is an instrument comprised of two haptic devices, a joystick and a mouse, which control a phase vocoder in real time. The purpose is to experiment with ideas of how to ...
96
Voted
WCE
2007
15 years 3 months ago
2007
— In this paper an appropriate four rotors helicopter nonlinear dynamic model for identi cation and control law synthesis is obtained via modelization procedure where several phe...
108
Voted
VTS
1998
IEEE
15 years 6 months ago
1998
IEEE
A fast fault-tolerant controller structure is presented, which is capable of recovering from transient faults by performing a rollback operation in hardware. The proposed fault-to...