Publications (6)
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…
Mechanistic origins of catastrophic forgetting: why RL preserves circuits better than SFT?
Jeanmely Rojas Nunez, Viraj Sawant, Nathan Allen +4
Fine-tuning large language models (LLMs) frequently induces catastrophic forgetting of prior capabilities. Recent work has shown that reinforcement learning (RL) retains prior capa…
Timetide: A programming model for logically synchronous distributed systems
Logan Kenwright, Partha Roop, Nathan Allen +2
Massive strides in deterministic models have been made using synchronous languages. They are mainly focused on centralised applications, as the traditional approach is to compile a…
Logical Synchrony Networks: A formal model for deterministic distribution
Logan Kenwright, Partha Roop, Nathan Allen +4
Kahn Process Networks (KPNs) are a deterministic Model of Computation (MoC) for distributed systems. KPNs supports non-blocking writes and blocking reads, with the consequent assum…
Synchronous Observers Revisited for Runtime Verification of Lustre Using STL
Logan Kenwright, Partha Roop, Sobhan Chatterjee +1
Signal Temporal Logic (STL) is a popular formalism for the temporal safety properties of cyber-physical systems, most often used for runtime verification. In the synchronous family…
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…