Matches in SemOpenAlex for { <https://semopenalex.org/work/W3011336637> ?p ?o ?g. }
Showing items 1 to 91 of
91
with 100 items per page.
- W3011336637 abstract "In this paper, we investigate the security approach of synthesizing resilient supervisors against combined actuator and sensor attacks, for the subclass of cyber-physical systems that can be modeled as discrete-event systems. A constraint-based approach for the bounded synthesis of resilient supervisors is developed by reducing it to the QBF problem." @default.
- W3011336637 created "2020-03-23" @default.
- W3011336637 creator A5040160534 @default.
- W3011336637 creator A5046844818 @default.
- W3011336637 creator A5048450188 @default.
- W3011336637 date "2019-12-01" @default.
- W3011336637 modified "2023-09-25" @default.
- W3011336637 title "Towards Bounded Synthesis of Resilient Supervisors" @default.
- W3011336637 cites W111931874 @default.
- W3011336637 cites W2086359741 @default.
- W3011336637 cites W21416174 @default.
- W3011336637 cites W2400096882 @default.
- W3011336637 cites W2421199393 @default.
- W3011336637 cites W2597956280 @default.
- W3011336637 cites W2765683033 @default.
- W3011336637 cites W2782611461 @default.
- W3011336637 cites W2884397601 @default.
- W3011336637 cites W2912723034 @default.
- W3011336637 cites W2963076019 @default.
- W3011336637 cites W2963535556 @default.
- W3011336637 cites W2967189348 @default.
- W3011336637 cites W2968727477 @default.
- W3011336637 cites W4241616303 @default.
- W3011336637 cites W4297744580 @default.
- W3011336637 doi "https://doi.org/10.1109/cdc40024.2019.9030171" @default.
- W3011336637 hasPublicationYear "2019" @default.
- W3011336637 type Work @default.
- W3011336637 sameAs 3011336637 @default.
- W3011336637 citedByCount "28" @default.
- W3011336637 countsByYear W30113366372019 @default.
- W3011336637 countsByYear W30113366372020 @default.
- W3011336637 countsByYear W30113366372021 @default.
- W3011336637 countsByYear W30113366372022 @default.
- W3011336637 countsByYear W30113366372023 @default.
- W3011336637 crossrefType "proceedings-article" @default.
- W3011336637 hasAuthorship W3011336637A5040160534 @default.
- W3011336637 hasAuthorship W3011336637A5046844818 @default.
- W3011336637 hasAuthorship W3011336637A5048450188 @default.
- W3011336637 hasConcept C111919701 @default.
- W3011336637 hasConcept C120314980 @default.
- W3011336637 hasConcept C121332964 @default.
- W3011336637 hasConcept C124952713 @default.
- W3011336637 hasConcept C134306372 @default.
- W3011336637 hasConcept C142362112 @default.
- W3011336637 hasConcept C154945302 @default.
- W3011336637 hasConcept C172707124 @default.
- W3011336637 hasConcept C179768478 @default.
- W3011336637 hasConcept C2524010 @default.
- W3011336637 hasConcept C2776036281 @default.
- W3011336637 hasConcept C2779662365 @default.
- W3011336637 hasConcept C2780980858 @default.
- W3011336637 hasConcept C33923547 @default.
- W3011336637 hasConcept C34388435 @default.
- W3011336637 hasConcept C41008148 @default.
- W3011336637 hasConcept C62520636 @default.
- W3011336637 hasConcept C80444323 @default.
- W3011336637 hasConceptScore W3011336637C111919701 @default.
- W3011336637 hasConceptScore W3011336637C120314980 @default.
- W3011336637 hasConceptScore W3011336637C121332964 @default.
- W3011336637 hasConceptScore W3011336637C124952713 @default.
- W3011336637 hasConceptScore W3011336637C134306372 @default.
- W3011336637 hasConceptScore W3011336637C142362112 @default.
- W3011336637 hasConceptScore W3011336637C154945302 @default.
- W3011336637 hasConceptScore W3011336637C172707124 @default.
- W3011336637 hasConceptScore W3011336637C179768478 @default.
- W3011336637 hasConceptScore W3011336637C2524010 @default.
- W3011336637 hasConceptScore W3011336637C2776036281 @default.
- W3011336637 hasConceptScore W3011336637C2779662365 @default.
- W3011336637 hasConceptScore W3011336637C2780980858 @default.
- W3011336637 hasConceptScore W3011336637C33923547 @default.
- W3011336637 hasConceptScore W3011336637C34388435 @default.
- W3011336637 hasConceptScore W3011336637C41008148 @default.
- W3011336637 hasConceptScore W3011336637C62520636 @default.
- W3011336637 hasConceptScore W3011336637C80444323 @default.
- W3011336637 hasLocation W30113366371 @default.
- W3011336637 hasOpenAccess W3011336637 @default.
- W3011336637 hasPrimaryLocation W30113366371 @default.
- W3011336637 hasRelatedWork W10881527 @default.
- W3011336637 hasRelatedWork W11123744 @default.
- W3011336637 hasRelatedWork W11622882 @default.
- W3011336637 hasRelatedWork W11623253 @default.
- W3011336637 hasRelatedWork W12828072 @default.
- W3011336637 hasRelatedWork W1715145 @default.
- W3011336637 hasRelatedWork W2755347 @default.
- W3011336637 hasRelatedWork W8964600 @default.
- W3011336637 hasRelatedWork W9733037 @default.
- W3011336637 hasRelatedWork W9819130 @default.
- W3011336637 isParatext "false" @default.
- W3011336637 isRetracted "false" @default.
- W3011336637 magId "3011336637" @default.
- W3011336637 workType "article" @default.