Decentralized controller reconfiguration strategies for hybrid system dynamics based on product-intelligence

2015 ◽  
Author(s):  
Fabian Bertelsmeier ◽  
Ansgar Trachtler
Keyword(s):  
System Dynamics ◽  
Hybrid System

Bayesian hybrid automata: Reconciling formal methods with metrology

2021 ◽  
Vol 0 (0) ◽  
Author(s):  
Paul Kröger ◽  
Martin Fränzle
Keyword(s):  
System Dynamics ◽  
Hybrid Systems ◽  
Hybrid System ◽  
Formal Model ◽  
Continuous Control ◽  
Hybrid Automata ◽  
Physical Processes ◽  
Natural Domain ◽  
State Tracking ◽  
Smart Technologies

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.

Sign in / Sign up

Export Citation Format

Share Document