On supervisory control for timed automata using urgency - invited session

M.P. Spathopoulos

Research output: Contribution to conferencePaper

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.
Original languageEnglish
Pages863-869
Number of pages6
Publication statusPublished - 2003
EventIEEE Conference on Methods and Models in Automation and Robotics - Miedzyzdroje, Poland, United Kingdom
Duration: 1 Aug 2003 → …

Conference

ConferenceIEEE Conference on Methods and Models in Automation and Robotics
CountryUnited Kingdom
CityMiedzyzdroje, Poland
Period1/08/03 → …

Cite this

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.