Cyber-physical automation systems modelling with IEC 61499 for their formal verification.

Midhun Xavier Sandeep Patil Valeriy Vyatkin

Published in: INDIN (2021)

Keyphrases

formal verification
cyber physical
model checking
social networks
physical world
automated verification
model checker
bounded model checking
situation awareness
symbolic model checking
control system
cyber physical systems
temporal logic
physical space
e government
computational intelligence
real time