4 papers
An Asynchronous multi-rate Taylor method for Delay Differential Equations
Avinash Malik
The numerical simulation of high-dimensional, multi-rate Delay Differential Equations (DDEs) is fundamentally bottlenecked by synchronous time-stepping and the dynamic memory alloc…
Efficient compilation and execution of synchronous programs via type-state programming
Avinash Malik
Synchronous programs are used extensively in implementation of safety critical embedded software. Imperative synchronous programming languages model multiple Finite State Machines…
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…
Frequency Automata: A novel formal model of hybrid systems in combined time and frequency domains
Moon Kim, Avinash Malik, Partha Roop
Hybrid systems are mostly modelled, simulated, and verified in the time domain by computer scientists. Engineers, however, use both frequency and time domain modelling due to their…