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

Supervisory eventuality synthesis

Xia, H. and Trontis, A. and Pang, Y. and Spathopoulos, M.P. (2002) Supervisory eventuality synthesis. In: 6th International Workshop on Discrete Event Systems (WODES 02), 2002-10-02 - 2002-10-04, Zaragoza.

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

Abstract

This paper presents a study on the eventuality synthesis problem for hybrid automata. Given a hybrid automaton and a target set of states, we seek to compute a feedback controller as well as the maximal set of initial states from which all the trajectories of the closed system eventually reach the target set. Considering control action on the discrete event level only and applying reachability analysis, we derive a feedback eventuality controller Since, generally, there does not exist a least restrictive eventuality controller we propose a second controller and derive the necessary condition under which it becomes the least restrictive eventuality controller Finally, we investigate the relationship between eventuality and safety synthesis for hybrid automata and reach the conclusion that there is no duality in the extraction of the control law.

Item type: Conference or Workshop Item (Paper)
ID code: 38333
Keywords: hybrid systems , controllers , supervisory, eventuality synthesis, 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:56
    Last modified: 17 Jul 2013 15:11
    URI: http://strathprints.strath.ac.uk/id/eprint/38333

    Actions (login required)

    View Item