Yiheng Tang, M.Sc.

---

Research Interests

• Supervisory Control Theory
• Verification and temporal logic
• Formal specification in automated manufacturing

Biography

Open theses

There are no open works available at the moment

Current and completed theses