Find link

language:

Find link is a tool written by Edward Betts.

Longer titles found: Lazy linear hybrid automaton (view)

searching for Hybrid automaton 4 found (7 total)

Plotutils (410 words) [view diff] case mismatch in snippet view article find links to article

(Unix) GNU Project gnuplot Sennblad, et al., 2007. PHAVer, Polyhedral Hybrid Automaton Verifyer XSohie, electron paramagnetic resonance spectrum simulator

TPT (software) (2,014 words) [view diff] exact match in snippet view article

All test cases for one system under test can be modelled using one hybrid automaton. Tests often consist of a sequence of logical phases. The states of

Majority problem (1,081 words) [view diff] exact match in snippet view article find links to article

in the minority state for two consecutive steps. Alternatively, a hybrid automaton that runs Rule 184 for a number of steps linear in the size of the

Munther A. Dahleh (1,707 words) [view diff] no match in snippet view article find links to article

characteristics; the patent was co-owned by Ford. He also developed a Robust-Hybrid-Automaton architecture for designing autonomous vehicles that combines planning