Abstract Numerous tasks in program analysis and synthesis reduce to deciding reachability possibly infinite graphs such as those induced by Petri nets. However, the net problem has recently been shown require non-elementary time, which raises questions about practical applicability of nets target models. In this paper, we introduce a novel approach for efficiently semi-deciding practice. Our ke...

this study focused on the income generating capacity of farm family’s own resources and examined the vulnerability to financial risk among the remote and peri-urban farming systems of imo state. primary data was collected using the farming and rural systems approach to randomly select and interview 120 households. descriptive statistics and mann whitney test were used in assessing between group...

the modern state is a renewable and evolutionary phenomenon and it cannot be evaluated so that it has single cause. therefore none of the fields of the human sciences alone cannot fully explain the emergence of the modern state without interaction with other disciplines. political superstructure in various countries, primarily influenced by the social and cultural systems of communities as the ...

In this paper, we investigate the stabilization of unstable periodic orbits of continuous time chaotic systems usingfuzzy time-delayed controllers. For this aim, we present a control method that can achieve stabilization of an unstableperiodic orbit (UPO) without any knowledge of the system model. Our proposal is attained progressively. First, wecombine the input-to-state linearizing controller...