Auflistung nach:
Auflistung it - Information Technology 63(5-6) - Oktober 2021 nach Autor:in "Kröger, Paul"
1 - 2 von 2
Treffer pro Seite
Sortieroptionen
- ZeitschriftenartikelBayesian hybrid automata: Reconciling formal methods with metrology(it - Information Technology: Vol. 63, No. 4, 2021) Kröger, Paul; Fränzle, MartinHybrid 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.
- ZeitschriftenartikelSystem correctness under adverse conditions(it - Information Technology: Vol. 63, No. 4, 2021) Olderog, Ernst-Rüdiger; Fränzle, Martin; Theel, Oliver; Kröger, PaulThis special issue presents seven overview articles on research conducted in the Research Training Group “System Correctness under Adverse Conditions” (SCARE) at the University of Oldenburg.