Sciweavers

AUTOMATICA
2000
102views more  AUTOMATICA 2000»
13 years 10 months ago
Stabilization of relative equilibria for underactuated systems on Riemannian manifolds
This paper describes a systematic procedure to exponentially stabilize relative equilibria of mechanical systems. We review the notion of relative equilibria and their stability i...
Francesco Bullo
ICES
2003
Springer
86views Hardware» more  ICES 2003»
14 years 4 months ago
A Note on Designing Logical Circuits Using SAT
Abstract. We present a systematic procedure for the synthesis and minimisation of digital circuits using propositional satisfiability. We encode the truth table into a canonical s...
Giovani Gomez Estrada