@misc{indiciae30a432930faf, title = {Frequency Automata: A novel formal model of hybrid systems in combined time and frequency domains}, author = {Moon Kim and Avinash Malik and Partha Roop}, year = {2025}, url = {https://arxiv.org/abs/2506.00251}, note = {Source identifier: 2506.00251} }