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

    Xia, H., Pang, Y., & Spathopoulos, M. P. (2002). Eventuality synthesis for controlled linear automata. 160-165. Paper presented at 20th Annual American Control Conference (ACC), Anchorage, United States. https://doi.org/10.1109/ACC.2002.1024797