Bayesian hybrid automata: Reconciling formal methods with metrology-Reference-Cited by-同舟云学术

Bayesian hybrid automata: Reconciling formal methods with metrology

Published:2021-10-13 Issue:0 Volume:0 Page:
ISSN:2196-7032
Container-title:it - Information Technology
language:en
Short-container-title:

Author:

Kröger Paul¹,Fränzle Martin¹

Affiliation:

1. 11233 Carl von Ossietzky Universität Oldenburg , Department of Computing Science , Oldenburg , Germany

Abstract

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.

Publisher

Walter de Gruyter GmbH

Subject

General Computer Science

Link

https://www.degruyter.com/document/doi/10.1515/itit-2021-0008/pdf

Reference22 articles.

1. R. Alur, C. Courcoubetis, T. A. Henzinger, and P.-H. Ho. Hybrid automata: An algorithmic approach to the specification and verification of hybrid systems. In Hybrid Systems, volume 736 of LNCS, pages 209–229. Springer Berlin Heidelberg, 1993.

2. K. Berntorp and S. Di Cairano. Particle filtering for automotive: A survey. In 22th International Conference on Information Fusion, pages 1–8, July 2019.

3. C. Combastel. Merging kalman filtering and zonotopic state bounding for robust fault detection under noisy environment. IFAC-PapersOnLine, 48(21):289–295, 2015. SAFEPROCESS 2015.

4. C. Coué, C. Pradalier, C. Laugier, T. Fraichard, and P. Bessiere. Bayesian Occupancy Filtering for Multitarget Tracking: an Automotive Application. International Journal of Robotics Research, 25(1):19–30, Jan. 2006.

5. A. Donzé and O. Maler. Robust satisfaction of temporal logic over real-valued signals. In Formal Modeling and Analysis of Timed Systems, pages 92–106. Springer Berlin Heidelberg, Berlin, Heidelberg, 2010.