Abstraction-Based Verification of Approximate Pre-Opacity for Control Systems.

Junyao Hou Siyuan Liu Xiang Yin Majid Zamani

Published in: CoRR (2022)

Keyphrases

control system
hardware designs
model checking
bounded model checking
formal verification
high level
real world
data mining
machine learning
genetic algorithm
computer vision
state space
control algorithm
exact solution
industrial automation