@inproceedings{76bf644ef60b42cea8bccf49f0236c4e,
title = "A Supervisory Control Approach for Mars Exploration System",
abstract = "In this paper, we present a supervisory control method for a Mars exploration task. The Mars exploration system is modeled as a discrete event dynamic system. The optimal policy is obtained by combining the system's free behavior with the specifications on disabling of controllable events. The control synthesis we got could make the Mars exploration system work safely and efficiently. The supervisor synthesized for the exploration system has successfully been tested in simulation.",
keywords = "Computational models, Discrete-event systems, Mars exploration, Robot control",
author = "Qun Cao and Haoran Yang and Liwen Yang and Changkun Du and Zhongqi Sun and Haikuo Liu",
note = "Publisher Copyright: {\textcopyright} 2024 Technical Committee on Control Theory, Chinese Association of Automation.; 43rd Chinese Control Conference, CCC 2024 ; Conference date: 28-07-2024 Through 31-07-2024",
year = "2024",
doi = "10.23919/CCC63176.2024.10661591",
language = "English",
series = "Chinese Control Conference, CCC",
publisher = "IEEE Computer Society",
pages = "4705--4710",
editor = "Jing Na and Jian Sun",
booktitle = "Proceedings of the 43rd Chinese Control Conference, CCC 2024",
address = "United States",
}