검색결과 : 3건
| No. | Article |
|---|---|
| 1 |
Optimal Control of Markov Decision Processes With Linear Temporal Logic Constraints Ding XC, Smith SL, Belta C, Rus D IEEE Transactions on Automatic Control, 59(5), 1244, 2014 |
| 2 |
Supervisory control of discrete event systems with CTL* temporal logic specifications Jiang SB, Kumar R SIAM Journal on Control and Optimization, 44(6), 2079, 2006 |
| 3 |
Synthesis of safe operating procedure for multi-purpose batch processes using SMV Kim J, Moon I Computers & Chemical Engineering, 24(2-7), 385, 2000 |