검색결과 : 2건
| No. | Article |
|---|---|
| 1 |
Formal analysis of piecewise affine systems through formula-guided refinement Yordanov B, Tumova J, Cerna I, Barnat J, Belta C Automatica, 49(1), 261, 2013 |
| 2 |
Temporal Logic Control of Discrete-Time Piecewise Affine Systems Yordanov B, Tumova J, Cerna I, Barnat J, Belta C IEEE Transactions on Automatic Control, 57(6), 1491, 2012 |