TY - JOUR
T1 - Design and verification of a blood cell separation microfluidic device
AU - Gawanmeh, Amjad
AU - Alazzam, Anas
AU - Mathew, Bobby
PY - 2017
Y1 - 2017
N2 - Blood cell separation microdevices are designed in biomedical engineering for the separation of particular cells from blood, such as cancer cells. The movement of blood microentities, especially abnormal ones, in a continuous flow microfluidic device is controlled by several forces. Therefore, understanding and guiding the movement of these microentities is a challenging problem. These cells are subject to different types of forces that result from natural or external effects. These forces include that due to gravity, virtual mass, buoyancy, dielectrophoresis, and inertia. Therefore, these are to be accounted for in any design or implementation of a system. In this paper we use formal analysis of a separation microdevice to model and verify the microenetit's movement and behavior at high level of abstraction while considering different types of forces. The dynamic behavior of the microentity can be modeled as a Markovian decision process to predict the trajectory of the same. This model can provide probabilistic analysis for the microentity movement in the microdevice under the effect of different types of forces.
AB - Blood cell separation microdevices are designed in biomedical engineering for the separation of particular cells from blood, such as cancer cells. The movement of blood microentities, especially abnormal ones, in a continuous flow microfluidic device is controlled by several forces. Therefore, understanding and guiding the movement of these microentities is a challenging problem. These cells are subject to different types of forces that result from natural or external effects. These forces include that due to gravity, virtual mass, buoyancy, dielectrophoresis, and inertia. Therefore, these are to be accounted for in any design or implementation of a system. In this paper we use formal analysis of a separation microdevice to model and verify the microenetit's movement and behavior at high level of abstraction while considering different types of forces. The dynamic behavior of the microentity can be modeled as a Markovian decision process to predict the trajectory of the same. This model can provide probabilistic analysis for the microentity movement in the microdevice under the effect of different types of forces.
KW - Cell separation
KW - Formal analysis
KW - Microdevice
KW - Microentities
UR - http://www.scopus.com/inward/record.url?scp=85021057062&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=85021057062&partnerID=8YFLogxK
U2 - 10.3991/ijoe.v13i06.7081
DO - 10.3991/ijoe.v13i06.7081
M3 - Article
AN - SCOPUS:85021057062
SN - 1868-1646
VL - 13
SP - 105
EP - 112
JO - International Journal of Online Engineering
JF - International Journal of Online Engineering
IS - 6
ER -