Skip to Main Content Area
CPS-VO
Contact Support
Browse
Calendar
Announcements
Repositories
Groups
Search
Search for Content
Search for a Group
Search for People
Search for a Project
Tagcloud
› Go to login screen
Not a member?
Click here to register!
Forgot username or password?
Cyber-Physical Systems Virtual Organization
Read-only archive of site from September 29, 2023.
CPS-VO
1446832
file
CyberCardia- Compositional, Approximate, and Quantitative Reasoning for Medical CPSs
Submitted by Scott Smolka on Tue, 01/22/2019 - 5:36pm. Contributor:
Scott Smolka
Cardiac Device
MRI
cyber-attacks
reachability analysis
Posters (Sessions 8 & 11)
1446832
CPS-PI Meeting 2018
2018
Poster
file
Compositional, Approximate, and Quantitative Reasoning for Medical CPS
Submitted by Scott Smolka on Mon, 12/17/2018 - 11:21am. Contributor:
Scott Smolka
medical CPS
model checking
Implantable Cardiac Defibrillators (ICDs)
High-Performance Numerical Simulation
Session 12: LT
1446832
CPS-PI Meeting 2018
2018
Presentation
biblio
Lagrangian Reachabililty
Submitted by el_wehby on Fri, 05/11/2018 - 1:38pm
1446832
biblio
In-silico pre-clinical trials for implantable cardioverter defibrillators
Submitted by el_wehby on Fri, 05/11/2018 - 1:38pm
1035715
1446832
biblio
A novel {ICD} morphology discriminator to improve discrimination between Ventricular and Supraventricular tachycardias
Submitted by el_wehby on Fri, 05/11/2018 - 1:38pm
1446832
biblio
Real-time Decision Policies with Predictable Performance
Submitted by el_wehby on Fri, 05/11/2018 - 1:38pm
1446832
biblio
Three challenges in cyber-physical systems
Submitted by el_wehby on Fri, 05/11/2018 - 1:37pm
1446832
biblio
Towards Model Checking of Implantable Cardioverter Defibrillators
Submitted by el_wehby on Fri, 05/11/2018 - 1:37pm
1035715
1446832
biblio
Benchmark: Nonlinear Hybrid Automata Model of Excitable Cardiac Tissue
Submitted by el_wehby on Fri, 05/11/2018 - 1:37pm
1446832
biblio
Computer Aided Clinical Trials for Implantable Cardiac Devices
Submitted by el_wehby on Fri, 05/11/2018 - 1:37pm
1446832
1
2
3
next ›
last »