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 → …|