Modular verification of opacity for interconnected control systems via barrier certificates
1999 ◽
Vol 32
(1)
◽
pp. 159-164
◽
Keyword(s):
1997 ◽
Vol 103
(1)
◽
pp. 46
Keyword(s):
Keyword(s):
1988 ◽
Vol 104
(3)
◽
pp. 363-372
◽