2940 search results - page 201 / 588 » Relational Parametricity and Control |
185
click to vote
RSEISP
2007
Springer
16 years 21 days ago
2007
Springer
Abstract. Approximate reasoning is used in a variety of reasoning tasks in Logicbased Artificial Intelligence. In this abstract we compare a number of such reasoning schemes and s...
162
click to vote
HYBRID
1995
Springer
15 years 10 months ago
1995
Springer
This paper summarizes the definitions and several of the main results of an approach to hybrid systems, which combines finite automata and linear systems, developed by the author...
145
click to vote
CDC
2008
IEEE
16 years 1 months ago
2008
IEEE
— This paper studies global instability in swing equations of multimachine power systems. Global instability is related to the undesirable phenomenon of power system, implying th...
188
click to vote
CDC
2008
IEEE
16 years 1 months ago
2008
IEEE
— Given an initial set of a nonlinear system with uncertain parameters and inputs, the set of states that can possibly be reached is computed. The approach is based on local line...
137
click to vote
IROS
2006
IEEE
16 years 18 days ago
2006
IEEE
— This paper deals with problems related to the capture of a tumbling satellite by a space robot. The minimization of the base attitude deviation before and after the contact wit...