Design and Implementation of Runtime Verification Framework for Cyber-Physical Production Systems

<table class="table-group" id="tab2"><tr><td><table class="table"><tr><td class="thead-hr" colspan="2"><hr/></td></tr><tr class="thead"><td class="align_left">Option</td><td class="align_center">Production strategy for TR</td></tr><tr><td class="thead-hr" colspan="2"><hr/></td></tr><tr><td class="align_left">#1</td><td class="align_center">Transfer robot processes an earlier transfer request from all fixed production cells</td></tr><tr><td class="align_left">#2</td><td class="align_center">Transfer robot processes a request from nearest fixed production cell based on current working position (0∼3)</td></tr><tr class="table-tr"><td colspan="2"><hr class="tbody-hr"/></td></tr></table></td></tr></table>

Journal of Engineering

tab2

Table 2

Table 2: Design and Implementation of Runtime Verification Framework for Cyber-Physical Production Systems 