검색결과 : 6건
| No. | Article |
|---|---|
| 1 |
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 |
| 2 |
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 |
| 3 |
Bisimilarity control of partially observed nondeterministic discrete event systems and a test algorithm Liu FC, Lin H, Dziong Z Automatica, 47(4), 782, 2011 |
| 4 |
Bisimilarity Enforcement for Discrete Event Systems Using Deterministic Control Zhou CY, Kumar R IEEE Transactions on Automatic Control, 56(12), 2986, 2011 |
| 5 |
Bisimilarity control of partially observed deterministic systems Zhou C, Kumar R IEEE Transactions on Automatic Control, 52(9), 1642, 2007 |
| 6 |
Control of nondeterministic discrete-event systems for bisimulation equivalence Zhou CY, Kumar R, Jiang SB IEEE Transactions on Automatic Control, 51(5), 754, 2006 |