Modeling and state estimation for supervisory control of networked timed discrete-event systems and their application in supervisor synthesis
This paper considers modeling and state estimation of timed discrete-event systems (TDESs) with communication delays and losses. In the previous framework, the specified closed-loop system language may contain physically impossible strings, i.e. strings never occur in practice. To exclude these phys...
Saved in:
Main Authors: | , , , , |
---|---|
Other Authors: | |
Format: | Article |
Language: | English |
Published: |
2023
|
Subjects: | |
Online Access: | https://hdl.handle.net/10356/170865 |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Institution: | Nanyang Technological University |
Language: | English |
id |
sg-ntu-dr.10356-170865 |
---|---|
record_format |
dspace |
spelling |
sg-ntu-dr.10356-1708652023-10-04T01:09:40Z Modeling and state estimation for supervisory control of networked timed discrete-event systems and their application in supervisor synthesis Hou, Yunfeng Ji, Yunfeng Wang, Gang Weng, Ching-Yen Li, Qingdu School of Mechanical and Aerospace Engineering Robotics Research Centre Engineering::Mechanical engineering State Estimation Supervisor Synthesis This paper considers modeling and state estimation of timed discrete-event systems (TDESs) with communication delays and losses. In the previous framework, the specified closed-loop system language may contain physically impossible strings, i.e. strings never occur in practice. To exclude these physically impossible strings, this paper presents a new modeling framework for supervisory control of networked TDESs. Specifically, we first analyse how to model and update the observation channel and the control channel under communication delays and losses. We then construct an automaton that explicitly describes the interaction process between the plant and the supervisor over the observation channel and the control channel so that the language of the closed-loop system can be specified. Compared with the existing work, the proposed framework can model the ‘dynamics’ of the closed-loop system more accurately. Under the proposed framework, we further estimate states of the closed-loop system under communication delays and losses. The state estimation is implemented on-the-fly and bases on only the information of observations and controls in history. As an application of the proposed modeling and state estimation approaches, we finally extend the existing approaches to find all the admissible and safe supervisors of networked TDESs. This work was supported by National Natural Science Foundation of China[62003214], Natural Science Foundation of Shanghai [22ZR1443600]. 2023-10-04T01:09:40Z 2023-10-04T01:09:40Z 2023 Journal Article Hou, Y., Ji, Y., Wang, G., Weng, C. & Li, Q. (2023). Modeling and state estimation for supervisory control of networked timed discrete-event systems and their application in supervisor synthesis. International Journal of Control, 1-21. https://dx.doi.org/10.1080/00207179.2023.2204382 0020-7179 https://hdl.handle.net/10356/170865 10.1080/00207179.2023.2204382 2-s2.0-85158928806 1 21 en International Journal of Control © 2023 Informa UK Limited, trading as Taylor & Francis Group. All rights reserved. |
institution |
Nanyang Technological University |
building |
NTU Library |
continent |
Asia |
country |
Singapore Singapore |
content_provider |
NTU Library |
collection |
DR-NTU |
language |
English |
topic |
Engineering::Mechanical engineering State Estimation Supervisor Synthesis |
spellingShingle |
Engineering::Mechanical engineering State Estimation Supervisor Synthesis Hou, Yunfeng Ji, Yunfeng Wang, Gang Weng, Ching-Yen Li, Qingdu Modeling and state estimation for supervisory control of networked timed discrete-event systems and their application in supervisor synthesis |
description |
This paper considers modeling and state estimation of timed discrete-event systems (TDESs) with communication delays and losses. In the previous framework, the specified closed-loop system language may contain physically impossible strings, i.e. strings never occur in practice. To exclude these physically impossible strings, this paper presents a new modeling framework for supervisory control of networked TDESs. Specifically, we first analyse how to model and update the observation channel and the control channel under communication delays and losses. We then construct an automaton that explicitly describes the interaction process between the plant and the supervisor over the observation channel and the control channel so that the language of the closed-loop system can be specified. Compared with the existing work, the proposed framework can model the ‘dynamics’ of the closed-loop system more accurately. Under the proposed framework, we further estimate states of the closed-loop system under communication delays and losses. The state estimation is implemented on-the-fly and bases on only the information of observations and controls in history. As an application of the proposed modeling and state estimation approaches, we finally extend the existing approaches to find all the admissible and safe supervisors of networked TDESs. |
author2 |
School of Mechanical and Aerospace Engineering |
author_facet |
School of Mechanical and Aerospace Engineering Hou, Yunfeng Ji, Yunfeng Wang, Gang Weng, Ching-Yen Li, Qingdu |
format |
Article |
author |
Hou, Yunfeng Ji, Yunfeng Wang, Gang Weng, Ching-Yen Li, Qingdu |
author_sort |
Hou, Yunfeng |
title |
Modeling and state estimation for supervisory control of networked timed discrete-event systems and their application in supervisor synthesis |
title_short |
Modeling and state estimation for supervisory control of networked timed discrete-event systems and their application in supervisor synthesis |
title_full |
Modeling and state estimation for supervisory control of networked timed discrete-event systems and their application in supervisor synthesis |
title_fullStr |
Modeling and state estimation for supervisory control of networked timed discrete-event systems and their application in supervisor synthesis |
title_full_unstemmed |
Modeling and state estimation for supervisory control of networked timed discrete-event systems and their application in supervisor synthesis |
title_sort |
modeling and state estimation for supervisory control of networked timed discrete-event systems and their application in supervisor synthesis |
publishDate |
2023 |
url |
https://hdl.handle.net/10356/170865 |
_version_ |
1779171092939669504 |