Login / Signup
Modular Verification of Opacity for Interconnected Control Systems via Barrier Certificates.
Shadi Tasdighi Kalat
Siyuan Liu
Majid Zamani
Published in:
IEEE Control. Syst. Lett. (2022)
Keyphrases
</>
control system
face verification
public key
modular structure
model checking
safety analysis
formal methods
access control
formal analysis
formal verification
asynchronous circuits
high security
real environment
verification method
medical images
concurrent systems
real time