Kröger, PaulFränzle, Martin2022-01-182022-01-182021https://dl.gi.de/handle/20.500.12116/37954Hybrid system dynamics arises when discrete actions meet continuous behaviour due to physical processes and continuous control. A natural domain of such systems are emerging smart technologies which add elements of intelligence, co-operation, and adaptivity to physical entities. Various flavours of hybrid automata have been suggested as a means to formally analyse dynamics of such systems. In this article, we present our current work on a revised formal model that is able to represent state tracking and estimation in hybrid systems and thereby enhancing precision of verification verdicts.enstochastic hybrid systemsBayesian inferenceformal modelscyber-physical systemsText/Journal Article10.1515/itit-2021-00082196-7032