Supervisory eventuality synthesis

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

Research output: Contribution to conferencePaper

6 Citations (Scopus)


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.
Original languageEnglish
Number of pages5
Publication statusPublished - Oct 2002
Event6th International Workshop on Discrete Event Systems (WODES 02) - Zaragoza, Spain
Duration: 2 Oct 20024 Oct 2002


Conference6th International Workshop on Discrete Event Systems (WODES 02)


  • hybrid systems
  • controllers
  • supervisory
  • eventuality synthesis

Fingerprint Dive into the research topics of 'Supervisory eventuality synthesis'. Together they form a unique fingerprint.

Cite this