검색결과 : 10건
| No. | Article |
|---|---|
| 1 |
Decentralized Supervisory Control of Networks of Nonlinear Control Systems Pola G, Pepe P, Di Benedetto MD IEEE Transactions on Automatic Control, 63(9), 2803, 2018 |
| 2 |
Symbolic Models for Networks of Control Systems Pola G, Pepe P, Benedetto MD IEEE Transactions on Automatic Control, 61(11), 3663, 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 |
| 4 |
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 |
| 5 |
Controller synthesis for safety and reachability via approximate bisimulation Girard A Automatica, 48(5), 947, 2012 |
| 6 |
Integrated Design of Symbolic Controllers for Nonlinear Systems Pola G, Borri A, Di Benedetto MD IEEE Transactions on Automatic Control, 57(2), 534, 2012 |
| 7 |
Symbolic Models for Nonlinear Control Systems Without Stability Assumptions Zamani M, Pola G, Mazo M, Tabuada P IEEE Transactions on Automatic Control, 57(7), 1804, 2012 |
| 8 |
Symbolic models for nonlinear control systems affected by disturbances Borri A, Pola G, Di Benedetto MD International Journal of Control, 85(10), 1422, 2012 |
| 9 |
SYMBOLIC MODELS FOR NONLINEAR CONTROL SYSTEMS: ALTERNATING APPROXIMATE BISIMULATIONS Pola G, Tabuada P SIAM Journal on Control and Optimization, 48(2), 719, 2009 |
| 10 |
Approximately bisimilar symbolic models for nonlinear control systems Pola G, Girard A, Tabuada P Automatica, 44(10), 2508, 2008 |