266 search results - page 6 / 54 » Can Saturation Be Parallelised |
RAS
2007
13 years 6 months ago
2007
The article describes a new method for velocity/acceleration redistribution in order to compensate joint velocity and/or acceleration saturation. The method is designed for redund...
AUTOMATICA
2005
13 years 7 months ago
2005
Based on a recent duality theory for linear differential inclusions (LDIs), the condition for stability of an LDI in terms of one Lyapunov function can be easily derived from that...
CADE
2009
Springer
14 years 8 months ago
2009
Springer
Abstract. Saturation-based calculi such as superposition can be successfully instantiated to decision procedures for many decidable fragments of first-order logic. In case of termi...
CHARME
2005
Springer
14 years 27 days ago
2005
Springer
Abstract. We propose a new saturation-based symbolic state-space generation algorithm for finite discrete-state systems. Based on the structure of the high-level model specificat...
CDC
2008
IEEE
14 years 1 months ago
2008
IEEE
— This paper studies a class of hybrid systems with linear (or linear plus saturated linear) continuous and discrete dynamics, which are determined by a flow map and jump map, a...