Sciweavers

3823 search results - page 464 / 765
» Stability of Hybrid Systems
Sort
View
ISCAS
2002
IEEE
96views Hardware» more  ISCAS 2002»
15 years 11 months ago
Analysis of interleaved converters with WTA-based switching
This paper presents interleaved buck converters using a switching rule based on winner-take-all nonlinearity. The switching rule can realize flexible phase control and the system...
Toshimichi Saito, M. Yoshizawa, Hiroyuki Torikai, ...
ICRA
2000
IEEE
118views Robotics» more  ICRA 2000»
15 years 11 months ago
Optimal Feedback Control for Route Tracking with a Bounded-Curvature Vehicle
W'e consider the kinematic model of a vehicle moving forward with a lower bounded turning radius. This model, is relevant to describe the kinematics of road vehicles as well ...
Philippe Souères, Andrea Balluchi, Antonio ...
ICCS
2007
Springer
15 years 10 months ago
Formal Verification of Analog and Mixed Signal Designs in Mathematica
In this paper, we show how symbolic algebra in Mathematica can be used to formally verify analog and mixed signal designs. The verification methodology is based on combining induct...
Mohamed H. Zaki, Ghiath Al Sammane, Sofiène...
ECCV
2006
Springer
15 years 10 months ago
Force/Vision Based Active Damping Control of Contact Transition in Dynamic Environments
When a manipulator interacts with objects with poorly damped oscillatory modes, undesired oscillations and bouncing may result. In this paper, we present a method for observer-base...
Tomas Olsson, Rolf Johansson, Anders Robertsson
166
Voted
HICSS
1997
IEEE
103views Biometrics» more  HICSS 1997»
15 years 10 months ago
Technical Challenges of Computing Available Transfer Capability (ATC)
A key concept in the restructuring of the electric power industry is the ability to accurately and rapidly quantify the capabilities of the transmission system. Transmission trans...
Peter W. Sauer