EECS 290N System Theory
The Unknown Component Problem
A Practical Approach to Sequential Synthesis