검색결과 : 3건
| No. | Article |
|---|---|
| 1 |
Compositional synthesis of finite abstractions for networks of systems: A small-gain approach Swikir A, Zamani M Automatica, 107, 551, 2019 |
| 2 |
Formal Verification of Stochastic Max-Plus-Linear Systems Soudjani SEZ, Adzkiya D, Abate A IEEE Transactions on Automatic Control, 61(10), 2861, 2016 |
| 3 |
Symbolic models for stochastic switched systems: A discretization and a discretization-free approach Zamani M, Abate A, Girard A Automatica, 55, 183, 2015 |