Mechanisms through which anesthetics disrupt neuronal activity are incompletely understood. In order to study anesthetic mechanisms in the intact brain, tight control over anesthetic pharmacology in a genetically and neurophysiologically accessible animal model is essential. Here, we developed a pharmacokinetic model that quantitatively describes propofol distribution into and elimination out of the brain. To develop the model, we used jugular venous catheters to infuse propofol in mice and measured propofol concentration in serial timed brain and blood samples using high performance liquid chromatography (HPLC). We then used adaptive fitting procedures to find parameters of a three compartment pharmacokinetic model such that all measurements collected in the blood and in the brain across different infusion schemes are fit by a single model. The purpose of the model was to develop target controlled infusion (TCI) capable of maintaining constant brain propofol concentration at the desired level. We validated the model for two different targeted concentrations in independent cohorts of experiments not used for model fitting. The predictions made by the model were unbiased, and the measured brain concentration was indistinguishable from the targeted concentration. We also verified that at the targeted concentration, state of anesthesia evidenced by slowing of the electroencephalogram and behavioral unresponsiveness was attained. Thus, we developed a useful tool for performing experiments necessitating use of anesthetics and for the investigation of mechanisms of action of propofol in mice.