In this paper we will consider discrete time invariant linear systems
that allow for an input-state-output representation with a finite dime
nsional state space, and that have a finite number of inputs and outpu
ts. The basic issue in this paper is when to call these systems nonneg
ative. An important concept in this respect is that of the most powerf
ul unfalsified model. (C) 1998 Elsevier Science Inc. All rights reserv
ed.