Reachability problems for sequential dynamical systems with threshold functions

Author： Barrett C.   Hunt III H.B.   Marathe M.V.   Ravi S.S.   Rosenkrantz D.J.   Stearns R.E.  

Publisher： Elsevier

ISSN： 0304-3975

Source： Theoretical Computer Science, Vol.295, Iss.1, 2003-02, pp. : 41-64

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Previous Menu Next

Abstract

Related content

A Survey of Reachability and Controllability for Positive Linear Systems

By Caccetta L.  

Annals of Operations Research, Vol. 98, Iss. 1-4, 2000-12 ,pp. : 101-122

Springer Publishing Company

Access to resources Recommend Favorite

An Automata-Theoretic Approach to the Reachability Analysis of RPPS Systems

By Labroue A.   Schnoebelen P.  

Electronic Notes in Theoretical Computer Science, Vol. 52, Iss. 1, 2004-01 ,pp. : 1-20

Elsevier

Access to resources Recommend Favorite

Some decidable results on reachability of solvable systems

By Xu Ming  

International Journal of General Systems, Vol. 42, Iss. 4, 2013-05 ,pp. : 405-425

Taylor & Francis Ltd

Access to resources Recommend Favorite

Reachability Analysis over Term Rewriting Systems

By Feuillade Guillaume   Genet Thomas   Viet Triem Tong Valérie  

Journal of Automated Reasoning, Vol. 33, Iss. 3-4, 2004-10 ,pp. : 341-383

Springer Publishing Company

Access to resources Recommend Favorite

Dichotomy Results for Fixed-Point Existence Problems for Boolean Dynamical Systems

By Kosub Sven  

Mathematics in Computer Science, Vol. 1, Iss. 3, 2008-03 ,pp. : 487-505

Springer Publishing Company

Access to resources Recommend Favorite