According to your interpretation of controllables, in C2, {ur,us} isn’t controllable, because it contains ur, which can be found in another row. By the original definition, it’s controllable.
Good point—I think the correct definition is something like “rows (or sets of rows) for which there exists a row which is disjoint”
According to your interpretation of controllables, in C2, {ur,us} isn’t controllable, because it contains ur, which can be found in another row. By the original definition, it’s controllable.
Good point—I think the correct definition is something like “rows (or sets of rows) for which there exists a row which is disjoint”