Linear Time Logic Control of Discrete-Time Linear Systems 论文

2006IEEE Transactions on Automatic Control引用 350
DOI
Formal Methods in VerificationPetri Nets in System Modeling
Petri Nets in System ModelingFormal Methods in Verification
相关技术:Petri Nets in System ModelingFormal Methods in Verification
关系图谱

Linear Time Logic Control of Discrete-Time Linear Systems · 相关文章

暂无数据