24 citations · 58 across the 14 of their papers we have counts for
3 papers · 1 filter
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…
Runtime enforcement of reactive systems using synchronous enforcers
Srinivas Pinisetty, Partha S Roop, Steven Smyth +2
Synchronous programming is a paradigm of choice for the design of safety-critical reactive systems. Runtime enforcement is a technique to ensure that the output of a black-box syst…
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…