24 citations · 58 across the 14 of their papers we have counts for
4 papers · 1 filter
Quantized State Hybrid Automata for Cyber-Physical Systems
Avinash Malik, Partha Roop
Cyber-physical systems involve a network of discrete controllers that control physical processes. Examples range from autonomous cars to implantable medical devices, which are high…
An intracardiac electrogram model to bridge virtual hearts and implantable cardiac devices
Weiwei Ai, Nitish Patel, Partha Roop +3
Virtual heart models have been proposed to enhance the safety of implantable cardiac devices through closed loop validation. To communicate with a virtual heart, devices have been…
Towards the Emulation of the Cardiac Conduction System for Pacemaker Testing
Eugene Yip, Sidharta Andalam, Partha S. Roop +4
The heart is a vital organ that relies on the orchestrated propagation of electrical stimuli to coordinate each heart beat. Abnormalities in the heart's electrical behaviour can be…
A unified framework for modeling and implementation of hybrid systems with synchronous controllers
Avinash Malik, Partha Roop
This paper presents a novel approach to including non-instantaneous discrete control transitions in the linear hybrid automaton approach to simulation and verification of hybrid co…