[HTML][HTML] Digital engineering methods in practical use during mechatronic design processes

B Gerschütz, C Sauer, A Kormann, SJ Nicklas, S Goetz… - Designs, 2023 - mdpi.com
This work aims to evaluate the current state of research on the use of artificial intelligence,
deep learning, digitalization, and Data Mining in product development, mainly in the …

Quantitative regular expressions for arrhythmia detection

H Abbas, A Rodionova, K Mamouras… - IEEE/ACM …, 2018 - ieeexplore.ieee.org
Implantable medical devices are safety-critical systems whose incorrect operation can
jeopardize a patient's health, and whose algorithms must meet tight platform constraints like …

Real-time decision policies with predictable performance

H Abbas, R Alur, K Mamouras… - Proceedings of the …, 2018 - ieeexplore.ieee.org
As methods and tools for cyber-physical systems (CPS) grow in capabilities and use, one-
size-fits-all solutions start to show their limitations. In particular, tools and languages for …

Robustness evaluation of computer-aided clinical trials for medical devices

KJ Jang, YV Pant, B Zhang, J Weimer… - Proceedings of the 10th …, 2019 - dl.acm.org
Medical cyber-physical systems, such as the implantable cardioverter defibrillator (ICD),
require evaluation of safety and efficacy in the context of a patient population in a clinical …

[PDF][PDF] Quantitative Regular Expressions for Arrhythmia Detection

SA Smolka, R Grosu - IEEE/ACM TRANSACTIONS ON …, 2019 - publik.tuwien.ac.at
Implantable medical devices are safety-critical systems whose incorrect operation can
jeopardize a patient's health, and whose algorithms must meet tight platform constraints like …

[PDF][PDF] CIrCUITO ELECTrÓNICO GENErADOr DE pULsOs pArA UN MArCApAsOs ArTIFICIAL

I de Jesús May-Cen - academia.edu
El objetivo de esta investigación consiste en el desarrollo de un prototipo generador de
pulsos, que pueda auxiliar a un marcapasos para producir un potencial de acción de …

[引用][C] Foundations of Safe Autonomous Cyber-Physical Systems

H Abbas - 2018