Synthesis of normal or controllable and normal sublanguages of global specification languages without computation of the global modular plant is a difficult problem. In this paper, these sublanguages are computed using a coordinator. We recall the notion of conditional controllability, introduce a notion of conditional normality, and prove necessary and sufficient conditions where such a comput...

Fractional optimal control problems via a wide class of fractional operators with general analytic kernel are introduced. Necessary optimality conditions Pontryagin type for the considered problem obtained after proving Gronwall inequality as well results on continuity and differentiability perturbed trajectories. Moreover, Mangasarian sufficient global condition is proved. An illustrative exam...