12 citations · 28 across the 13 of their papers we have counts for
5 papers · 2 filters
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…