Symbolic abstractions for the scheduling of event-triggered control systems.

Arman Sharifi Kolarijani Dieky Adzkiya Manuel Mazo Jr.

Published in: CDC (2015)

Keyphrases

control system
high level
event detection
scheduling problem
scheduling algorithm
round robin
flexible manufacturing systems
dynamic scheduling
databases
resource allocation
resource constraints
optimal solution
symbolic representation
manufacturing cell
scheduling strategy