검색결과 : 5건
| No. | Article |
|---|---|
| 1 |
Feedback Refinement Relations for the Synthesis of Symbolic Controllers Reissig G, Weber A, Rungger M IEEE Transactions on Automatic Control, 62(4), 1781, 2017 |
| 2 |
Computing Abstractions of Nonlinear Systems Reissig G IEEE Transactions on Automatic Control, 56(11), 2583, 2011 |
| 3 |
Automatic verification of safety interlock systems for industrial processes Yang SH, Tan LS, He CH Journal of Loss Prevention in The Process Industries, 14(5), 379, 2001 |
| 4 |
Synthesis of safe operating procedure for multi-purpose batch processes using SMV Kim J, Moon I Computers & Chemical Engineering, 24(2-7), 385, 2000 |
| 5 |
회분공정의 안전성 평가를 위한 모델 검증 기법의 적용 이한용, 김진경, 문일 HWAHAK KONGHAK, 37(6), 870, 1999 |