2 papers
eess.SY2026
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…
cs.FL2026
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…