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

Show all

2014

Pantelic, Vera; Lawford, Mark; Postma, Steven

A Framework for Supervisory Control of Probabilistic Discrete Event Systems Inproceedings

In: Workshop on Discrete Event Systems (WODES 2014), pp. 477–484, IFAC/IEEE 2014.

BibTeX | Tags: discrete event systems, Markov decision processes, metrics, stochastic systems, supervisory control

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

2005

Leduc, RJ; Lawford, Mark; Dai, Pengcheng

SQRL Report No. 32 “Hierarchical Interface-based Supervisory Control of a Flexible Manufacturing System” Technical Report

2005.

Abstract | Links | BibTeX | Tags: 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