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