In this thesis, we investigate an analytic framework for decentralized supervisory control based on the automata theory. We introduce the induced cooperation for the decentralized supervisory control using the infimal closed controllable superlanguage instead of the conventional supremal closed controllable sublanguage in case the pure decentralized control problem is inadequate. We propose the decentralized supervisory control with switching control based on the coordinator structure in case the co-observability can not be satisfied where the co-observability is an indispensable condition in the the conventional decentralized supervision. The model uncertainty due to physical constraints of system is investigated based on the multiple model approach and we propose the robust decentralized supervision with switching control. The hierarchical decentralized supervision for the vertical modularity approach is investigated based on the notion of H-observability which is introduced to ensure the hierarchical consistency. The optimal decentralized supervision where we eliminate the redundant local supervisors which have no effect on the control objective is considered to reduce the implementation cost of the decentralized supervisory control. Finally, we proposed the extended decentralized supervision where a certain number of local supervisors are required to disable a controllable event. For the observability of the extended framework, we introduce the mutual observability which is an extended concept of the conventional co-observability.