Login / Signup

Designing Efficient Reconfigurable Control Systems Using IEC61499 and Symbolic Model Checking.

Safa GuellouzAdel BenzinaMohamed KhalguiGeorg FreyZhiwu LiValeriy 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