검색결과 : 33건
| No. | Article |
|---|---|
| 1 |
A Generalized Framework For Kullback-Leibler Markov Aggregation Amjad RA, Blochl C, Geiger BC IEEE Transactions on Automatic Control, 65(7), 3068, 2020 |
| 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 |
Optimal multirate sampling in symbolic models for incrementally stable switched systems Saoud A, Girard A Automatica, 98, 58, 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 |
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 |
| 6 |
Bisimulation equivalence of differential-algebraic systems Megawati NY, van der Schaft A International Journal of Control, 91(1), 45, 2018 |
| 7 |
BISIMULATIONS OF BOOLEAN CONTROL NETWORKS Li R, Chu TG, Wang XY SIAM Journal on Control and Optimization, 56(1), 388, 2018 |
| 8 |
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 |
| 9 |
Safety Controller Synthesis for Incrementally Stable Switched Systems Using Multiscale Symbolic Models Girard A, Gossler G, Mouelhi S IEEE Transactions on Automatic Control, 61(6), 1537, 2016 |
| 10 |
Symbolic Models for Networks of Control Systems Pola G, Pepe P, Benedetto MD IEEE Transactions on Automatic Control, 61(11), 3663, 2016 |