검색결과 : 2건
No. | Article |
---|---|
1 |
Compositional Supervisory Control via Reactive Synthesis and Automated Planning Ciolek DA, Braberman V, D'Ippolito N, Sardina S, Uchitel S IEEE Transactions on Automatic Control, 65(8), 3502, 2020 |
2 |
An automated GIS-based planning and design tool for district heating: Scenarios for a Dutch city Jebamalai JM, Marlein K, Laverge J, Vandevelde L, van den Broek M Energy, 183, 487, 2019 |