15660 search results - page 155 / 3132 » The Unbalance of Set Systems |
192
click to vote
CAV
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. This paper presents a constraint-based technique for discovering a rich class of inductive invariants (boolean combinations of polynomial inequalities of bounded degree) ...
173
click to vote
ROBOTICA
2008
15 years 6 months ago
2008
This paper studies the mechanical configuration and the periodic gaits of multi-legged locomotion systems based on its kinematic and dynamic models. The purpose is to determine the...
177
click to vote
JDCTA
2010
15 years 1 months ago
2010
Performance indexes of the embedded real-time operating system are not isolated but interacting with each other. Two sets of elements aiming to describe the relationship between t...
179
click to vote
HYBRID
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. This paper addresses a parameter synthesis problem for nonlinear hybrid systems. Considering a set of uncertain parameters and a safety property, we give an algorithm tha...
168
click to vote
CDC
2008
IEEE
16 years 1 months ago
2008
IEEE
— This paper develops a novel robust control method for linear systems subject to additive and bounded disturbances. The approach is based on constraint tightening method. The pr...