검색결과 : 18건
| No. | Article |
|---|---|
| 1 |
Design of Symbolic Controllers for Networked Control Systems Borri A, Pola G, Di Benedetto MD IEEE Transactions on Automatic Control, 64(3), 1034, 2019 |
| 2 |
Time-optimal symbolic control of a changeover process based on an approximately bisimilar symbolic model Fakhroleslam M, Pola G, De Santis E, Di Benedetto MD Journal of Process Control, 81, 126, 2019 |
| 3 |
Maximal safe set computation for pressure swing adsorption processes Fakhroleslam M, Fatemi S, Boozarjomehry RB, De Santis E, Benedetto MD, Pola G Computers & Chemical Engineering, 109, 179, 2018 |
| 4 |
Bisimulation Equivalence of Discrete-Time Stochastic Linear Control Systems Pola G, Manes C, van der Schaft AJ, Di Benedetto MD IEEE Transactions on Automatic Control, 63(7), 1897, 2018 |
| 5 |
On Lyapunov-Krasovskii Characterizations of Stability Notions for Discrete-Time Systems With Uncertain Time-Varying Time Delays Pepe P, Pola G, Di Benedetto MD IEEE Transactions on Automatic Control, 63(6), 1603, 2018 |
| 6 |
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 |
| 7 |
Design of decentralized critical observers for networks of finite state machines: A formal method approach Pola G, De Santis E, Di Benedetto MD, Pezzuti D Automatica, 86, 174, 2017 |
| 8 |
Symbolic Models for Networks of Control Systems Pola G, Pepe P, Benedetto MD IEEE Transactions on Automatic Control, 61(11), 3663, 2016 |
| 9 |
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 |
| 10 |
Integrated Design of Symbolic Controllers for Nonlinear Systems Pola G, Borri A, Di Benedetto MD IEEE Transactions on Automatic Control, 57(2), 534, 2012 |