Click on a search word OR use the drop-down choices to search for a paper.

Show all

2007

Leduc, Ryan J; Dai, Pengcheng; Song, Raoguang

SQRL Report No. 46 “Synthesis Method for Hierarchical Interface-Based Supervisory Control.” Technical Report

2007.

Abstract | Links | BibTeX | Tags: automata, discrete-event systems, formal methods, hierarchical systems, interfaces, supervisory control, synthesis