483 search results - page 4 / 97 » Linear Ranking with Reachability |
ATVA
2010
Springer
13 years 6 months ago
2010
Springer
Abstract. This paper is concerned with a method for computing reachable sets of linear continuous systems with uncertain input. Such a method is required for verification of hybrid...
AUTOMATICA
2006
13 years 5 months ago
2006
In this paper we solve the general problem of designing a feedback controller to reach a set of facets of an n-dimensional simplex in finite time, for a system evolving with linea...
GLOBECOM
2006
IEEE
13 years 12 months ago
2006
IEEE
In this paper, we study the rank distributions of linear codes. We give the analogous to the MacWilliams identity for the rank distributions of codes. The considerations of our pr...
IPMU
2010
Springer
13 years 3 months ago
2010
Springer
Abstract. Rank correlation can be used to compare two linearly ordered rankings. If the rankings include noise values, the rank correlation coefficient will yield lower values than...
ESA
2007
Springer
13 years 12 months ago
2007
Springer
Abstract. A lexicographic ranking function for the set of all permutations of n ordered symbols translates permutations to their ranks in the lexicographic order of all permutation...