FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W1553216099> ?p ?o ?g. }

• W1553216099 abstract "We identify several simple but powerful concepts, techniques, and results; and we use them to characterize the complexities of a number of basic problems II, that arise in the analysis and verification of the following models M of communicating automata and discrete dynamical systems: systems of communicating automata including both finite and infinite cellular automata, transition systems, discrete dynamical systems, and succinctly-specified finite automata. These concepts, techniques, and results are centered on the following: (i) reductions Of STATE-REACHABILITY problems, especially for very simple systems of communicating copies of a single simple finite automaton, (ii) reductions of generalized CNF satisfiability problems [Sc78], especially to very simple communicating systems of copies of a few basic acyclic finite sequential machines, and (iii) reductions of the EMPTINESS and EMPTINESS-OF-INTERSECTION problems, for several kinds of regular set descriptors. For systems of communicating automata and transition systems, the problems studied include: all equivalence relations and simulation preorders in the Linear-time/Branching-time hierarchies of equivalence relations and simulation preorders of [vG90, vG93], both without and with the hiding abstraction. For discrete dynamical systems, the problems studied include the INITIAL and BOUNDARY VALUE PROBLEMS (denoted IVPs and BVPS, respectively), for nonlinear difference equations over many different algebraic structures, e.g.more » all unitary rings, all finite unitary semirings, and all lattices. For succinctly-specified finite automata, the problems studied also include the several problems studied in [AY98], e.g. the EMPTINESS, EMPTINESS-OF-INTERSECTION, EQUIVALENCE and CONTAINMENT problems. The concepts, techniques, and results presented unify and significantly extend many of the known results in the literature, e.g. [Wo86, Gu89, BPT91, GM92, Ra92, HT94, SH+96, AY98, AKY99, RH93, SM73, Hu73, HRS76, HR78], for communicating automata including both finite and infinite cellular automata and for finite automata specified by special kinds of context-free grammars, by regular operations augmented with squaring and intersection, and specified succinctly as in [AY98, AKY99]. Moreover, our development of these concepts, techniques, and results shows how several ideas, techniques, and results, for the individual models M above can be extended to apply to all or to most of these models. As one example of this and paraphrasing [BPT91] , we show: Most of these models M exhibit computationally-intractable sensitive dependence on initial conditions, for the same reason. These computationally-intractable sensitivities range from PSPACE-hard to undecidable.« less" @default.
• W1553216099 created "2016-06-24" @default.
• W1553216099 creator A5009388396 @default.
• W1553216099 creator A5034277599 @default.
• W1553216099 creator A5066125534 @default.
• W1553216099 creator A5086740853 @default.
• W1553216099 creator A5086835651 @default.
• W1553216099 date "2001-01-01" @default.
• W1553216099 modified "2023-09-23" @default.
• W1553216099 title "Complexity of analysis and verification problems for communicating automata and discrete dynamical systems." @default.
• W1553216099 hasPublicationYear "2001" @default.
• W1553216099 type Work @default.
• W1553216099 sameAs 1553216099 @default.
• W1553216099 citedByCount "0" @default.
• W1553216099 crossrefType "journal-article" @default.
• W1553216099 hasAuthorship W1553216099A5009388396 @default.
• W1553216099 hasAuthorship W1553216099A5034277599 @default.
• W1553216099 hasAuthorship W1553216099A5066125534 @default.
• W1553216099 hasAuthorship W1553216099A5086740853 @default.
• W1553216099 hasAuthorship W1553216099A5086835651 @default.
• W1553216099 hasConcept C112505250 @default.
• W1553216099 hasConcept C11413529 @default.
• W1553216099 hasConcept C116248031 @default.
• W1553216099 hasConcept C118615104 @default.
• W1553216099 hasConcept C121332964 @default.
• W1553216099 hasConcept C136643341 @default.
• W1553216099 hasConcept C153269930 @default.
• W1553216099 hasConcept C167822520 @default.
• W1553216099 hasConcept C174327141 @default.
• W1553216099 hasConcept C30788636 @default.
• W1553216099 hasConcept C33923547 @default.
• W1553216099 hasConcept C41008148 @default.
• W1553216099 hasConcept C62520636 @default.
• W1553216099 hasConcept C79379906 @default.
• W1553216099 hasConcept C80444323 @default.
• W1553216099 hasConceptScore W1553216099C112505250 @default.
• W1553216099 hasConceptScore W1553216099C11413529 @default.
• W1553216099 hasConceptScore W1553216099C116248031 @default.
• W1553216099 hasConceptScore W1553216099C118615104 @default.
• W1553216099 hasConceptScore W1553216099C121332964 @default.
• W1553216099 hasConceptScore W1553216099C136643341 @default.
• W1553216099 hasConceptScore W1553216099C153269930 @default.
• W1553216099 hasConceptScore W1553216099C167822520 @default.
• W1553216099 hasConceptScore W1553216099C174327141 @default.
• W1553216099 hasConceptScore W1553216099C30788636 @default.
• W1553216099 hasConceptScore W1553216099C33923547 @default.
• W1553216099 hasConceptScore W1553216099C41008148 @default.
• W1553216099 hasConceptScore W1553216099C62520636 @default.
• W1553216099 hasConceptScore W1553216099C79379906 @default.
• W1553216099 hasConceptScore W1553216099C80444323 @default.
• W1553216099 hasLocation W15532160991 @default.
• W1553216099 hasOpenAccess W1553216099 @default.
• W1553216099 hasPrimaryLocation W15532160991 @default.
• W1553216099 hasRelatedWork W125189525 @default.
• W1553216099 hasRelatedWork W1515866581 @default.
• W1553216099 hasRelatedWork W1805733700 @default.
• W1553216099 hasRelatedWork W1834456443 @default.
• W1553216099 hasRelatedWork W1966841351 @default.
• W1553216099 hasRelatedWork W2041371169 @default.
• W1553216099 hasRelatedWork W2053299670 @default.
• W1553216099 hasRelatedWork W2101818103 @default.
• W1553216099 hasRelatedWork W2103500400 @default.
• W1553216099 hasRelatedWork W2119416645 @default.
• W1553216099 hasRelatedWork W2158833662 @default.
• W1553216099 hasRelatedWork W2184372400 @default.
• W1553216099 hasRelatedWork W2188792780 @default.
• W1553216099 hasRelatedWork W2241360118 @default.
• W1553216099 hasRelatedWork W2604577107 @default.
• W1553216099 hasRelatedWork W2606473856 @default.
• W1553216099 hasRelatedWork W2912461213 @default.
• W1553216099 hasRelatedWork W2929447543 @default.
• W1553216099 hasRelatedWork W2980415400 @default.
• W1553216099 hasRelatedWork W3170208131 @default.
• W1553216099 isParatext "false" @default.
• W1553216099 isRetracted "false" @default.
• W1553216099 magId "1553216099" @default.
• W1553216099 workType "article" @default.