Eventuality synthesis for controlled linear automata

Xia, H. and Pang, Y. and Spathopoulos, M.P. (2002) Eventuality synthesis for controlled linear automata. In: 20th Annual American Control Conference (ACC), 2002-05-08 - 2002-05-10.

Abstract

The synthesis of hybrid controllers that satisfy eventuality specifications is studied. Linear automata that accept continuous inputs are considered. The feedback control derivation is based on reachability analysis. A computational procedure for the reachable set, based on Fourier elimination and convexity analysis techniques, is derived. A feedback controller that guarantees the system will visit a given convex target set without violating state constraints is obtained.

• Share and Export
  

  RDF+XMLBibTeXRIOXX2 XMLRDF+N-TriplesJSONDublin CoreAtomSimple MetadataReferMETSArchivematicaHTML CitationASCII CitationOpenURL ContextObjectEndNoteOpenURL ContextObject in SpanMODSMPEG-21 DIDLEP3 XMLData Cite XMLRIS (EndNote Online, Zotero, Ref manager, etc)RDF+N3Multiline CSV
• Citations and altmetrics
• Item metadata

  Item type:	Conference or Workshop Item(Paper)
  ID code:	38332
  Dates:	Date Event May 2002 Published
  Keywords:	eventuality, linear hybrid automata , controller synthesis, controlled, synthesis, automata, Electrical engineering. Electronics Nuclear engineering
  Subjects:	Technology > Electrical engineering. Electronics Nuclear engineering
  Department:	Faculty of Engineering > Electronic and Electrical Engineering Faculty of Engineering > Mechanical and Aerospace Engineering
  Depositing user:	Pure Administrator
  Date deposited:	08 Mar 2012 14:52
  Last modified:	20 Jan 2021 14:32
  URI:	https://strathprints.strath.ac.uk/id/eprint/38332