scientific article
From MaRDI portal
Publication:3152833
zbMath1010.93065MaRDI QIDQ3152833
Zhonghua Zhang, W. Murray Wonham
Publication date: 4 May 2003
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
State based control of timed discrete event systems using binary decision diagrams ⋮ A survey on compositional algorithms for verification and synthesis in supervisory control ⋮ STCT