[2403.16742] A Branch and Bound method for the exact parameter identification of the PK/PD model for anesthetic drugs