Sciweavers

9626 search results - page 8 / 1926
» Invariant Based Programming
Sort
View
ICRA
2005
IEEE
113views Robotics» more  ICRA 2005»
14 years 3 months ago
Symmetric Walking Control: Invariance and Global Stability
— This paper first presents a novel control strategy for periodic motion control based on a Hamiltonian system. According to the strategy, hybrid symmetric orbits (ideal walking...
Sang-Ho Hyon, Takashi Emura
SAS
2009
Springer
137views Formal Methods» more  SAS 2009»
14 years 10 months ago
Invariant Checking for Programs with Procedure Calls
Guillem Godoy, Ashish Tiwari
SIAMMAX
2010
123views more  SIAMMAX 2010»
13 years 4 months ago
Joint Spectral Characteristics of Matrices: A Conic Programming Approach
We propose a new approach to estimate the joint spectral radius and the joint spectral subradius of an arbitrary set of matrices. We first restrict our attention to matrices that ...
Vladimir Protasov, Raphaël M. Jungers, Vincen...
JMLR
2010
206views more  JMLR 2010»
13 years 4 months ago
Learning Translation Invariant Kernels for Classification
Appropriate selection of the kernel function, which implicitly defines the feature space of an algorithm, has a crucial role in the success of kernel methods. In this paper, we co...
Sayed Kamaledin Ghiasi Shirazi, Reza Safabakhsh, M...
AUTOMATICA
2007
70views more  AUTOMATICA 2007»
13 years 9 months ago
Squaring the circle: An algorithm for generating polyhedral invariant sets from ellipsoidal ones
This paper presents a new (geometrical) approach to the computation of polyhedral (robustly) positively invariant (PI) sets for general (possibly discontinuous) nonlinear discrete...
A. Alessio, Mircea Lazar, Alberto Bemporad, W. P. ...