Sciweavers

338 search results - page 49 / 68
» Differential equations for algebraic functions
Sort
View
ICRA
2003
IEEE
95views Robotics» more  ICRA 2003»
14 years 20 days ago
Exact Collision Detection of Two Moving Ellipsoids under Rational Motions
In this paper, we describe an exact method for detecting collision between two moving ellipsoids under pre-specified rational motions. Our method is based on an algebraic conditi...
Yi-King Choi, Wenping Wang, Myung-Soo Kim
SIAMAM
2010
104views more  SIAMAM 2010»
13 years 5 months ago
Guided Surface Waves on One- and Two-Dimensional Arrays of Spheres
Guided acoustic waves propagating along one- and two-dimensional arrays of rigid spheres are studied semi-analytically. The quasi-periodic wave field is constructed as a superposi...
I. Thompson, C. M. Linton
TAP
2010
Springer
145views Hardware» more  TAP 2010»
13 years 5 months ago
QuickSpec: Guessing Formal Specifications Using Testing
We present QuickSpec, a tool that automatically generates algebraic specifications for sets of pure functions. The tool is based on testing, rather than static analysis or theorem ...
Koen Claessen, Nicholas Smallbone, John Hughes
AUTOMATICA
1999
119views more  AUTOMATICA 1999»
13 years 7 months ago
Robust L2-gain control for nonlinear systems with projection dynamics and input constraints: an example from traffic control
We formulate the L2-gain control problem for a general nonlinear, state-space system with projection dynamics in the state evolution and hard constraints on the set of admissible ...
Joseph A. Ball, Martin V. Day, Tungsheng Yu, Pushk...
CDC
2009
IEEE
137views Control Systems» more  CDC 2009»
13 years 11 months ago
Control of ramp-up current profile dynamics in tokamak plasmas via the minimal-surface theory
The central task of current profile control during the ramp-up phase of a tokamak discharge is to find the actuator trajectories that are necessary to achieve certain desired curre...
Chao Xu, Eugenio Schuster