Results 241 to 250 of about 94,737 (261)
Some of the next articles are maybe not open access.
A new approach for the verification of infinite-step andK-step opacity using two-way observers
Automatica, 2017Stéphane Lafortune, Xiang Yin
exaly
Verification of State-Based Opacity Using Petri Nets
IEEE Transactions on Automatic Control, 2017Alessandro Giua, Zhiwu Li, Yin Tong
exaly
Overview of discrete event systems opacity: Models, validation, and quantification
Annual Reviews in Control, 2016Jean-Marc Fauré, Jean-Jacques Lesage
exaly
Replicating the Z iron opacity experiments on the NIF
High Energy Density Physics, 2017B G Wilson, J E Bailey, R S Craxton
exaly

