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.

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.

• Share and Export
  

  ReferAtomJSONOpenURL ContextObject in SpanMPEG-21 DIDLRDF+XMLRDF+N-TriplesRefWorksHTML CitationEndNoteMultiline CSVRIS (EndNote Online, Zotero, Ref manager, etc)Data Cite XMLDublin CoreEP3 XMLASCII CitationRDF+N3METSSimple MetadataRIOXX2 XMLBibTeXOpenURL ContextObjectMODS
• Item metadata

  Item type:	Conference or Workshop Item(Paper)
  ID code:	9755
  Dates:	Date Event 2003 Published
  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:	11 Nov 2024 16:17
  URI:	https://strathprints.strath.ac.uk/id/eprint/9755