On supervisory control for timed automata using urgency - invited session

M.P. Spathopoulos

On supervisory control for timed automata using urgency - invited session

M.P. Spathopoulos

Mechanical And Aerospace Engineering

Research output: Contribution to conference › Paper

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 language	English
Pages	863-869
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

Conference	IEEE Conference on Methods and Models in Automation and Robotics
Country/Territory	United Kingdom
City	Miedzyzdroje, Poland
Period	1/08/03 → …

Cite this

@conference{a7f4ba92386e432886037ecfc2824321,

title = "On supervisory control for timed automata using urgency - invited session",

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.",

author = "M.P. Spathopoulos",

year = "2003",

language = "English",

pages = "863--869",

note = "IEEE Conference on Methods and Models in Automation and Robotics ; Conference date: 01-08-2003",

}

TY - CONF

T1 - On supervisory control for timed automata using urgency - invited session

AU - Spathopoulos, M.P.

PY - 2003

Y1 - 2003

N2 - 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.

AB - 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.

M3 - Paper

SP - 863

EP - 869

T2 - IEEE Conference on Methods and Models in Automation and Robotics

Y2 - 1 August 2003

ER -

On supervisory control for timed automata using urgency - invited session

Abstract

Conference

Fingerprint

Cite this