Concepedia

Raoguang Song

RS

Statistics

Publications

2

Citations

72

H-Index

2

Active since

2006

Affiliations

McMaster University(Current)

Raoguang Song is an author at McMaster University specializing in formal methods, computer engineering, and formal specification.

Top concepts

Publications per year

2006–2009

2

Publications

2

Symbolic Synthesis and Verification of Hierarchical Interface-based Supervisory Control

Raoguang Song, Ryan J. Leduc · 2006 · 41 citations

, , +22

Synthesis Method for Hierarchical Interface-Based Supervisory Control

Ryan J. Leduc, Pengcheng Dai, Raoguang Song · IEEE Transactions on Automatic Control · 2009 · 31 citations

, , +18

1–2 of 2