Abstract. Cover relations for orbits and bundles of controllability and observability pairs associated with linear time-invariant systems are derived. The cover relations are combinatorial rules acting on integer sequences, each representing a subset of the Jordan and singular Kronecker structures of the corresponding system pencil. By representing these integer sequences as coin piles, the derived stratification rules are expressed as minimal coin moves between and within these piles, which satisfy and preserve certain monotonicity properties. The stratification theory is illustrated with two examples from systems and control applications, a mechanical system consisting of a thin uniform platform supported at both ends by springs, and a linearized Boeing 747 model. For both examples, nearby uncontrollable systems are identified as subsets of the complete closure hierarchy for the associated system pencils.Key words. Stratification, matrix pairs, controllability, observability, robustness, Kronecker structures, orbit, bundle, closure hierarchy, cover relations, StratiGraph.1. Introduction. Computing the canonical structure of a linear time-invariant (LTI) system,ẋ(t) = Ax(t) + Bu(t) with states x(t) and inputs u(t), is an ill-posed problem, i.e., small changes in the input data matrices A and B may drastically change the computed canonical structure of the associated system pencil A − λI B (e.g., see [13]). Besides knowing the canonical structure, it is equally important to be able to identify nearby canonical structures in order to explain the behavior and possibly determining the robustness of a state-space system under small perturbations. For example, a state-space system which is found to be controllable may be very close to an uncontrollable one, and can therefore by only a small change in some data, e.g., due to round-off or measurement errors, become uncontrollable. If the LTI system considered and all nearby systems in a given neighborhood are controllable, the system is called robustly controllable (e.g., see [46]).The qualitative information about nearby linear systems is revealed by the theory of stratification for the corresponding system pencil. A stratification shows which canonical structures are near to each other (in the sense of small perturbations) and their relation to other structures, i.e., the theory reveals the closure hierarchy of orbits and bundles of canonical structures. A cover relation guarantees that two canonical structures are nearest neighbours in the closure hierarchy.For square matrices, Arnold [1] examined nearby structures by small perturbations using versal deformations. For matrix pencils, Elmroth and Kågström [23] first investigated the set of 2-by-3 matrix pencils and later extended the theory, in collaboration with Edelman, to general matrices and matrix pencils [17,18]. In line of this work, the theory has further been developed in [21], and for matrix pairs in [20,42]. Several other people have worked on the theory of stratifications and similar topics, and we refer...