Bayesian hybrid automata: Reconciling formal methods with metrology
| dc.contributor.author | Kröger, Paul | |
| dc.contributor.author | Fränzle, Martin | |
| dc.date.accessioned | 2022-01-18T11:29:51Z | |
| dc.date.available | 2022-01-18T11:29:51Z | |
| dc.date.issued | 2021 | |
| dc.description.abstract | Hybrid 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. | en |
| dc.identifier.doi | 10.1515/itit-2021-0008 | |
| dc.identifier.pissn | 2196-7032 | |
| dc.identifier.uri | https://dl.gi.de/handle/20.500.12116/37954 | |
| dc.language.iso | en | |
| dc.publisher | De Gruyter | |
| dc.relation.ispartof | it - Information Technology: Vol. 63, No. 4 | |
| dc.subject | stochastic hybrid systems | |
| dc.subject | Bayesian inference | |
| dc.subject | formal models | |
| dc.subject | cyber-physical systems | |
| dc.title | Bayesian hybrid automata: Reconciling formal methods with metrology | en |
| dc.type | Text/Journal Article | |
| gi.citation.endPage | 275 | |
| gi.citation.publisherPlace | Berlin | |
| gi.citation.startPage | 265 |