Eventuality synthesis for controlled linear automata

H. Xia, Y. Pang, M.P. Spathopoulos

Research output: Contribution to conferencePaper

6 Citations (Scopus)


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.

Original languageEnglish
Number of pages5
Publication statusPublished - May 2002
Event20th Annual American Control Conference (ACC) - Anchorage, United States
Duration: 8 May 200210 May 2002


Conference20th Annual American Control Conference (ACC)
CountryUnited States


  • eventuality
  • linear hybrid automata
  • controller synthesis
  • controlled
  • synthesis
  • automata

Fingerprint Dive into the research topics of 'Eventuality synthesis for controlled linear automata'. Together they form a unique fingerprint.

Cite this