STP-based verification and synthesis of state opacity for logical finite state machines (Q6128048)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: STP-based verification and synthesis of state opacity for logical finite state machines |
scientific article; zbMATH DE number 7832291
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | STP-based verification and synthesis of state opacity for logical finite state machines |
scientific article; zbMATH DE number 7832291 |
Statements
STP-based verification and synthesis of state opacity for logical finite state machines (English)
0 references
15 April 2024
0 references
logical dynamic systems
0 references
algebraic approach
0 references
semi-tensor product of matrices
0 references
finite-state machine
0 references
opacity
0 references
