12 citations · 28 across the 13 of their papers we have counts for
16 papers
A Geometric Decision Procedure for STL Feasibility and Repair
Avinash Malik
Feasibility of a Signal Temporal Logic (STL) specification asks whether, from a given initial state, an admissible control input can satisfy its continuous-time requirements under…
The Space-Time Transform: Memory-Augmented Control Barrier Functions
Avinash Malik
Control Barrier Functions (CBFs), their High-Order variants (HOCBFs) and Exponential CBFs (ECBFs) are standard geometric tools for enforcing nonlinear safety constraints. CBFs, and…
Time-Invariant Control Barrier Functions for Bounded STL Safety
Avinash Malik
Enforcing finite-time persistence specifications in Signal Temporal Logic typically requires formulating Control Barrier Functions within an extended state-time space. This introdu…
Compiling Spatial Certificates into Temporal Contracts for Latency-Aware Control
Avinash malik
We introduce CIPS, a contract-driven execution abstraction for managing computational latency and sampled-data updates in safety-critical cyber-physical systems (CPS). A fundamenta…
CIPS: Maximal Certified Persistence in Cyber-Physical Systems
Avinash Malik
We introduce the Theory of Certified Information Persistence Systems (CIPS), a universal mathematical framework for computing the maximal certified persistence of information in cy…
Synchronous Signal Temporal Logic for Decidable Verification of Cyber-Physical Systems
Partha Roop, Sobhan Chatterjee, Avinash Malik +2
Many Cyber Physical System (CPS) work in a safety-critical environment, where correct execution, reliability and trustworthiness are essential. Signal Temporal Logic (STL) provides…
Impulse data models for the inverse problem of electrocardiography
Tommy Peng, Avinash Malik, Laura R. Bear +1
The proposed method re-frames traditional inverse problems of electrocardiography into regression problems, constraining the solution space by decomposing signals with multidimensi…
Recommendation Engine for Lower Interest Borrowing on Peer to Peer Lending (P2PL) Platform
Ke Ren, Avinash Malik
Online Peer to Peer Lending (P2PL) systems connect lenders and borrowers directly, thereby making it convenient to borrow and lend money without intermediaries such as banks. Many…
Deep learning neural nets for detecting heart activity
Joe Horvath, Lu Shien, Tommy Peng +3
The prediction of heart surface potentials using measurements from the body's surface is known as the inverse problem of electrocardiography. It is an ill-posed problem due to the…
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…
A machine learning approach to reconstruction of heart surface potentials from body surface potentials
Avinash Malik, Tommy Peng, Mark Trew
Invasive cardiac catheterisation is a common procedure that is carried out before surgical intervention. Yet, invasive cardiac diagnostics are full of risks, especially for young c…
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 synchronous rendering of hybrid systems for designing Plant-on-a-Chip (PoC)
Avinash Malik, Partha S Roop, Sidharta Andalam +2
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 u…
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…
Scalable RDF Data Compression using X10
Long Cheng, Avinash Malik, Spyros Kotoulas +2
The Semantic Web comprises enormous volumes of semi-structured data elements. For interoperability, these elements are represented by long strings. Such representations are not eff…