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

Show all

2008

Pantelic, Vera; Postma, Steven; Lawford, Mark

SQRL Report No. 21 ” Supervisory Control of Probabilistic Discrete Event Systems.” Technical Report

2008.

Abstract | Links | BibTeX | Tags: discrete-event systems, supervisory control

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

Leduc, Ryan

SQRL Report No. 44 “Hierarchical Interface-Based Supervisory Control with Data Events.” Technical Report

2007.

Abstract | Links | BibTeX | Tags: discrete-event systems, supervisory control

2003

Leduc, RJ; Brandin, BA; Lawford, Mark; Wonham, WM

SQRL Report No. 12 “Hierarchical Interface-based Supervisory Control: Part I: Serial Case” Technical Report

2003.

Abstract | Links | BibTeX | Tags: discrete-event systems, supervisory control

Bourdon, Sean E.; Lawford, Mark; Wonham, W. Murray

SQRL Report No. 9 “Robust Nonblocking Supervisory Control of Discrete-Event Systems” Technical Report

2003.

Abstract | Links | BibTeX | Tags: discrete-event systems, robustness