1 / 14

Radu Grosu Vienna University of Technology

CPS from EU-Science Perspective. Radu Grosu Vienna University of Technology. Joint work with Ezio Bartocci, Flavio H. Fenton, James Glimm Ariful Islam, Abhishek Murthy, and Scott A. Smolka. Consider the Following CP-EM-Systems. Error-Free System . Error-Prone System.

minya
Download Presentation

Radu Grosu Vienna University of Technology

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript

  1. CPS from EU-Science Perspective Radu GrosuVienna University of Technology Joint work with Ezio Bartocci, Flavio H. Fenton, James Glimm Ariful Islam, Abhishek Murthy, and Scott A. Smolka

  2. Consider the Following CP-EM-Systems Error-Free System Error-Prone System Whose problem is this to solve?

  3. It is a Medical Problem National Vital Statistics Report, Vol.49, No.11, October 12, 2006 Deaths and percent of total deaths for the 10 leading causes of death: USA http://www.cdc.gov/nchs/data/nvsr/nvsr57/nvsr57_14.pdf

  4. What are the Fundamental Questions? For cardiologists, pharmacologists and patients: Given a disorder-specification and a model of the ventricle: • What is the risk of a patient to develop the disorder? • Under what circumstances will such a disorder arise? • What is the probability of the model to satisfy the specification? • For what parameter-ranges does it satisfy the specification? Whose problem is this to solve?

  5. It is a Communication-Structure Problem Canine heart: slices (DTMRI @ 250 microns resolution) Complicated structure Anatomy Fibers Vessels Pittsburgh NMR Center MicroCT Cornell 4 Billion communication nodes (cells) linked in a very sophisticated way

  6. lt is a Cellular Problem NSR JSR Buffer Buffer Subspace

  7. It is an Electrical Problem NSR JSR Buffer Buffer Subspace

  8. lt is an Abstraction Problem Enough if only voltage V is of interest

  9. It is a Molecular Problem Extracellular space Sodium ions Lipid bi-layer Activating m-gate Inactivating h-gate Intracellular space The sodium channel: Hodgkin-Huxley Nobel-Prize model

  10. It is an Abstraction Problem Approximate bisimulation The sodium channel: Most recent Iyer-Mazhari-Winslow model

  11. It is a Simulation Problem Web Graphics Language (Fenton-Karma 2V) 3D Model of a Mouse Heart (Fenton-Karma 3V Model) 3D Model of a Pig Heart (Fenton-Karma 3V Model) Runs in your Browser and Uses your own GPU 11

  12. It is a Verification Problem Spiral Wave Induced by Unexcitable Myocytes Property to Check Uncertain Parameters

  13. It is a Control Problem • 5 Low Energy Shocks 1 Shock Computer simulation Defibrillation with 90% energy reduction

  14. It is a EU-CPS Problem We are on the brink of a paradigm shift in the Diagnosis and treatment of cardiac disorders It is up to usin to make it happen! This is a World-CPS Problem

More Related