Supervisory eventuality synthesis

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

Research output: Contribution to conferencePaper

6 Citations (Scopus)

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.

Conference

Conference6th International Workshop on Discrete Event Systems (WODES 02)
CountrySpain
CityZaragoza
Period2/10/024/10/02

Fingerprint

Controllers
Feedback
Trajectories

Keywords

  • hybrid systems
  • controllers
  • supervisory
  • eventuality synthesis

Cite this

Xia, H., Trontis, A., Pang, Y., & Spathopoulos, M. P. (2002). Supervisory eventuality synthesis. 323-328. Paper presented at 6th International Workshop on Discrete Event Systems (WODES 02), Zaragoza, Spain. https://doi.org/10.1109/WODES.2002.1167706
Xia, H. ; Trontis, A. ; Pang, Y. ; Spathopoulos, M.P. / Supervisory eventuality synthesis. Paper presented at 6th International Workshop on Discrete Event Systems (WODES 02), Zaragoza, Spain.5 p.
@conference{23b2c756d22e49cda770b42fb72617ec,
title = "Supervisory eventuality synthesis",
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.",
keywords = "hybrid systems , controllers , supervisory, eventuality synthesis",
author = "H. Xia and A. Trontis and Y. Pang and M.P. Spathopoulos",
year = "2002",
month = "10",
doi = "10.1109/WODES.2002.1167706",
language = "English",
pages = "323--328",
note = "6th International Workshop on Discrete Event Systems (WODES 02) ; Conference date: 02-10-2002 Through 04-10-2002",

}

Xia, H, Trontis, A, Pang, Y & Spathopoulos, MP 2002, 'Supervisory eventuality synthesis' Paper presented at 6th International Workshop on Discrete Event Systems (WODES 02), Zaragoza, Spain, 2/10/02 - 4/10/02, pp. 323-328. https://doi.org/10.1109/WODES.2002.1167706

Supervisory eventuality synthesis. / Xia, H.; Trontis, A.; Pang, Y.; Spathopoulos, M.P.

2002. 323-328 Paper presented at 6th International Workshop on Discrete Event Systems (WODES 02), Zaragoza, Spain.

Research output: Contribution to conferencePaper

TY - CONF

T1 - Supervisory eventuality synthesis

AU - Xia, H.

AU - Trontis, A.

AU - Pang, Y.

AU - Spathopoulos, M.P.

PY - 2002/10

Y1 - 2002/10

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

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

KW - hybrid systems

KW - controllers

KW - supervisory

KW - eventuality synthesis

U2 - 10.1109/WODES.2002.1167706

DO - 10.1109/WODES.2002.1167706

M3 - Paper

SP - 323

EP - 328

ER -

Xia H, Trontis A, Pang Y, Spathopoulos MP. Supervisory eventuality synthesis. 2002. Paper presented at 6th International Workshop on Discrete Event Systems (WODES 02), Zaragoza, Spain. https://doi.org/10.1109/WODES.2002.1167706