Login / Signup
On the synthesis of liveness-enforcing supervisors for flexible manufacturing systems using global idle places.
Xiuyan Zhang
Murat Uzam
Zhiwu Li
Naiqi Wu
Published in:
IMA J. Math. Control. Inf. (2018)
Keyphrases
</>
flexible manufacturing systems
manufacturing systems
dynamic scheduling
real time control
global consistency
program synthesis
globally consistent
multi agent
real time
response time
texture synthesis
cooperative
wide range
decision making
genetic algorithm
neural network
data sets