Eventuality synthesis for controlled linear automata

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

doi:10.1109/ACC.2002.1024797

Eventuality synthesis for controlled linear automata

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

Research output: Contribution to conference › Paper

7 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 language	English
Pages	160-165
Number of pages	5
DOIs	https://doi.org/10.1109/ACC.2002.1024797
Publication status	Published - May 2002
Event	20th Annual American Control Conference (ACC) - Anchorage, United States Duration: 8 May 2002 → 10 May 2002

Conference

Conference	20th Annual American Control Conference (ACC)
Country/Territory	United States
City	Anchorage
Period	8/05/02 → 10/05/02

Keywords

eventuality
linear hybrid automata
controller synthesis
controlled
synthesis
automata

Access to Document

10.1109/ACC.2002.1024797

Cite this

@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 = may,

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",

}

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

T2 - 20th Annual American Control Conference (ACC)

Y2 - 8 May 2002 through 10 May 2002

ER -

Eventuality synthesis for controlled linear automata

Abstract

Conference

Keywords

Access to Document

Fingerprint

Cite this