Checking Scheduling-Induced Violations of Control Safety Properties.

Anand Yeolekar Ravindra Metta Clara Hobbs Samarjit Chakraborty

Published in: ATVA (2022)

Keyphrases

flexible manufacturing systems
control system
scheduling problem
scheduling algorithm
control method
round robin
control strategy
flow control
resource allocation
resource constraints
adaptive control
control problems
real time control
batch processing