Jove
Visualize
Contact Us
JoVE
x logofacebook logolinkedin logoyoutube logo
ABOUT JoVE
OverviewLeadershipBlogJoVE Help Center
AUTHORS
Publishing ProcessEditorial BoardScope & PoliciesPeer ReviewFAQSubmit
LIBRARIANS
TestimonialsSubscriptionsAccessResourcesLibrary Advisory BoardFAQ
RESEARCH
JoVE JournalMethods CollectionsJoVE Encyclopedia of ExperimentsArchive
EDUCATION
JoVE CoreJoVE BusinessJoVE Science EducationJoVE Lab ManualFaculty Resource CenterFaculty Site
Terms & Conditions of Use
Privacy Policy
Policies

Related Concept Videos

Block Diagram Reduction01:22

Block Diagram Reduction

605
The process of deriving the transfer function of a control system often involves reducing its block diagram to a single block. This simplification can be achieved through a series of strategic operations, including relocating branch points and comparators. These operations preserve the overall function of the system while allowing for easier manipulation and combination of blocks.
The first step in this process is the identification and relocation of a branch point. A branch point, where a...
605

You might also read

Related Articles

Articles linked to this work by shared authors, journal, and citation graph.

Sort by
Same author

A new approach for atmospheric turbulence removal using low-rank matrix factorization.

PeerJ. Computer science·2024
Same author

Mixed multiscale BM4D for three-dimensional optical coherence tomography denoising.

Computers in biology and medicine·2023
Same author

Identification of Protein Complexes Based on Core-Attachment Structure and Combination of Centrality Measures and Biological Properties in PPI Weighted Networks.

The protein journal·2020
Same author

Three-dimensional optical coherence tomography image denoising through multi-input fully-convolutional networks.

Computers in biology and medicine·2019
Same author

Identification of essential proteins based on a new combination of topological and biological features in weighted protein-protein interaction networks.

IET systems biology·2018
Same author

Optical coherence tomography retinal image reconstruction via nonlocal weighted sparse representation.

Journal of biomedical optics·2018
Same journal

Starmate: A Lightweight AI Assistant for Autism Caregivers Developed and Evaluated Through a User-Centered Mixed-Methods Framework.

Journal of medical systems·2026
Same journal

Development and Internal Validation of a Vectorcardiography-Augmented Model for 12-Month Major Adverse Cardiovascular Events in Chronic Heart Failure.

Journal of medical systems·2026
Same journal

Development and Validation of an Automated Acute Kidney Injury E-Alert System Integrated with Clinical Decision Support for Hospitalized Patients.

Journal of medical systems·2026
Same journal

Calibration of Self-Reported Confidence and Accuracy of Large Language Models in Medical Question Answering.

Journal of medical systems·2026
Same journal

Throughput Benchmarking and Throughput Variance Analysis to Evaluate the Efficiency of an Outpatient Endoscopy Unit.

Journal of medical systems·2026
Same journal

MTA-Swin: A Multi-Token Attention Swin Transformer for Brain Tumor Classification with Leakage-Free MRI Benchmarking.

Journal of medical systems·2026
See all related articles

Related Experiment Video

Updated: Mar 9, 2026

Patient-specific Modeling of the Heart: Estimation of Ventricular Fiber Orientations
12:09

Patient-specific Modeling of the Heart: Estimation of Ventricular Fiber Orientations

Published on: January 8, 2013

14.1K

Runtime Verification of Pacemaker Functionality Using Hierarchical Fuzzy Colored Petri-nets.

Negar Majma1,2, Seyed Morteza Babamir3, Amirhassan Monadjemi4

  • 1Department of Computer, University of Kashan, Kashan, Iran.

Journal of Medical Systems
|December 23, 2016
PubMed
Summary
This summary is machine-generated.

This study introduces a hierarchical Fuzzy Colored Petri-net (FCPN) to verify pacemaker software, significantly reducing verification runtime and enhancing inference engine performance for improved medical device safety.

Keywords:
Hierarchical fuzzy colored Petri-netPacemakerPetri-netRuntime verification

More Related Videos

Electrophysiological Analysis of human Pluripotent Stem Cell-derived Cardiomyocytes hPSC-CMs Using Multi-electrode Arrays MEAs
11:13

Electrophysiological Analysis of human Pluripotent Stem Cell-derived Cardiomyocytes hPSC-CMs Using Multi-electrode Arrays MEAs

Published on: May 12, 2017

21.0K
Optimization of Transesophageal Atrial Pacing to Assess Atrial Fibrillation Susceptibility in Mice
08:05

Optimization of Transesophageal Atrial Pacing to Assess Atrial Fibrillation Susceptibility in Mice

Published on: June 29, 2022

3.6K

Related Experiment Videos

Last Updated: Mar 9, 2026

Patient-specific Modeling of the Heart: Estimation of Ventricular Fiber Orientations
12:09

Patient-specific Modeling of the Heart: Estimation of Ventricular Fiber Orientations

Published on: January 8, 2013

14.1K
Electrophysiological Analysis of human Pluripotent Stem Cell-derived Cardiomyocytes hPSC-CMs Using Multi-electrode Arrays MEAs
11:13

Electrophysiological Analysis of human Pluripotent Stem Cell-derived Cardiomyocytes hPSC-CMs Using Multi-electrode Arrays MEAs

Published on: May 12, 2017

21.0K
Optimization of Transesophageal Atrial Pacing to Assess Atrial Fibrillation Susceptibility in Mice
08:05

Optimization of Transesophageal Atrial Pacing to Assess Atrial Fibrillation Susceptibility in Mice

Published on: June 29, 2022

3.6K

Area of Science:

  • Biomedical Engineering
  • Software Engineering
  • Control Systems

Background:

  • Implanted medical devices, such as pacemakers, are crucial but prone to software errors causing malfunctions and patient harm.
  • Effective software verification is essential to mitigate risks associated with pacemaker device failures.
  • Previous research utilized Fuzzy Petri-nets (FPN) and Colored Petri-nets (CPN) for medical device verification.

Purpose of the Study:

  • To develop and present a novel method for verifying pacemaker software to decrease failure risks.
  • To enhance the monitoring of pacemaker software's runtime behavior and status.
  • To improve the efficiency of software verification processes for critical medical devices.

Main Methods:

  • A hierarchical Fuzzy Colored Petri-net (FCPN) model was developed, incorporating fuzzy rules derived from pacemaker function limitations.
  • The FCPN model was used to supervise the runtime function and status of the pacemaker software.
  • The proposed method builds upon prior experience with FPN for insulin pumps and CPN for pacemakers.

Main Results:

  • The hierarchical FCPN approach reduced verification complexity compared to previous FPN and CPN methods.
  • Verification runtime decreased by 90.61% with the hierarchical Petri-net (PN) structure.
  • The HFCPN enhanced the performance of the inference engine required for runtime verification.

Conclusions:

  • The hierarchical Fuzzy Colored Petri-net (FCPN) offers a more efficient and less complex method for pacemaker software verification.
  • This advanced verification technique contributes to reducing the risk of critical failures in implanted medical devices.
  • The study demonstrates a significant improvement in verification runtime, enhancing the safety and reliability of pacemaker technology.