Overview of discrete event systems opacity: models, validation, and quantification

HIGHLIGHTS

• who: Romain Jacob and colleagues from the UnivParis-Sud, Université Paris-Saclay, France have published the article: Overview of Discrete Event Systems Opacity: models, validation, and quantification, in the Journal: (JOURNAL) of January/12,/2016
• what: 9 Reject, 0.20 This approach has been presented in Saboori and amp; Hadjicostis and applied to K-step (weak) opacity in Saboori and amp; Hadjicostis (2011b). The authors attempt to formulate thereafter the problem statements as clearly as possible. The authors propose in Table 1 to 3 a general overview of decidability and complexity results published up to . . .
  

   

  

  If you want to have access to all the content you need to log in!

  Thanks :)

  Username or Email

  Password

  Remember me

  Lost your password?

  If you don't have an account, you can create one here.