Эта книга посвящена вопросам оценки надежности систем на основе вероятностных моделей, включая теорию графов, конечных автоматов и формальных языков. Рассматриваются как динамические, так и гибридные контексты моделирования. Представлены последние разработки в области вероятностной оценки надежности сложных систем с помощью стохастических методов. Авторы детально анализируют возможности применения различных формальных подходов для анализа отказоустойчивости и безопасности функционирования технических систем. Книга будет полезна специалистам в области теории надежности, занимающимся вопросами количественной оценки безотказности и ремонтопригодности сложных систем.
В книге содержится обзор новых направлений в оценке надежности систем с использованием вероятностных моделей, объединяющих теорию графов, конечные автоматы и теорию языков, применимых как к динамическим, так и к гибридным системам.
#зарубежная деловая литература
