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.

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

Fingerprint

Controllers
Feedback control
Specifications
Feedback

Keywords

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

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
Xia, H. ; Pang, Y. ; Spathopoulos, M.P. / Eventuality synthesis for controlled linear automata. Paper presented at 20th Annual American Control Conference (ACC), Anchorage, United States.5 p.
@conference{4bd969b2c0294c8ea167815d3a7a4a43,
title = "Eventuality synthesis for controlled linear automata",
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.",
keywords = "eventuality, linear hybrid automata , controller synthesis, controlled, synthesis, automata",
author = "H. Xia and Y. Pang and M.P. Spathopoulos",
year = "2002",
month = "5",
doi = "10.1109/ACC.2002.1024797",
language = "English",
pages = "160--165",
note = "20th Annual American Control Conference (ACC) ; Conference date: 08-05-2002 Through 10-05-2002",

}

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

Eventuality synthesis for controlled linear automata. / Xia, H.; Pang, Y.; Spathopoulos, M.P.

2002. 160-165 Paper presented at 20th Annual American Control Conference (ACC), Anchorage, United States.

Research output: Contribution to conferencePaper

TY - CONF

T1 - Eventuality synthesis for controlled linear automata

AU - Xia, H.

AU - Pang, Y.

AU - Spathopoulos, M.P.

PY - 2002/5

Y1 - 2002/5

N2 - 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.

AB - 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.

KW - eventuality

KW - linear hybrid automata

KW - controller synthesis

KW - controlled

KW - synthesis

KW - automata

U2 - 10.1109/ACC.2002.1024797

DO - 10.1109/ACC.2002.1024797

M3 - Paper

SP - 160

EP - 165

ER -

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