The canonical controller and its regularity

This paper deals with properties of canonical controllers. We first specify the behavior that they implement. It follows that a canonical controller implements the desired controlled behavior if and only if the desired behavior is implementable. We subsequently investigate the regularity of the controlled behavior. We prove that a canonical controller is regular if and only if every controller is regular. In other words, canonical controllers are maximally irregular.