A hybrid automaton flow is rewritten as a rotating vector x_n=sin(theta), and simulation steps jump from the current angle to the guard angle, giving fast and, for the tested cases, accurate level crossings.
Title resolution pending
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
cs.FL 1years
2025 1verdicts
REJECT 1representative citing papers
citing papers explorer
-
Frequency Automata: A novel formal model of hybrid systems in combined time and frequency domains
A hybrid automaton flow is rewritten as a rotating vector x_n=sin(theta), and simulation steps jump from the current angle to the guard angle, giving fast and, for the tested cases, accurate level crossings.