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.
|Number of pages||6|
|Publication status||Published - 2003|
|Event||IEEE Conference on Methods and Models in Automation and Robotics - Miedzyzdroje, Poland, United Kingdom|
Duration: 1 Aug 2003 → …
|Conference||IEEE Conference on Methods and Models in Automation and Robotics|
|Period||1/08/03 → …|
Spathopoulos, M. P. (2003). On supervisory control for timed automata using urgency - invited session. 863-869. Paper presented at IEEE Conference on Methods and Models in Automation and Robotics, Miedzyzdroje, Poland, United Kingdom.