Ленивый линейный гибридный автомат - Lazy linear hybrid automaton

Ленивые линейные гибридные автоматы моделировать дискретное время поведение Системы управления содержащие датчики конечной точности и исполнительные механизмы, взаимодействующие с окружающей средой с ограниченными инерционными задержками. Модель допускает только линейные ограничения потока, но инварианты и защитные элементы могут быть любыми. вычислимая функция.

Этот вычислительная модель был предложен Маниндра Агравал и П. С. Тиагараджан.[нужна цитата ] Эта модель более реалистична и удобна для вычислений, чем популярная в настоящее время парадигма линейного моделирования. гибридный автомат.[нужна цитата ]

внешняя ссылка

  • [1] Формализация и теория модели