NLFeedback 2.0: a symbolic computation tool for the design of extended controllers and observers for nonlinear control systems with stabilizable and detectable linearization | IEEE Conference Publication | IEEE Xplore