검색결과 : 4건
| No. | Article |
|---|---|
| 1 |
Power Plant Technologies for Low-Enthalpy Geothermal Energy Rohloff K, Kather A Chemie Ingenieur Technik, 83(11), 1820, 2011 |
| 2 |
The verification and control of interacting similar discrete-event systems Rohloff K, Lafortune S SIAM Journal on Control and Optimization, 45(2), 634, 2006 |
| 3 |
The synthesis of safe control policies in decentralized control of discrete-event systems Rohloff K, Lafortune S IEEE Transactions on Automatic Control, 48(6), 1064, 2003 |
| 4 |
Deciding co-observability is PSIPACE-complete Rohloff K, Yoo TS, Lafortune S IEEE Transactions on Automatic Control, 48(11), 1995, 2003 |