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
Related URLs:
    Depositing user: Strathprints Administrator
    Date Deposited: 20 Jul 2011 14:48
    Last modified: 17 Jul 2013 15:14
    URI: http://strathprints.strath.ac.uk/id/eprint/9755

    Actions (login required)

    View Item