Key points are not available for this paper at this time.
Autômatos híbridos modelam sistemas com componentes digitais e analógicos, como programas de controle embarcados. Muitas tarefas de verificação para tais programas podem ser expressas como problemas de alcançabilidade para autômatos híbridos. Ao melhorar resultados anteriores de decidibilidade e indecidibilidade, identificamos a fronteira precisa entre decidibilidade e indecidibilidade do problema de alcançabilidade para autômatos híbridos.
Henzinger et al. (Sun,) estudaram esta questão.
Synapse has enriched 5 closely related papers on similar clinical questions. Consider them for comparative context: