Under a compactness assumption on the resolvent, some properties on relevant operators generated by resolvent are given. Existence results of fractional control systems are obtained by Schauder's fixed point theorem and approximation techniques. Furthermore, the approximately controllable result is acquired under the assumption that the corresponding linear system is approximately controllable, which improves and extends some results on this topic.