12 citations · 28 across the 13 of their papers we have counts for
Showing cs.FLShow all
2 papers · 1 filter
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…
cs.FL2015
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…