This paper deals with the probability that random linear systems defined over a finite field are reachable. Explicit formulas are derived for the probabilities that a linear input-state system is reachable, that the reachability matrix has a prescribed rank, as well as for the number of cyclic vectors of a cyclic matrix. We also estimate the probability that the parallel connection of finitely many single-input systems is reachable. These results may be viewed as a first step to calculate the probability that a network of linear systems is reachable
AbstractReachability analysis is one major approach for safety verification of continuous and hybrid...
We study the maximal reachability probability problem for infinite-state systems featuring both non...
Abstract—This paper deals with the multiplicative finite-field matrix channel, a discrete memoryless...
This paper deals with the probability that random linear systems defined over a finite field are rea...
This paper deals with the probability of classical system-theoretic properties of random linear syst...
This dissertation is dealing with three mathematical areas, namely polynomial matrices over finite f...
In this paper, the decoding failure probability for sparse random linear network coding in a probabi...
Motivated by a connection with block iterative methods for solving linear systems over finite fields...
142 p.Thesis (Ph.D.)--University of Illinois at Urbana-Champaign, 2009.Finally, we generalize existi...
AbstractIn this paper we shall be concerned with the question of reachability when allowing distribu...
Abstract — For a dynamic system with given initial state set, the reachable state set contains the s...
We show that the problem of reaching a state set with probability 1 in probabilisticnondeterministic...
Abstract. We study the maximal reachability probability problem for infinite-state systems featuring...
Abstract As an important approach to analyzing safety of a dynamic system, this paper considers the ...
Using tools from algebraic geometry and Gröbner basis theory we solve two problems in network coding...
AbstractReachability analysis is one major approach for safety verification of continuous and hybrid...
We study the maximal reachability probability problem for infinite-state systems featuring both non...
Abstract—This paper deals with the multiplicative finite-field matrix channel, a discrete memoryless...
This paper deals with the probability that random linear systems defined over a finite field are rea...
This paper deals with the probability of classical system-theoretic properties of random linear syst...
This dissertation is dealing with three mathematical areas, namely polynomial matrices over finite f...
In this paper, the decoding failure probability for sparse random linear network coding in a probabi...
Motivated by a connection with block iterative methods for solving linear systems over finite fields...
142 p.Thesis (Ph.D.)--University of Illinois at Urbana-Champaign, 2009.Finally, we generalize existi...
AbstractIn this paper we shall be concerned with the question of reachability when allowing distribu...
Abstract — For a dynamic system with given initial state set, the reachable state set contains the s...
We show that the problem of reaching a state set with probability 1 in probabilisticnondeterministic...
Abstract. We study the maximal reachability probability problem for infinite-state systems featuring...
Abstract As an important approach to analyzing safety of a dynamic system, this paper considers the ...
Using tools from algebraic geometry and Gröbner basis theory we solve two problems in network coding...
AbstractReachability analysis is one major approach for safety verification of continuous and hybrid...
We study the maximal reachability probability problem for infinite-state systems featuring both non...
Abstract—This paper deals with the multiplicative finite-field matrix channel, a discrete memoryless...