Login / Signup
Designing Efficient Reconfigurable Control Systems Using IEC61499 and Symbolic Model Checking.
Safa Guellouz
Adel Benzina
Mohamed Khalgui
Georg Frey
Zhiwu Li
Valeriy Vyatkin
Published in:
IEEE Trans Autom. Sci. Eng. (2019)
Keyphrases
</>
control system
symbolic model checking
model checking
general purpose
data mining
artificial intelligence
multi agent
distributed systems
temporal logic