Líný lineární hybridní automat - Lazy linear hybrid automaton

Líné lineární hybridní automaty vymodelovat diskrétní čas chování řídicí systémy obsahující senzory a akční členy konečné přesnosti interagující s jejich prostředím pod omezenými setrvačnými zpožděními. Model umožňuje pouze omezení lineárního toku, ale invarianty a stráže mohou být jakékoli vypočítatelná funkce.

Tento výpočetní model byl navržen uživatelem Manindra Agrawal a P. S. Thiagarajan.[Citace je zapotřebí ] Tento model je realističtější a výpočetně přístupnější než aktuálně populární paradigma modelování lineárního hybridní automat.[Citace je zapotřebí ]

externí odkazy

  • [1] Formalizace a teorie za modelem