Model abstraction for finite state automata is helpful for decreasing computational complexity and improving comprehensibility for the verification and control synthesis of discrete-event systems (DES ...
The paper focuses on multi-stage production systems. If such a system is of the more general type than a production line and many products have to be manufactured according to different technological ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results
Feedback