느린 선형 하이브리드 오토마톤
Lazy linear hybrid automaton느린 선형 하이브리드 오토마타는 제한된 관성 지연 하에서 환경과 상호작용하는 유한 정밀 센서와 액추에이터를 포함하는 제어 시스템의 이산 시간 거동을 모델링한다.이 모형은 선형 흐름 제약 조건만 허용하지만, 불변량과 가드는 계산 가능한 함수일 수 있습니다.
이 계산 모델은 마닌드라 아그라왈과 P. S. 티아가라잔에 [citation needed]의해 제안되었다.이 모델은 현재 인기 있는 선형 하이브리드 오토마톤 [citation needed]모델링 패러다임보다 더 현실적이고 계산적으로도 손색이 없습니다.
외부 링크
- [1] 모델의 공식화 및 이론
- Lazy Linear Hybrid Automata 연구의 도달 가능성 분석
