Deadlock Analysis of Parameterized-Chain Networks
From MaRDI portal
Publication:5280394
DOI10.1109/TAC.2016.2596758zbMath1366.90024arXiv1609.09555OpenAlexW3100942832MaRDI QIDQ5280394
J. G. Thistle, M. Hadi Zibaeenejad
Publication date: 27 July 2017
Published in: IEEE Transactions on Automatic Control (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1609.09555
Deterministic network models in operations research (90B10) Discrete event control/observation systems (93C65) Specification and verification (program logics, model checking, etc.) (68Q60)
Related Items (1)
This page was built for publication: Deadlock Analysis of Parameterized-Chain Networks