Immobilization: Analysis, Existence, and Output- Sensitive Synthesis