Although microlocal analysis was developed originally exclusively for linear problems, it has played an increasingly important role in nonlinear PDE via what's known as paradifferential calculus. There are some nice write-ups about this. Here are a few:
http://www.math.ucla.edu/~tao/247b.1.07w/notes6.pdf