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: | 04 Oct 2012 17:13 |
| URI: | http://strathprints.strath.ac.uk/id/eprint/9755 |
Actions (login required)
| View Item |