Eventuality synthesis for controlled linear automata

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

Research output: Contribution to conferencePaper

6 Citations (Scopus)

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.

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

Conference

Conference20th Annual American Control Conference (ACC)
CountryUnited States
CityAnchorage
Period8/05/0210/05/02

Keywords

  • 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