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…