Results 231 to 240 of about 94,737 (261)

A general language-based framework for specifying and verifying notions of opacity

Discrete Event Dynamic Systems: Theory and Applications, 2022
Andrew Wintenberg, Necmiye Ozay, Stéphane Lafortune   +2 more
exaly  

Opacity and Identity

Analysis, 1970
openaire   +1 more source

Infinite-step opacity and K-step opacity of stochastic discrete-event systems

Automatica, 2019
Xiang Yin, Shaoyuan Li, Weilin Wang
exaly  

opacity

2021
openaire   +2 more sources

Comparative analysis of related notions of opacity in centralized and coordinated architectures

Discrete Event Dynamic Systems: Theory and Applications, 2012
Stéphane Lafortune, Yi-Chin Wu, Lafortune Stéphane   +2 more
exaly  

Opacity of discrete event systems and its applications

Automatica, 2011
Feng Lin
exaly  

Opacity of Nondeterministic Transition Systems: A (Bi)Simulation Relation Approach

IEEE Transactions on Automatic Control, 2019
Majid Zamani, Kuize Zhang, Xiang Yin
exaly  

Radiographic Opacities

Chest, 2004
openaire   +2 more sources

Enforcement and validation (at runtime) of various notions of opacity

Discrete Event Dynamic Systems: Theory and Applications, 2014
Yliès Falcone, Hervé Marchand, Marchand Hervé   +2 more
exaly  

Decomposing Opacity

2014
Mohsen Lesani, Jens Palsberg
openaire   +1 more source