State space

Quantum mechanics

Controllability

Algorithm

Control (management)

Extension (predicate logic)

Linear system

Ecology

Biology

Identification (biology)

Statistics

Applied mathematics

Poaceae

Excitation

Data mining

Computer science

Botany

Physics

Mathematics

Lemma (botany)

System identification

Mathematical analysis

Artificial intelligence

Measure (data warehouse)

Programming language

Control theory (sociology)

State (computer science)

IEEE Control Systems Letters

Willems et al.'s fundamental lemma asserts that all trajectories of a linear system can be obtained from a single given one, assuming that a persistency of excitation and a controllability condition hold. This result has profound implications for system identification and data-driven control, and has seen a revival over the last few years. The purpose of this letter is to extend Willems' lemma to the situation where multiple (possibly short) system trajectories are given instead of a single long one. To this end, we introduce a notion of collective persistency of excitation. We will show that all trajectories of a linear system can be obtained from a given finite number of trajectories, as long as these are collectively persistently exciting. We will demonstrate that this result enables the identification of linear systems from data sets with missing samples. Additionally, we show that the result is of practical significance in data-driven control of unstable systems.

Willems’ Fundamental Lemma for State-Space Systems and Its Extension to Multiple Datasets