Sciweavers

1297 search results - page 34 / 260
» Control of systems integrating logic, dynamics, and constrai...
Sort
View
IJRR
2000
117views more  IJRR 2000»
15 years 1 months ago
Singularity-Consistent Parameterization of Robot Motion and Control
The inverse kinematics problem is formulated as a parameterized autonomous dynamical system problem, and respective analysis is carried out. It is shown that a singular point of w...
Dragomir N. Nenchev, Yuichi Tsumaki, Masaru Uchiya...
ICLP
2010
Springer
15 years 5 months ago
Logic Programming Foundations of Cyber-Physical Systems
Cyber-physical systems (CPS) are becoming ubiquitous. Almost every device today has a controller that reads inputs through sensors, does some processing and then performs actions t...
Neda Saeedloei
APLAS
2005
ACM
15 years 6 months ago
Integrating Physical Systems in the Static Analysis of Embedded Control Software
Interpretation interpretation is a theory of effective abstraction and/or approximation of discrete mathematical structures as found in the semantics of programming languages, mod...
Patrick Cousot
GLVLSI
2003
IEEE
166views VLSI» more  GLVLSI 2003»
15 years 6 months ago
Exponential split accumulator for high-speed reduced area low-power direct digital frequency synthesizers
A new split accumulator architecture to be used in direct digital frequency synthesizers (DDFS) systems is presented. This new design eliminates the need of adders on the section ...
Edward Merlo, Kwang-Hyun Baek, Myung-Jun Choe
CDC
2009
IEEE
217views Control Systems» more  CDC 2009»
15 years 6 months ago
Anti-windup compensation for nonlinear systems via gradient projection: Application to adaptive control
— Control saturation is an important limitation in practical control systems and it is well known that performance degradation or instability may result if this limitation is not...
Justin Teo, Jonathan P. How