Symbolic search using binary decision diagrams (BDDs) can often save large amounts of memory due to its concise representation of state sets. A decisive factor for this method’s success is the chosen variable ordering. Generally speaking, it is plausible that dependent variables should be brought close together in order to reduce BDD sizes. In planning, variable dependencies are typically captu...

this paper presents a novel control approach used in shunt active power filter based on variable structure control combined with random pwm technique (rvsc) that provides robust, fast, and more favorable performance for active power filter. this control strategy is compared with two other strategies to show the effectiveness of the introduced methods; pulse width modulated proportional-integral...

Learning structure of Bayesian network have been a great challenge of Machine learning for the last few decades. A lot of ideas have been offered during that time and some of them proved to provide pretty handy results. The new idea of ordering estimation is proposed aiming to improve properties of ordering based or dependant Bayesian network structure learning algorithms. Three different appro...

in previous papers authors have considered agents as inertia-less self driven particles and designed a flocking algorithm. application of this algorithm to agents with considerable inertial characteristics needs a behavioural controller. the controller uses the local information and helps every agent to imitate the desired behaviour as a member of the flocking frame which covers the main issue ...

in this paper, the problem of finite time stabilization for guidance system is investigated and a novel nonlinear guidance law against maneuvering targets is proposed based on the principles of parallel navigation. the proposed law is developed using two variable structure control techniques. by applying finite time integral sliding mode and combining it with terminal sliding mode, a new guidan...

In previous papers authors have considered agents as inertia-less self driven particles and designed a flocking algorithm. Application of this algorithm to agents with considerable inertial characteristics needs a behavioural controller. The controller uses the local information and helps every agent to imitate the desired behaviour as a member of the flocking frame which covers the main is...

LexLeader, a state of the art static symmetry breaking method, adds a lex ordering constraint for each variable symmetry of the problem to select the lexicographically least solution. In practice, the same method can also be used for partial symmetry breaking by breaking only a given subset of symmetries. We propose a new total ordering, reflex, as basis of a new symmetry breaking constraint th...

Identifying a list of the most likely multiple-variable hypotheses in a Bayesian network is an important type of query commonly encountered in many problem domains. Yet, it received little attention in the past due to, at least in part, the limited success in dealing with the complexity problem of ordering exponential number of hypotheses. The objective of this research is to develop an eecient...