검색결과 : 3건
| No. | Article |
|---|---|
| 1 |
Formal Control Synthesis via Simulation Relations and Behavioral Theory for Discrete-Time Descriptor Systems Haesaert S, Chen F, Abate A, Weiland S IEEE Transactions on Automatic Control, 66(3), 1024, 2021 |
| 2 |
Symbolic Models and Control of Discrete-Time Piecewise Affine Systems: An Approximate Simulation Approach Pola G, Di Benedetto MD IEEE Transactions on Automatic Control, 59(1), 175, 2014 |
| 3 |
Hierarchical control system design using approximate simulation Girard A, Pappas GJ Automatica, 45(2), 566, 2009 |