Dynamic Scheduling of Shuttle Robots in the Warehouse of a Polymer Plant Based on Dynamically Configured Timed Automata Models

2014 ◽  
Vol 53 (44) ◽  
pp. 17135-17154 ◽  
Author(s):  
Christian Schoppmeyer ◽  
Subanatarajan Subbiah ◽  
Josè Manuel De La Fuente Valdès ◽  
Sebastian Engell
Keyword(s):  
Dynamic Scheduling ◽  
Timed Automata ◽  
Polymer Plant

Dynamic Scheduling of Post-Earthquake Emergency Material Based on the Baseline Perspective

CICTP 2020 ◽  
2020 ◽  
Author(s):  
Ziqi Tang ◽  
Hui Hu ◽  
Guangyuan Yang ◽  
Rundong Wu
Keyword(s):  
Dynamic Scheduling

Modeling and Verifying Services of Internet of Things Based on Timed Automata

2011 ◽  
Vol 34 (8) ◽  
pp. 1365-1377 ◽  
Author(s):  
Li-Xing LI ◽  
Zhi JIN ◽  
Ge LI
Keyword(s):  
Internet Of Things ◽  
Timed Automata

Two Improved EDF Dynamic Scheduling Algorithms in Soft Real-Time Systems

2011 ◽  
Vol 34 (5) ◽  
pp. 943-950 ◽  
Author(s):  
Qi LI ◽  
Wei BA
Keyword(s):  
Real Time ◽  
Dynamic Scheduling ◽  
Scheduling Algorithms ◽  
Real Time Systems ◽  
Time Systems

Dual priority dynamic scheduling algorithm based on multi-FPGA

2013 ◽  
Vol 33 (3) ◽  
pp. 862-865
Author(s):  
Shuangzhi DU ◽  
Yong WANG ◽  
Xiaoling TAO
Keyword(s):  
Dynamic Scheduling ◽  
Scheduling Algorithm

scholarly journals A Real-Time, Automatic, and Dynamic Scheduling and Control System for PET Patients Based on Wearable Sensors

Sensors ◽  
2021 ◽  
Vol 21 (4) ◽  
pp. 1104
Author(s):  
Shin-Yan Chiou ◽  
Kun-Ju Lin ◽  
Ya-Xin Dong
Keyword(s):  
Control System ◽  
Real Time ◽  
Human Error ◽  
Dynamic Scheduling ◽  
Wearable Sensors ◽  
Time Data ◽  
Scan Time ◽  
Number Of Patients ◽  
And Control ◽  
Automatic Scheduling

Positron emission tomography (PET) is one of the commonly used scanning techniques. Medical staff manually calculate the estimated scan time for each PET device. However, the number of PET scanning devices is small, the number of patients is large, and there are many changes including rescanning requirements, which makes it very error-prone, puts pressure on staff, and causes trouble for patients and their families. Although previous studies proposed algorithms for specific inspections, there is currently no research on improving the PET process. This paper proposes a real-time automatic scheduling and control system for PET patients with wearable sensors. The system can automatically schedule, estimate and instantly update the time of various tasks, and automatically allocate beds and announce schedule information in real time. We implemented this system, collected time data of 200 actual patients, and put these data into the implementation program for simulation and comparison. The average time difference between manual and automatic scheduling was 7.32 min, and it could reduce the average examination time of 82% of patients by 6.14 ± 4.61 min. This convinces us the system is correct and can improve time efficiency, while avoiding human error and staff pressure, and avoiding trouble for patients and their families.

scholarly journals Priced Timed Automata Models for Control of Intelligent Product Agents in Manufacturing Systems

2020 ◽  
Vol 53 (4) ◽  
pp. 136-142
Author(s):  
Ilya Kovalenko ◽  
Dawn Tilbury ◽  
Kira Barton
Keyword(s):  
Manufacturing Systems ◽  
Timed Automata ◽  
Intelligent Product
Sign in / Sign up

Export Citation Format

Share Document