Approximately Bisimilar Symbolic Models for Incrementally Stable Switched Systems 论文

2009IEEE Transactions on Automatic Control引用 374
DOI
Control and Stability of Dynamical SystemsPetri Nets in System ModelingFormal Methods in Verification
Petri Nets in System ModelingFormal Methods in VerificationControl and Stability of Dynamical Systems
相关技术:Petri Nets in System ModelingFormal Methods in Verification
关系图谱

Approximately Bisimilar Symbolic Models for Incrementally Stable Switched Systems · 相关文章

暂无数据