Login / Signup
Formal verification of observers supervising a cyber-physical system implemented using IEC 61499.
Polina Ovsiannikova
Etienne Le Priol
Vincent Perret
Pranay Jhunjhunwala
Midhun Xavier
Valeriy Vyatkin
Published in:
ISIE (2023)
Keyphrases
</>
formal verification
model checking
model checker
cyber physical systems
bounded model checking
automated verification
cyber security
symbolic model checking
distributed systems
smart grid
artificial intelligence
control system
software development
network management