User-friendly system using temporal logic, numerical and probabilistic constraints for the complex sequencing of events over time intervals, its optimization and its modeling (also applicable to catastrophic events)

摘要

Among various approaches to intervals sequencing modeling and optimizations over time (traditionally numerical and logical optimization are separated fields), such as numerical optimization which advantages are to offer a quantified approach to problem solving almost without limits, but within range of specific applications, or optimization under logical constraints, we present here an original approach, which goal is to combine in a structured and easier to use way, logical and numerical constraints, into one original method, that will accumulate the benefits of both approaches to intervals sequencing problem solving, or even more, for the purpose of sequencing optimization over time, and modeling (including catastrophic events modeling). Our method also aims to support manager and systems choices in their respective search for problem solving of intervals optimization sequencing and is capable to combine an approach of numerical modeling and higher degree of expressiveness, making it easy to use.