Proceedings of the 2015 International Conference on Mechatronics, Electronic, Industrial and Control Engineering

Self-Reconfigurable Control - Part II: Executing Based on Model Checking

Authors
He-xuan Hu
Corresponding Author
He-xuan Hu
Available Online April 2015.
DOI
10.2991/meic-15.2015.337How to use a DOI?
Keywords
Model checking; Automated Planning; Reconfigurable Control; Cause-effect
Abstract

This paper presents a formal framework for reconfigurable control, based on model checking. This framework first generates a flexible model (i.e., an execution structure) according to the diagnosis, then defines a temporal specification language to deal with the problems due to infinite execution cycles and non-determinism, and finally provides the algorithms that will automatically verify whether the updated model satisfies the desired specification. Our entire procedure of reconfigurable control is as follows: for a given series of observations and diagnoses, if there are faults in system, then a revised system model is constructed flexibly, according to the diagnoses, observations and available system descriptions. Next, model checking is applied to verify whether or not the current system model satisfies the desired objectives. This automatic reconfigurability calculation is one of the most important steps in our framework. If the given control objectives are achievable, the system will run according to the observations and current system model. Otherwise, the reconfiguration is considered as failed.

Copyright
© 2015, the Authors. Published by Atlantis Press.
Open Access
This is an open access article distributed under the CC BY-NC license (http://creativecommons.org/licenses/by-nc/4.0/).

Download article (PDF)

Volume Title
Proceedings of the 2015 International Conference on Mechatronics, Electronic, Industrial and Control Engineering
Series
Advances in Engineering Research
Publication Date
April 2015
ISBN
978-94-62520-62-2
ISSN
2352-5401
DOI
10.2991/meic-15.2015.337How to use a DOI?
Copyright
© 2015, the Authors. Published by Atlantis Press.
Open Access
This is an open access article distributed under the CC BY-NC license (http://creativecommons.org/licenses/by-nc/4.0/).

Cite this article

TY  - CONF
AU  - He-xuan Hu
PY  - 2015/04
DA  - 2015/04
TI  - Self-Reconfigurable Control - Part II: Executing Based on Model Checking
BT  - Proceedings of the 2015 International Conference on Mechatronics, Electronic, Industrial and Control Engineering
PB  - Atlantis Press
SP  - 1470
EP  - 1474
SN  - 2352-5401
UR  - https://doi.org/10.2991/meic-15.2015.337
DO  - 10.2991/meic-15.2015.337
ID  - Hu2015/04
ER  -