He-xuan Hu, Anne-Lise Gehin, Mireille Bayart. A formal framework of reconfigurable control based on model checking. In American Control Conference, ACC 2008, Seattle, WA, USA, 11-13 June 2008. pages 4324-4329, IEEE, 2008. [doi]
@inproceedings{HuGB08,
title = {A formal framework of reconfigurable control based on model checking},
author = {He-xuan Hu and Anne-Lise Gehin and Mireille Bayart},
year = {2008},
doi = {10.1109/ACC.2008.4587174},
url = {https://doi.org/10.1109/ACC.2008.4587174},
researchr = {https://researchr.org/publication/HuGB08},
cites = {0},
citedby = {0},
pages = {4324-4329},
booktitle = {American Control Conference, ACC 2008, Seattle, WA, USA, 11-13 June 2008},
publisher = {IEEE},
}