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 ...
This is a preview. Log in through your library . Abstract This paper presents a mixed-integer goal programming model for expense budgeting in a hospital nursing department. The model incorporates ...
Results that may be inaccessible to you are currently showing.
Hide inaccessible results
Feedback