12 citations · 28 across the 13 of their papers we have counts for
9 papers · 1 filter
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…
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…