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

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)

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  -