https://123dok.net/document/6zk3elmy-computing-viable-reachable-design-feedback-linearizing-control-saturation.html