In this paper, we consider the leader-follower formation control problem for general multi-agent systems with Lipschitz nonlinearity and unknown disturbances. T
Satisfiability problem(SAT) is a central problem in artificial intelligence due to its computational complexity and usefulness in industrial applications. Stoch
Many ontologies are provided to representing semantic sensors data.However,heterogeneity exists in different sensors which makes some service operators of Inter