Ленивый линейный гибридный автомат
Ленивые линейные гибридные автоматы моделируют в дискретном времени поведение систем управления , содержащих датчики и исполнительные механизмы конечной точности, взаимодействующих с окружающей средой при ограниченных инерционных задержках. Модель допускает только линейные ограничения потока, но инвариантами и ограничителями могут быть любые вычислимые функции .
Эта вычислительная модель была предложена Маниндрой Агравалом и П.С. Тиагараджаном. [ нужна ссылка ] Эта модель более реалистична, а также вычислительно доступна, чем популярная в настоящее время парадигма моделирования линейного гибридного автомата . [ нужна ссылка ]
Внешние ссылки
[ редактировать ]- [1] Формализация и теория модели.
- Анализ достижимости исследования ленивых линейных гибридных автоматов
 | Эта статья, посвященная технологиям, незавершена . Вы можете помочь Википедии, расширив ее . |