검색결과 : 4건
| No. | Article |
|---|---|
| 1 |
Compositional and Abstraction-Based Approach for Synthesis of Edit Functions for Opacity Enforcement Mohajerani S, Ji YD, Lafortune S IEEE Transactions on Automatic Control, 65(8), 3349, 2020 |
| 2 |
Opacity Enforcement Using Nondeterministic Publicly Known Edit Functions Ji YD, Yin X, Lafortune S IEEE Transactions on Automatic Control, 64(10), 4369, 2019 |
| 3 |
A method of economical load dispatch for steam turbine unit of thermal power plant Ran JY, Yang L, Zhang L International Journal of Energy Research, 32(8), 752, 2008 |
| 4 |
New physical techniques for IC functional analysis of on-chip devices and interconnects Boit C Applied Surface Science, 252(1), 18, 2005 |