共 50 条
- [1] Simple blocking prevention for bay type path-based automated material handling systems [J]. INTERNATIONAL JOURNAL OF ADVANCED MANUFACTURING TECHNOLOGY, 2009, 44 (7-8): : 809 - 816
- [2] DECENTRALIZED DISPATCHING FOR BLOCKING AVOIDANCE IN AUTOMATED MATERIAL HANDLING SYSTEMS [J]. 2016 WINTER SIMULATION CONFERENCE (WSC), 2016, : 2580 - 2586
- [3] REDUCING SIMULATION MODEL COMPLEXITY BY USING AN ADJUSTABLE BASE MODEL FOR PATH-BASED AUTOMATED MATERIAL HANDLING SYSTEMS - A CASE STUDY IN THE SEMICONDUCTOR INDUSTRY [J]. 2015 WINTER SIMULATION CONFERENCE (WSC), 2015, : 2896 - 2907
- [4] Automated Test Generation on Path-based Symbolic Execution [J]. 2014 5TH IEEE INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING AND SERVICE SCIENCE (ICSESS), 2014, : 845 - 848
- [5] Automated debugging using path-based weakest preconditions [J]. FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING, PROCEEDINGS, 2004, 2984 : 267 - 280
- [6] A New Bounding Technique for Handling Arbitrary Correlations in Path-Based SSTA [J]. INTEGRATED CIRCUIT AND SYSTEMS DESIGN: POWER AND TIMING MODELING, OPTIMIZATION AND SIMULATION, 2009, 5349 : 167 - 177
- [9] Matrix-based discrete event control of automated material handling systems [J]. PROCEEDINGS OF THE 45TH IEEE CONFERENCE ON DECISION AND CONTROL, VOLS 1-14, 2006, : 6074 - +
- [10] Petri Net-based Control of the Material Handling Flow Path for Automated Guided Vehicles [J]. 2009 IEEE INTERNATIONAL CONFERENCE ON MECHATRONICS AND AUTOMATION, VOLS 1-7, CONFERENCE PROCEEDINGS, 2009, : 1677 - 1682