Given the continuous stream of movements that biological systems exhibit in their daily activities, an account for such versatility and creativity has to assume that movement sequences consist of segments, executed either in sequence or with partial or complete overlap. Therefore, a fundamental question that has pervaded research in motor control both in artificial and biological systems revolv...

Behavior-based robot programs are designedby splitting the overall robot decision making processamong concurrent processes, each of them being incharge of a well defined simple goal-oriented behavior.However, the combination of simple behaviors into morecomplex ones often incur global interactions that cannotbe debugged by just considering individual behaviors.The no...

We consider the issue of exploiting the structural form of Esterel programs to partition the algorithmic RSS (reachable state space) fix-point construction used in model-checking techniques. The basic idea sounds utterly simple, as seen on the case of sequential composition: in P ;Q, first compute entirely the states reached in P , and then only carry on to Q, each time using only the relevant ...

this paper addresses a reliable facility location problem with considering facility capacity constraints. in reliable facility location problem some facilities may become unavailable from time to time. if a facility fails, its clients should refer to other facilities by paying the cost of retransfer to these facilities. hence, the fail of facilities leads to disruptions in facility location dec...

The fact that the morphology of a robot affects its control requirements has become increasingly evident in robotics. Not only does the morphology determine the behaviors that can be performed, but also the amount of control required for these behaviors. Particularly in systems where behavior is obtained through purely sensory-motor interactions of the body with the environment, the morphology ...

NAN LIU: Appointment Scheduling in Health Care (Under the direction of Professor Vidyadhar G. Kulkarni and Professor Serhan Ziya) We propose two complementary approaches to the scheduling of outpatient appointments. The first approach is to dynamically assign appointment times depending on the continuously updated patient schedule. The second approach is to statically design the system by eithe...

a new meta-heuristic method, based on neuronal communication (nc), is introduced in this article. the neuronal communication illustrates how data is exchanged between neurons in neural system. actually, this pattern works efficiently in the nature. the present paper shows it is the same to find the global minimum. in addition, since few numbers of neurons participate in each step of the method,...