This paper discusses the observability of nonlinear Dynamical Systems over Finite Fields (DSFF) through the Koopman operator framework. In this work, given a nonlinear DSFF, we construct a linear system of the smallest dimension, called the Linear Output Realization (LOR), which can generate all the output sequences of the original nonlinear system through proper choices of initial conditions (of the associated LOR). We provide necessary and sufficient conditions for the observability of a nonlinear system and establish that the maximum number of outputs sufficient for computing the initial condition is precisely equal to the dimension of the LOR. Further, when the system is not known to be observable, we provide necessary and sufficient conditions for the unique reconstruction of initial conditions for specific output sequences.
NOTATIONSF denotes a finite field and F q denotes the finite field of q elements, where q = p m , for some prime p. F (F) denotes the vector space of F-valued functions over F. F n denotes the Cartesian space of n-tuples over F and F (F n ) denotes the vector space of F-valued functions over F n . The coordinate functions χ i ∈ F (F n ) are defined by their values χ i (x) = x i for x ∈ F n and i-th co-ordinate x i ∈ F n .