Weak Invariant Simulation and Its Application to Analysis of Parameterized Networks

DOI10.1109/TAC.2014.2315311MaRDI QIDQ2983065zbMATH OpenFDO

Authors M. Hadi Zibaeenejad, J. G. Thistle

Publication date 16 May 2017

Published in IEEE Transactions on Automatic Control (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1109/TAC.2014.2315311

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Discrete event control/observation systems (93C65)

Recommendations

• scientific article; zbMATH DE number 4076636
• An invariant-based approach to the verification of asynchronous parameterized networks
• Parameterized model checking of weighted networks
• Analytical and simulation models of generalized stochastic networks
• Application of some graph invariants to the analysis of multiprocessor interconnection networks
• On simulation in automata networks
• Parameterized verification of linear networks using automata as invariants

Cited in

(1)

• Symbolic reachability analysis and maximally permissive entrance control for globally synchronized templates

This page was built for publication: Weak Invariant Simulation and Its Application to Analysis of Parameterized Networks

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2983065)