Strathprints Home | Open Access | Browse | Search | User area | Copyright | Help | Library Home | SUPrimo

Eventuality synthesis for controlled linear automata

Xia, H. and Pang, Y. and Spathopoulos, M.P. (2002) Eventuality synthesis for controlled linear automata. In: 20th Annual American Control Conference (ACC), 2002-05-08 - 2002-05-10, Anchorage.

Full text not available in this repository. (Request a copy from the Strathclyde author)

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.

Item type: Conference or Workshop Item (Paper)
ID code: 38332
Keywords: eventuality, linear hybrid automata , controller synthesis, controlled, synthesis, automata, Electrical engineering. Electronics Nuclear engineering
Subjects: Technology > Electrical engineering. Electronics Nuclear engineering
Department: Faculty of Engineering > Electronic and Electrical Engineering
Faculty of Engineering > Mechanical and Aerospace Engineering
Related URLs:
    Depositing user: Pure Administrator
    Date Deposited: 08 Mar 2012 14:52
    Last modified: 17 Jul 2013 15:11
    URI: http://strathprints.strath.ac.uk/id/eprint/38332

    Actions (login required)

    View Item