New solutions for modeling and verification of B-based reconfigurable control systems

@article{Oueslati2014NewSF,
  title={New solutions for modeling and verification of B-based reconfigurable control systems},
  author={Raja Oueslati and Olfa Mosbahi and Mohamed Khalgui and Samir Ben Ahmed},
  journal={2014 11th International Conference on Informatics in Control, Automation and Robotics (ICINCO)},
  year={2014},
  volume={01},
  pages={749-757}
}
The paper deals with the modeling and verification of B method-based reconfigurable control systems. Reconfiguration means the dynamic changes of the system behavior at run-time according to well-defined conditions to adapt it to its environment. A reconfiguration scenario is applied as a response to improve the system's performance, or also to recover and… CONTINUE READING