Concepedia

Author

Raoguang Song

McMaster University

Also Known As

Raoguang Song

2

Publications

72

Citations

2

H-Index

17

Concepts

All Affiliations

McMaster University
RS

About

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

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

2

2

72

2

Computer Engineering

2

2

72

3

Computer Science

2

2

72

4

Systems Engineering

2

2

72

5

Compilers

1

1

41

Raoguang Song

×

2

Publications

72

Citations

2

H-Index

YearCitations

Symbolic Synthesis and Verification of Hierarchical Interface-based Supervisory Control

Raoguang Song, Ryan J. Leduc

2006

41

Synthesis Method for Hierarchical Interface-Based Supervisory Control

Ryan J. Leduc, Pengcheng Dai, Raoguang Song

IEEE Transactions on Automatic Control

2009

31

Page 1