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 Journal of the Operational Research Society, Vol. 64, No. 10 (OCTOBER 2013), pp. 1557-1569 (13 pages) The common difficulty in solving a Binary Linear Programming (BLP) problem is uncertainties in ...
Abstract: The k-means algorithm is one of the most popular clustering algorithms in the machine learning community. Its simplicity and scalability make it the primary choice for many clustering ...
ABSTRACT: The article is devoted to decision-making in the control and design of autonomous heat supply systems with tubular gas heaters. The results of mathematical modelling and optimization of ...