A set-theoretic approach to observability and its application to process control. (August 2019)