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.
Full text not available in this repository.Request a copy from the Strathclyde authorAbstract
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.
| Creators(s): | Spathopoulos, M.P.; | 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: | 03 Jan 2021 02:49 |
| URI: | https://strathprints.strath.ac.uk/id/eprint/9755 |
| Export data: |
CORE (COnnecting REpositories)
CORE (COnnecting REpositories)
CORE (COnnecting REpositories)