Search for tag: "rectangular hybrid automata"

ECE/CS 584 CPS Verification: Abstractions Part 2.

Review of forward simulation relations; Reachability of rational time automata, multi-rate automata, rectangular hybrid automata

From  Sayan Mitra 9 plays 0