The top documents tagged [fly algorithm]

Improve Operating Efficiency and Reduce Installed Cost with Altivar™ 212 AC Drives

---

1.061 views

Controller Synthesis for Discrete and Timed Systems Stavros Trypakis (joint work with Karine Altisen)

---

219 views

CAV‘ 2002 conference, and “Formal Methods in System Design” 2005 journal

---

31 views