-
Flying with Photons: Rendering Novel Views of Propagating Light
Authors:
Anagh Malik,
Noah Juravsky,
Ryan Po,
Gordon Wetzstein,
Kiriakos N. Kutulakos,
David B. Lindell
Abstract:
We present an imaging and neural rendering technique that seeks to synthesize videos of light propagating through a scene from novel, moving camera viewpoints. Our approach relies on a new ultrafast imaging setup to capture a first-of-its kind, multi-viewpoint video dataset with picosecond-level temporal resolution. Combined with this dataset, we introduce an efficient neural volume rendering fram…
▽ More
We present an imaging and neural rendering technique that seeks to synthesize videos of light propagating through a scene from novel, moving camera viewpoints. Our approach relies on a new ultrafast imaging setup to capture a first-of-its kind, multi-viewpoint video dataset with picosecond-level temporal resolution. Combined with this dataset, we introduce an efficient neural volume rendering framework based on the transient field. This field is defined as a map** from a 3D point and 2D direction to a high-dimensional, discrete-time signal that represents time-varying radiance at ultrafast timescales. Rendering with transient fields naturally accounts for effects due to the finite speed of light, including viewpoint-dependent appearance changes caused by light propagation delays to the camera. We render a range of complex effects, including scattering, specular reflection, refraction, and diffraction. Additionally, we demonstrate removing viewpoint-dependent propagation delays using a time war** procedure, rendering of relativistic effects, and video synthesis of direct and global components of light transport.
△ Less
Submitted 9 April, 2024; v1 submitted 9 April, 2024;
originally announced April 2024.
-
Transient Neural Radiance Fields for Lidar View Synthesis and 3D Reconstruction
Authors:
Anagh Malik,
Parsa Mirdehghan,
Sotiris Nousias,
Kiriakos N. Kutulakos,
David B. Lindell
Abstract:
Neural radiance fields (NeRFs) have become a ubiquitous tool for modeling scene appearance and geometry from multiview imagery. Recent work has also begun to explore how to use additional supervision from lidar or depth sensor measurements in the NeRF framework. However, previous lidar-supervised NeRFs focus on rendering conventional camera imagery and use lidar-derived point cloud data as auxilia…
▽ More
Neural radiance fields (NeRFs) have become a ubiquitous tool for modeling scene appearance and geometry from multiview imagery. Recent work has also begun to explore how to use additional supervision from lidar or depth sensor measurements in the NeRF framework. However, previous lidar-supervised NeRFs focus on rendering conventional camera imagery and use lidar-derived point cloud data as auxiliary supervision; thus, they fail to incorporate the underlying image formation model of the lidar. Here, we propose a novel method for rendering transient NeRFs that take as input the raw, time-resolved photon count histograms measured by a single-photon lidar system, and we seek to render such histograms from novel views. Different from conventional NeRFs, the approach relies on a time-resolved version of the volume rendering equation to render the lidar measurements and capture transient light transport phenomena at picosecond timescales. We evaluate our method on a first-of-its-kind dataset of simulated and captured transient multiview scans from a prototype single-photon lidar. Overall, our work brings NeRFs to a new dimension of imaging at transient timescales, newly enabling rendering of transient imagery from novel views. Additionally, we show that our approach recovers improved geometry and conventional appearance compared to point cloud-based supervision when training on few input viewpoints. Transient NeRFs may be especially useful for applications which seek to simulate raw lidar measurements for downstream tasks in autonomous driving, robotics, and remote sensing.
△ Less
Submitted 5 April, 2024; v1 submitted 14 July, 2023;
originally announced July 2023.
-
Intelligent humanoids in manufacturing to address worker shortage and skill gaps: Case of Tesla Optimus
Authors:
Ali Ahmad Malik,
Tariq Masood,
Alexander Brem
Abstract:
Technological evolution in the field of robotics is emerging with major breakthroughs in recent years. This was especially fostered by revolutionary new software applications leading to humanoid robots. Humanoids are being envisioned for manufacturing applications to form human-robot teams. But their implication in manufacturing practices especially for industrial safety standards and lean manufac…
▽ More
Technological evolution in the field of robotics is emerging with major breakthroughs in recent years. This was especially fostered by revolutionary new software applications leading to humanoid robots. Humanoids are being envisioned for manufacturing applications to form human-robot teams. But their implication in manufacturing practices especially for industrial safety standards and lean manufacturing practices have been minimally addressed. Humanoids will also be competing with conventional robotic arms and effective methods to assess their return on investment are needed. To study the next generation of industrial automation, we used the case context of the Tesla humanoid robot. The company has recently unveiled its project on an intelligent humanoid robot named Optimus to achieve an increased level of manufacturing automation. This article proposes a framework to integrate humanoids for manufacturing automation and also presents the significance of safety standards of human-robot collaboration. A case of lean assembly cell for the manufacturing of an open-source medical ventilator was used for human-humanoid automation. Simulation results indicate that humanoids can increase the level of manufacturing automation. Managerial and research implications are presented.
△ Less
Submitted 10 April, 2023;
originally announced April 2023.
-
Future of industrial assembly: Intelligent Reconfigurable & Repurposable Adaptive Assembly (IRRAA)
Authors:
Ali Ahmad Malik
Abstract:
Assembly, the process of integrating parts and components into usable products, is a key industrial process to achieve finished goods. Driven by market demographics and technological advancements, industrial assembly has evolved through several phases i.e. craftmanship, bench assembly, assembly lines and flexible assembly cells. Due to the complexity and variety of assembly tasks, besides signific…
▽ More
Assembly, the process of integrating parts and components into usable products, is a key industrial process to achieve finished goods. Driven by market demographics and technological advancements, industrial assembly has evolved through several phases i.e. craftmanship, bench assembly, assembly lines and flexible assembly cells. Due to the complexity and variety of assembly tasks, besides significant advancement of automation technologies in other manufacturing activities, humans are still considered vital for assembly operations. The rationalization of manufacturing automation has considerably remained away from assembly systems. The advancement in assembly has only been in terms of better scheduling of work tasks and avoiding of wastes. With smart manufacturing technologies such as collaborative robots, additive manufacturing, and digital twins, the opportunities have arisen for the next resha** of assembly systems. The new paradigm promises a higher degree of automation yet remaining flexible. This may result into a new manufacturing paradigm driven by the advancement of new technologies, new customer expectations and by establishing new kinds of manufacturing systems. This study explores the future collaborative assembly cells, presents a generic framework to develop them and the basic building blocks.
△ Less
Submitted 3 October, 2022;
originally announced October 2022.
-
A Vision Transformer-Based Approach to Bearing Fault Classification via Vibration Signals
Authors:
Abid Hasan Zim,
Aeyan Ashraf,
Aquib Iqbal,
Asad Malik,
Minoru Kuribayashi
Abstract:
Rolling bearings are the most crucial components of rotating machinery. Identifying defective bearings in a timely manner may prevent the malfunction of an entire machinery system. The mechanical condition monitoring field has entered the big data phase as a result of the fast advancement of machine parts. When working with large amounts of data, the manual feature extraction approach has the draw…
▽ More
Rolling bearings are the most crucial components of rotating machinery. Identifying defective bearings in a timely manner may prevent the malfunction of an entire machinery system. The mechanical condition monitoring field has entered the big data phase as a result of the fast advancement of machine parts. When working with large amounts of data, the manual feature extraction approach has the drawback of being inefficient and inaccurate. Data-driven methods like the Deep Learning method have been successfully used in recent years for mechanical intelligent fault detection. Convolutional neural networks (CNNs) were mostly used in earlier research to detect and identify bearing faults. The CNN model, however, suffers from the drawback of having trouble managing fault-time information, which results in a lack of classification results. In this study, bearing defects have been classified using a state-of-the-art Vision Transformer (ViT). Bearing defects were classified using Case Western Reserve University (CWRU) bearing failure laboratory experimental data. The research took into account 13 distinct kinds of defects under 0-load situations in addition to normal bearing conditions. Using the short-time Fourier transform (STFT), the vibration signals were converted into 2D time-frequency images. The 2D time-frequency images are used as input parameters for the ViT. The model achieved an overall accuracy of 98.8%.
△ Less
Submitted 20 September, 2022; v1 submitted 15 August, 2022;
originally announced August 2022.
-
Development of a mobile robot assistant for wind turbines manufacturing
Authors:
Ali Ahmad Malik
Abstract:
The thrust for increased rating capacity of wind turbines has resulted into larger generators, longer blades, and taller towers. Presently, up to 16 MW wind turbines are being offered by wind turbines manufacturers which is nearly a 60 percent increase in the design capacity over the last five years. Manufacturing of these turbines involves assembling of gigantic sized components. Due to the frequ…
▽ More
The thrust for increased rating capacity of wind turbines has resulted into larger generators, longer blades, and taller towers. Presently, up to 16 MW wind turbines are being offered by wind turbines manufacturers which is nearly a 60 percent increase in the design capacity over the last five years. Manufacturing of these turbines involves assembling of gigantic sized components. Due to the frequent design changes and the variety of tasks involved, conventional automation is not possible making it a labor-intensive activity. However the handling and assembling of large components are challenging the human capabilities. The article proposes the use of mobile robotic assistants for partial automation of wind turbines manufacturing. The robotic assistant can result into reducing production costs, and better work conditions. The article presents development of a robot assistant for human operators to effectively perform assembly of wind turbines. The case is from a leading wind turbines manufacturer. The developed system is also applicable to other cases of large component manufacturing involving intensive manual effort.
△ Less
Submitted 8 August, 2022; v1 submitted 6 August, 2022;
originally announced August 2022.
-
Text to Image Synthesis using Stacked Conditional Variational Autoencoders and Conditional Generative Adversarial Networks
Authors:
Haileleol Tibebu,
Aadil Malik,
Varuna De Silva
Abstract:
Synthesizing a realistic image from textual description is a major challenge in computer vision. Current text to image synthesis approaches falls short of producing a highresolution image that represent a text descriptor. Most existing studies rely either on Generative Adversarial Networks (GANs) or Variational Auto Encoders (VAEs). GANs has the capability to produce sharper images but lacks the d…
▽ More
Synthesizing a realistic image from textual description is a major challenge in computer vision. Current text to image synthesis approaches falls short of producing a highresolution image that represent a text descriptor. Most existing studies rely either on Generative Adversarial Networks (GANs) or Variational Auto Encoders (VAEs). GANs has the capability to produce sharper images but lacks the diversity of outputs, whereas VAEs are good at producing a diverse range of outputs, but the images generated are often blurred. Taking into account the relative advantages of both GANs and VAEs, we proposed a new stacked Conditional VAE (CVAE) and Conditional GAN (CGAN) network architecture for synthesizing images conditioned on a text description. This study uses Conditional VAEs as an initial generator to produce a high-level sketch of the text descriptor. This high-level sketch output from first stage and a text descriptor is used as an input to the conditional GAN network. The second stage GAN produces a 256x256 high resolution image. The proposed architecture benefits from a conditioning augmentation and a residual block on the Conditional GAN network to achieve the results. Multiple experiments were conducted using CUB and Oxford-102 dataset and the result of the proposed approach is compared against state-ofthe-art techniques such as StackGAN. The experiments illustrate that the proposed method generates a high-resolution image conditioned on text descriptions and yield competitive results based on Inception and Frechet Inception Score using both datasets
△ Less
Submitted 15 August, 2022; v1 submitted 6 July, 2022;
originally announced July 2022.
-
RIS-Assisted Vehicular Network with Direct Transmission over Double-Generalized Gamma Fading Channels
Authors:
Vinay Kumar Chapala,
Arsalan Malik,
S. M. Zafaruddin
Abstract:
Reconfigurable intelligent surface (RIS) can provide stable connectivity for vehicular communications when direct transmission becomes significantly weaker with dynamic channel conditions between an access point and a moving vehicle. In this paper, we analyze the performance of a RIS-assisted vehicular network by coherently combining received signals reflected by RIS elements and direct transmissi…
▽ More
Reconfigurable intelligent surface (RIS) can provide stable connectivity for vehicular communications when direct transmission becomes significantly weaker with dynamic channel conditions between an access point and a moving vehicle. In this paper, we analyze the performance of a RIS-assisted vehicular network by coherently combining received signals reflected by RIS elements and direct transmissions from the source terminal over double generalized Gamma (dGG) fading channels. We present analytical expressions on the outage probability and average bit-error rate (BER) performance of the considered system by deriving exact density and distribution functions for the end-to-end signal-to-noise ratio (SNR) resulted from the finite sum of the direct link and product of channel coefficients each distributed according to the dGG. We also develop asymptotic analysis on the outage probability and average BER to derive diversity order for a better insight into the system performance at high SNR. We validate the derived analytical expressions through numerical and simulation results and demonstrate scaling of the system performance with RIS elements and a comparison to the conventional relaying techniques and direct transmissions considering various practically relevant scenarios.
△ Less
Submitted 21 April, 2022;
originally announced April 2022.
-
POSTER: Diagnosis of COVID-19 through Transfer Learning Techniques on CT Scans: A Comparison of Deep Learning Models
Authors:
Aeyan Ashraf,
Asad Malik,
Zahid Khan
Abstract:
The novel coronavirus disease (COVID-19) constitutes a public health emergency globally. It is a deadly disease which has infected more than 230 million people worldwide. Therefore, early and unswerving detection of COVID-19 is necessary. Evidence of this virus is most commonly being tested by RT-PCR test. This test is not 100% reliable as it is known to give false positives and false negatives. O…
▽ More
The novel coronavirus disease (COVID-19) constitutes a public health emergency globally. It is a deadly disease which has infected more than 230 million people worldwide. Therefore, early and unswerving detection of COVID-19 is necessary. Evidence of this virus is most commonly being tested by RT-PCR test. This test is not 100% reliable as it is known to give false positives and false negatives. Other methods like X-Ray images or CT scans show the detailed imaging of lungs and have been proven more reliable. This paper compares different deep learning models used to detect COVID-19 through transfer learning technique on CT scan dataset. VGG-16 outperforms all the other models achieving an accuracy of 85.33% on the dataset.
△ Less
Submitted 17 March, 2022;
originally announced March 2022.
-
Integral action for setpoint regulation control of a reaction-diffusion equation in the presence of a state delay
Authors:
Hugo Lhachemi,
Ammar Malik,
Robert Shorten
Abstract:
This paper is concerned with the regulation control of a one-dimensional reaction-diffusion equation in the presence of a state-delay in the reaction term. The objective is to achieve the PI regulation of the right Dirichlet trace with a command selected as the left Dirichlet trace. The control design strategy consists of the design of a PI controller on a finite dimensional truncated model obtain…
▽ More
This paper is concerned with the regulation control of a one-dimensional reaction-diffusion equation in the presence of a state-delay in the reaction term. The objective is to achieve the PI regulation of the right Dirichlet trace with a command selected as the left Dirichlet trace. The control design strategy consists of the design of a PI controller on a finite dimensional truncated model obtained by spectral reduction. By an adequate selection of the number of modes of the original infinite-dimensional system, we show that the proposed control design procedure achieves both the exponential stabilization of the original infinite-dimensional system as well as the setpoint regulation of the right Dirichlet trace.
△ Less
Submitted 24 August, 2021;
originally announced August 2021.
-
A Machine Learning Model for Early Detection of Diabetic Foot using Thermogram Images
Authors:
Amith Khandakar,
Muhammad E. H. Chowdhury,
Mamun Bin Ibne Reaz,
Sawal Hamid Md Ali,
Md Anwarul Hasan,
Serkan Kiranyaz,
Tawsifur Rahman,
Rashad Alfkey,
Ahmad Ashrif A. Bakar,
Rayaz A. Malik
Abstract:
Diabetes foot ulceration (DFU) and amputation are a cause of significant morbidity. The prevention of DFU may be achieved by the identification of patients at risk of DFU and the institution of preventative measures through education and offloading. Several studies have reported that thermogram images may help to detect an increase in plantar temperature prior to DFU. However, the distribution of…
▽ More
Diabetes foot ulceration (DFU) and amputation are a cause of significant morbidity. The prevention of DFU may be achieved by the identification of patients at risk of DFU and the institution of preventative measures through education and offloading. Several studies have reported that thermogram images may help to detect an increase in plantar temperature prior to DFU. However, the distribution of plantar temperature may be heterogeneous, making it difficult to quantify and utilize to predict outcomes. We have compared a machine learning-based scoring technique with feature selection and optimization techniques and learning classifiers to several state-of-the-art Convolutional Neural Networks (CNNs) on foot thermogram images and propose a robust solution to identify the diabetic foot. A comparatively shallow CNN model, MobilenetV2 achieved an F1 score of ~95% for a two-feet thermogram image-based classification and the AdaBoost Classifier used 10 features and achieved an F1 score of 97 %. A comparison of the inference time for the best-performing networks confirmed that the proposed algorithm can be deployed as a smartphone application to allow the user to monitor the progression of the DFU in a home setting.
△ Less
Submitted 27 June, 2021;
originally announced June 2021.
-
Superresolution photoacoustic tomography using random speckle illumination and second order moments
Authors:
Osman Asif Malik,
Venkatalakshmi Vyjayanthi Narumanchi,
Stephen Becker,
Todd W. Murray
Abstract:
Idier et al. [IEEE Trans. Comput. Imaging 4(1), 2018] propose a method which achieves superresolution in the microscopy setting by leveraging random speckle illumination and knowledge about statistical second order moments for the illumination patterns and model noise. This is achieved without any assumptions on the sparsity of the imaged object. In this paper, we show that their technique can be…
▽ More
Idier et al. [IEEE Trans. Comput. Imaging 4(1), 2018] propose a method which achieves superresolution in the microscopy setting by leveraging random speckle illumination and knowledge about statistical second order moments for the illumination patterns and model noise. This is achieved without any assumptions on the sparsity of the imaged object. In this paper, we show that their technique can be extended to photoacoustic tomography. We propose a simple algorithm for doing the reconstruction which only requires a small number of linear algebra steps. It is therefore much faster than the iterative method used by Idier et al. We also propose a new representation of the imaged object based on Dirac delta expansion functions.
△ Less
Submitted 31 January, 2022; v1 submitted 8 May, 2021;
originally announced May 2021.
-
Framework to model virtual factories: a digital twin view
Authors:
Ali Ahmad Malik
Abstract:
The digital twin has emerged as a technology to predict the undesirables, and ensure desired performance of complex systems. Although digital twins have got attention in the manufacturing research spectrum, yet their industrial application has been limited. Virtual simulations are considered an integral part of a digital twin, but a challenge is the lack of structured approaches to creating simula…
▽ More
The digital twin has emerged as a technology to predict the undesirables, and ensure desired performance of complex systems. Although digital twins have got attention in the manufacturing research spectrum, yet their industrial application has been limited. Virtual simulations are considered an integral part of a digital twin, but a challenge is the lack of structured approaches to creating simulation models that can be extended as a digital twin. At the same time, the virtual models need to be accurate and flexible enough to be updated along the life cycle of the factory as desired in a digital twin. This paper presents a framework for virtual modeling of factories that can be extended as a digital twin. The case of a manufacturing company is presented to model and simulate a manufacturing system in a structured yet flexible way.
△ Less
Submitted 7 April, 2021;
originally announced April 2021.
-
Man, machine and work in a digital twin setup: a case study
Authors:
Ali Ahmad Malik,
Alexander Brem
Abstract:
This paper explores the opportunities of using a digital twin to address the complexities of collaborative production systems through an industrial case and a demonstrator. A digital twin, as a virtual counterpart of a physical human-robot assembly system, is built as a front-runner for validation and control through design, build, and operation. The forms of digital twins along the system life cy…
▽ More
This paper explores the opportunities of using a digital twin to address the complexities of collaborative production systems through an industrial case and a demonstrator. A digital twin, as a virtual counterpart of a physical human-robot assembly system, is built as a front-runner for validation and control through design, build, and operation. The forms of digital twins along the system life cycle, the building blocks, and potential advantages are presented. Recommendations for future research and practice in the use of digital twins in the field of collaborative robots are given.
△ Less
Submitted 18 June, 2020; v1 submitted 15 June, 2020;
originally announced June 2020.
-
Reconfiguring and ram**-up ventilator production in the face of COVID-19: Can robots help?
Authors:
Ali Ahmad Malik,
Tariq Masood,
Rehana Kousar
Abstract:
As the COVID-19 pandemic expands, the shortening of medical equipment is swelling. A key piece of equipment getting far-out attention has been ventilators. The difference between supply and demand is substantial to be handled with normal production techniques, especially under social distancing measures in place. The study explores the rationale of human-robot teams to ramp up production using adv…
▽ More
As the COVID-19 pandemic expands, the shortening of medical equipment is swelling. A key piece of equipment getting far-out attention has been ventilators. The difference between supply and demand is substantial to be handled with normal production techniques, especially under social distancing measures in place. The study explores the rationale of human-robot teams to ramp up production using advantages of both the ease of integration and maintaining social distancing. The paper presents a model for faster integration of collaborative robots and design guidelines for workstation. The scenarios are evaluated for an open source ventilator through continuous human-robot simulation and amplification of results in a discrete event simulation.
△ Less
Submitted 18 June, 2020; v1 submitted 15 April, 2020;
originally announced April 2020.
-
An IoT-based Intelligent Wound Monitoring System
Authors:
Hina Sattar,
Imran Sarwar Bajwa,
Nadeem Sarwar,
Umar Shafi,
Noreen Jamil,
M. G Abbas Malik
Abstract:
Clinical research of wound assessment focused on physical appearance of wound i.e. wound width, shape, color etc. Although, wound appearance is most crucial factors to influence healing process. however, apart from wound appearance other factors also contribute in healing process. Wound internal and external environment is one such factor that may show positive or negative impact on healing. Inter…
▽ More
Clinical research of wound assessment focused on physical appearance of wound i.e. wound width, shape, color etc. Although, wound appearance is most crucial factors to influence healing process. however, apart from wound appearance other factors also contribute in healing process. Wound internal and external environment is one such factor that may show positive or negative impact on healing. Internet of things extensively popular during last decade, due to its heavy applications in almost all domains i.e. agriculture, health, marketing, banking, home etc. Therefore, in current research we proposed IoT based intelligent wound assessment system, for assessment of wound status and apply entropy and information gain statistics of decision tree to reflect status of wound assessment by categorization of assessment results in one of three class i.e. good, satisfactory or alarming. We implemented decision tree in MATLAB, in which we select ID3 algorithm for decision tree which based on entropy and information gain for the selection of best feature to split the tree. The efficient feature split of decision tree improved training accuracy rate and performance of decision tree.
△ Less
Submitted 15 October, 2019;
originally announced October 2019.
-
Augmented Reality, Cyber-Physical Systems, and Feedback Control for Additive Manufacturing: A Review
Authors:
Hugo Lhachemi,
Ammar Malik,
Robert Shorten
Abstract:
Our objective in this paper is to review the application of feedback ideas in the area of additive manufacturing. Both the application of feedback control to the 3D printing process, and the application of feedback theory to enable users to interact better with machines, are reviewed. Where appropriate, opportunities for future work are highlighted.
Our objective in this paper is to review the application of feedback ideas in the area of additive manufacturing. Both the application of feedback control to the 3D printing process, and the application of feedback theory to enable users to interact better with machines, are reviewed. Where appropriate, opportunities for future work are highlighted.
△ Less
Submitted 5 March, 2019;
originally announced March 2019.
-
Quantized State Hybrid Automata for Cyber-Physical Systems
Authors:
Avinash Malik,
Partha Roop
Abstract:
Cyber-physical systems involve a network of discrete controllers that control physical processes. Examples range from autonomous cars to implantable medical devices, which are highly safety critical. Hybrid Automata (HA) based formal approach is gaining momentum for the specification and validation of CPS. HA combines the model of the plant along with its discrete controller resulting in a piece-w…
▽ More
Cyber-physical systems involve a network of discrete controllers that control physical processes. Examples range from autonomous cars to implantable medical devices, which are highly safety critical. Hybrid Automata (HA) based formal approach is gaining momentum for the specification and validation of CPS. HA combines the model of the plant along with its discrete controller resulting in a piece-wise continuous system with discontinuities. Accurate detection of these discontinuities, using appropriate level crossing detectors, is a key challenge to simulation of CPS based on HA. Existing techniques employ time discrete numerical integration with bracketing for level crossing detection. These techniques involve back-tracking and are highly non-deterministic and hence error prone. As level crossings happen based on the values of continuous variables, Quantized State System (QSS)- integration may be more suitable. Existing QSS integrators, based on fixed quanta, are also unsuitable for simulating HAs. This is since the quantum selected is not dependent on the HA guard conditions, which are the main cause of discontinuities. Considering this, we propose a new dynamic quanta based formal model called Quantized State Hybrid Automata (QSHA). The developed formal model and the associated simulation framework guarantees that (1) all level crossings are accurately detected and (2) the time of the level crossing is also accurate within floating point error bounds. Interestingly, benchmarking results reveal that the proposed simulation technique takes 720, 1.33 and 4.41 times fewer simulation steps compared to standard Quantized State System (QSS)-1, Runge-Kutta (RK)-45, and Differential Algebraic System Solver (DASSL) integration based techniques respectively.
△ Less
Submitted 14 June, 2018;
originally announced June 2018.
-
An intracardiac electrogram model to bridge virtual hearts and implantable cardiac devices
Authors:
Weiwei Ai,
Nitish Patel,
Partha Roop,
Avinash Malik,
Nathan Allen,
Mark L. Trew
Abstract:
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 driven by cardiac signals at specific sites. As a result, only the action potentials of these sites are sensed. However, the real device implanted in the heart will sense a complex combination of near and far-field extra…
▽ More
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 driven by cardiac signals at specific sites. As a result, only the action potentials of these sites are sensed. However, the real device implanted in the heart will sense a complex combination of near and far-field extracellular potential signals. Therefore many device functions, such as blanking periods and refractory periods, are designed to handle these unexpected signals. To represent these signals, we develop an intracardiac electrogram (IEGM) model as an interface between the virtual heart and the device. The model can capture not only the local excitation but also far-field signals and pacing afterpotentials. Moreover, the sensing controller can specify unipolar or bipolar electrogram (EGM) sensing configurations and introduce various oversensing and undersensing modes. The simulation results show that the model is able to reproduce clinically observed sensing problems, which significantly extends the capabilities of the virtual heart model in the context of device validation.
△ Less
Submitted 3 March, 2017;
originally announced March 2017.
-
Towards the Emulation of the Cardiac Conduction System for Pacemaker Testing
Authors:
Eugene Yip,
Sidharta Andalam,
Partha S. Roop,
Avinash Malik,
Mark Trew,
Weiwei Ai,
Nitish Patel
Abstract:
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 managed with a cardiac pacemaker. Recently, the closed-loop testing of pacemakers with an emulation (real-time simulation) of the heart has been proposed. An emulated heart would provide realistic reactions to the pacem…
▽ More
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 managed with a cardiac pacemaker. Recently, the closed-loop testing of pacemakers with an emulation (real-time simulation) of the heart has been proposed. An emulated heart would provide realistic reactions to the pacemaker as if it were a real heart. This enables developers to interrogate their pacemaker design without having to engage in costly or lengthy clinical trials. Many high-fidelity heart models have been developed, but are too computationally intensive to be simulated in real-time. Heart models, designed specifically for the closed-loop testing of pacemakers, are too abstract to be useful in the testing of physical pacemakers.
In the context of pacemaker testing, this paper presents a more computationally efficient heart model that generates realistic continuous-time electrical signals. The heart model is composed of cardiac cells that are connected by paths. Significant improvements were made to an existing cardiac cell model to stabilise its activation behaviour and to an existing path model to capture the behaviour of continuous electrical propagation. We provide simulation results that show our ability to faithfully model complex re-entrant circuits (that cause arrhythmia) that existing heart models can not.
△ Less
Submitted 17 March, 2016; v1 submitted 16 March, 2016;
originally announced March 2016.
-
A synchronous rendering of hybrid systems for designing Plant-on-a-Chip (PoC)
Authors:
Avinash Malik,
Partha S Roop,
Sidharta Andalam,
Eugene Yip,
Mark Trew
Abstract:
Hybrid systems are discrete controllers that are used for controlling a physical process (plant) exhibiting continuous dynamics. A hybrid automata (HA) is a well known and widely used formal model for the specification of such systems. While many methods exist for simulating hybrid automata, there are no known approaches for the automatic code generation from HA that are semantic preserving. If th…
▽ More
Hybrid systems are discrete controllers that are used for controlling a physical process (plant) exhibiting continuous dynamics. A hybrid automata (HA) is a well known and widely used formal model for the specification of such systems. While many methods exist for simulating hybrid automata, there are no known approaches for the automatic code generation from HA that are semantic preserving. If this were feasible, it would enable the design of a plant-on-a-chip (PoC) system that could be used for the emulation of the plant to validate discrete controllers. Such an approach would need to be mathematically sound and should not rely on numerical solvers. We propose a method of PoC design for plant emulation, not possible before. The approach restricts input/output (I/O) HA models using a set of criteria for well-formedness which are statically verified. Following verification, we use an abstraction based on a synchronous approach to facilitate code generation. This is feasible through a sound transformation to synchronous HA. We compare our method (the developed tool called Piha) to the widely used Simulink R simulation framework and show that our method is superior in both execution time and code size. Our approach to the PoC problem paves the way for the emulation of physical plants in diverse domains such as robotics, automation, medical devices, and intelligent transportation systems.
△ Less
Submitted 14 October, 2015;
originally announced October 2015.
-
A unified framework for modeling and implementation of hybrid systems with synchronous controllers
Authors:
Avinash Malik,
Partha Roop
Abstract:
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 control systems. In this paper we study the control of a continuously evolving analog plant using a controller programmed in a synchronous programming language. We provide extensions to the synchronous subset of the System…
▽ More
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 control systems. In this paper we study the control of a continuously evolving analog plant using a controller programmed in a synchronous programming language. We provide extensions to the synchronous subset of the SystemJ programming language for modeling, implementation, and verification of such hybrid systems. We provide a sound rewrite semantics that approximate the evolution of the continuous variables in the discrete domain inspired from the classical supervisory control theory. The resultant discrete time model can be verified using classical model-checking tools. Finally, we show that systems designed using our approach have a higher fidelity than the ones designed using the hybrid automaton approach.
△ Less
Submitted 23 January, 2015;
originally announced January 2015.
-
Optimal Sensor Placement for Intruder Detection
Authors:
Waseem A. Malik,
Nuno C. Martins,
Ananthram Swami
Abstract:
We consider the centralized detection of an intruder, whose location is modeled as uniform across a specified set of points, using an optimally placed team of sensors. These sensors make conditionally independent observations. The local detectors at the sensors are also assumed to be identical, with detection probability $(P_{_{D}})$ and false alarm probability $(P_{_{F}})$. We formulate the probl…
▽ More
We consider the centralized detection of an intruder, whose location is modeled as uniform across a specified set of points, using an optimally placed team of sensors. These sensors make conditionally independent observations. The local detectors at the sensors are also assumed to be identical, with detection probability $(P_{_{D}})$ and false alarm probability $(P_{_{F}})$. We formulate the problem as an N-ary hypothesis testing problem, jointly optimizing the sensor placement and detection policies at the fusion center. We prove that uniform sensor placement is never strictly optimal when the number of sensors $(M)$ equals the number of placement points $(N)$. We prove that for $N_{2} > N_{1} > M$, where $N_{1},N_{2}$ are number of placement points, the framework utilizing $M$ sensors and $N_{1}$ placement points has the same optimal placement structure as the one utilizing $M$ sensors and $N_{2}$ placement points. For $M\leq 5$ and for fixed $P_{_{D}}$, increasing $P_{_{F}}$ leads to optimal placements that are higher in the majorization-based placement scale. Similarly for $M\leq 5$ and for fixed $P_{_{F}}$, increasing $P_{_{D}}$ leads to optimal placements that are higher in the majorization-based placement scale. For $M>5$, this result does not necessarily hold and we provide a simple counterexample. It is conjectured that the set of optimal placements for a given $(M,N)$ can always be placed on a majorization-based placement scale.
△ Less
Submitted 26 September, 2011;
originally announced September 2011.