Sciweavers

28888 search results - page 171 / 5778
» Computability and complexity in analysis
Sort
View
CDC
2009
IEEE
136views Control Systems» more  CDC 2009»
14 years 6 days ago
Verification of K-step opacity and analysis of its complexity
In this paper, we analyze the verification of K-step opacity in discrete event systems that are modeled as (possibly non-deterministic) finite automata with partial observation on ...
Anooshiravan Saboori, Christoforos N. Hadjicostis