Matches in SemOpenAlex for { <https://semopenalex.org/work/W2105940218> ?p ?o ?g. }
Showing items 1 to 68 of
68
with 100 items per page.
- W2105940218 abstract "The prescription of sets of trajectories for a finite deterministic automaton A is formulated via the notion of specifications denoted, both individually and collectively, by SPEC. Necessary and sufficient conditions for the existence of sets of trajectories satisfying a given SPEC are provided. The formulation and specification of structures for interacting automata are developed within the multi-agent (MA) product framework and the associated MA product of specifications (MSPEC) is introduced." @default.
- W2105940218 created "2016-06-24" @default.
- W2105940218 creator A5022749851 @default.
- W2105940218 creator A5044187847 @default.
- W2105940218 date "2003-07-10" @default.
- W2105940218 modified "2023-09-24" @default.
- W2105940218 title "On vector trajectory specifications for multi-agent product systems" @default.
- W2105940218 cites W1920795171 @default.
- W2105940218 cites W1974202634 @default.
- W2105940218 doi "https://doi.org/10.1109/cdc.2001.980608" @default.
- W2105940218 hasPublicationYear "2003" @default.
- W2105940218 type Work @default.
- W2105940218 sameAs 2105940218 @default.
- W2105940218 citedByCount "8" @default.
- W2105940218 crossrefType "proceedings-article" @default.
- W2105940218 hasAuthorship W2105940218A5022749851 @default.
- W2105940218 hasAuthorship W2105940218A5044187847 @default.
- W2105940218 hasConcept C112505250 @default.
- W2105940218 hasConcept C11413529 @default.
- W2105940218 hasConcept C121332964 @default.
- W2105940218 hasConcept C1276947 @default.
- W2105940218 hasConcept C13662910 @default.
- W2105940218 hasConcept C199360897 @default.
- W2105940218 hasConcept C2524010 @default.
- W2105940218 hasConcept C2778565505 @default.
- W2105940218 hasConcept C33923547 @default.
- W2105940218 hasConcept C41008148 @default.
- W2105940218 hasConcept C80444323 @default.
- W2105940218 hasConcept C90673727 @default.
- W2105940218 hasConceptScore W2105940218C112505250 @default.
- W2105940218 hasConceptScore W2105940218C11413529 @default.
- W2105940218 hasConceptScore W2105940218C121332964 @default.
- W2105940218 hasConceptScore W2105940218C1276947 @default.
- W2105940218 hasConceptScore W2105940218C13662910 @default.
- W2105940218 hasConceptScore W2105940218C199360897 @default.
- W2105940218 hasConceptScore W2105940218C2524010 @default.
- W2105940218 hasConceptScore W2105940218C2778565505 @default.
- W2105940218 hasConceptScore W2105940218C33923547 @default.
- W2105940218 hasConceptScore W2105940218C41008148 @default.
- W2105940218 hasConceptScore W2105940218C80444323 @default.
- W2105940218 hasConceptScore W2105940218C90673727 @default.
- W2105940218 hasLocation W21059402181 @default.
- W2105940218 hasOpenAccess W2105940218 @default.
- W2105940218 hasPrimaryLocation W21059402181 @default.
- W2105940218 hasRelatedWork W1497487247 @default.
- W2105940218 hasRelatedWork W1504756454 @default.
- W2105940218 hasRelatedWork W1530390595 @default.
- W2105940218 hasRelatedWork W1587663028 @default.
- W2105940218 hasRelatedWork W1594627722 @default.
- W2105940218 hasRelatedWork W1920795171 @default.
- W2105940218 hasRelatedWork W1939897922 @default.
- W2105940218 hasRelatedWork W1948672577 @default.
- W2105940218 hasRelatedWork W1966652050 @default.
- W2105940218 hasRelatedWork W1974202634 @default.
- W2105940218 hasRelatedWork W1976952121 @default.
- W2105940218 hasRelatedWork W1979349468 @default.
- W2105940218 hasRelatedWork W1995691455 @default.
- W2105940218 hasRelatedWork W2003223200 @default.
- W2105940218 hasRelatedWork W2049804310 @default.
- W2105940218 hasRelatedWork W2076758153 @default.
- W2105940218 hasRelatedWork W2110233039 @default.
- W2105940218 hasRelatedWork W2140493413 @default.
- W2105940218 hasRelatedWork W2152358711 @default.
- W2105940218 hasRelatedWork W2508618396 @default.
- W2105940218 isParatext "false" @default.
- W2105940218 isRetracted "false" @default.
- W2105940218 magId "2105940218" @default.
- W2105940218 workType "article" @default.