请输入您要查询的百科知识:

 

词条 Lazy linear hybrid automaton
释义

  1. External links

Lazy linear hybrid automata model the discrete time behavior of control systems containing finite-precision sensors and actuators interacting with their environment under bounded inertial delays. The model permits only linear flow constraints but the invariants and guards can be any computable function.

This computational model was proposed by Manindra Agrawal and P. S. Thiagarajan.{{citation needed|date=September 2017}} This model is more realistic and also computationally amenable than the currently popular modeling paradigm of linear hybrid automaton.{{citation needed|date=September 2017}}

External links

  • [https://web.archive.org/web/20060827000728/http://www.comp.nus.edu.sg/~thiagu/public_papers/hscc05.pdf] Formalization and theory behind the model
{{tech-stub}}

2 : Automata (computation)|Models of computation

随便看

 

开放百科全书收录14589846条英语、德语、日语等多语种百科知识,基本涵盖了大多数领域的百科知识,是一部内容自由、开放的电子版国际百科全书。

 

Copyright © 2023 OENC.NET All Rights Reserved
京ICP备2021023879号 更新时间:2024/11/17 23:06:01