Strathprints logo
Strathprints Home | Open Access | Browse | Search | User area | Copyright | Help | Library Home | SUPrimo

On supervisory control for timed automata using urgency - invited session

Spathopoulos, M.P. (2003) On supervisory control for timed automata using urgency - invited session. In: IEEE Conference on Methods and Models in Automation and Robotics, 2003-08-01, Miedzyzdroje, Poland.

Full text not available in this repository. (Request a copy from the Strathclyde author)

Abstract

The supervisory controller is state feedback and disables discrete-event transitions in order to solve the non-blocking forbidden state problem. The non-blocking problem is defined under both strong and weak conditions. For the latter maximally permissive solutions that are computable on a finite quotient space characterised by language equivalence are derived.

Item type: Conference or Workshop Item (Paper)
ID code: 9755
Keywords: Mechanical engineering and machinery
Subjects: Technology > Mechanical engineering and machinery
Department: Faculty of Engineering > Mechanical and Aerospace Engineering
Depositing user: Strathprints Administrator
Date Deposited: 20 Jul 2011 13:48
Last modified: 22 May 2015 09:10
URI: http://strathprints.strath.ac.uk/id/eprint/9755

Actions (login required)

View Item View Item