Repository logo

Infoscience

  • English
  • French
Log In
Logo EPFL, École polytechnique fédérale de Lausanne

Infoscience

  • English
  • French
Log In
  1. Home
  2. Academic and Research Output
  3. Conferences, Workshops, Symposiums, and Seminars
  4. Generating Safety Guidance for Medical Injection with Three-Compartment Pharmacokinetics Model
 
conference paper

Generating Safety Guidance for Medical Injection with Three-Compartment Pharmacokinetics Model

Yu, Cunxi  
•
Riener, Heinz  
•
Stradolini, Francesca  
Show more
July 11, 2018
Proceedings of the 2018 IEEE Computer Society Annual Symposium on VLSI (ISVLSI)
2018 IEEE Computer Society Annual Symposium on VLSI (ISVLSI'18)

Medical cyber-physical systems are a new trend of software controlled physical systems that are increasingly common in medical domains. With rapid developments in medical science and computer technology, safety verification and simulation becomes more challenging. This paper introduces a general model for medical injection systems, which can be used for formal verification, simulation/testing, and computing the Area Under the Curve (AUC) metrics, using Satisfiability Modulo Theories (SMT) over Reals. An algorithm of computing constrained AUC for measuring drug exposure with relative baseline, is presented based on the proof of unsatisfiability. We demonstrate that our model can efficiently solve these problems using the state-of-the-art SMT solver dReal.

  • Files
  • Details
  • Metrics
Loading...
Thumbnail Image
Name

Generating Safety guidance.pdf

Type

Publisher's Version

Version

http://purl.org/coar/version/c_970fb48d4fbd8a85

Access type

openaccess

Size

2.6 MB

Format

Adobe PDF

Checksum (MD5)

f6f1d4fbad9ca90cc215a144bee2123d

Logo EPFL, École polytechnique fédérale de Lausanne
  • Contact
  • infoscience@epfl.ch

  • Follow us on Facebook
  • Follow us on Instagram
  • Follow us on LinkedIn
  • Follow us on X
  • Follow us on Youtube
AccessibilityLegal noticePrivacy policyCookie settingsEnd User AgreementGet helpFeedback

Infoscience is a service managed and provided by the Library and IT Services of EPFL. © EPFL, tous droits réservés