High Fidelity Simulation of Hybrid Systems using Higher Order Hybrid Automata

Autor:	Jin Woo Ro, Partha S. Roop, Avinash Malik
Rok vydání:	2022
Předmět:	Guard (information security) Computer simulation Computer science media_common.quotation_subject Ode Fidelity Modelica Theoretical Computer Science Automaton Computational Theory and Mathematics Hardware and Architecture Control theory Hybrid system Software media_common
Zdroj:	IEEE Transactions on Computers. 71:1668-1680
ISSN:	2326-3814 0018-9340
DOI:	10.1109/tc.2021.3100746
Popis:	Hybrid systems are a subset of Cyber-Physical Systems, where a physical process (the plant) is controlled by a discrete controller. The controller induces mode switches, which are modelled as guard conditions leading to sudden discontinuities. Correctly capturing sudden discontinuities during simulation is the primary challenge to maintain fidelity. De-facto industry-standard tools, such as Simulink and Modelica, have been known to produce incorrect outputs when simulating systems involving complicated guards. For example, transcendental guards leading to the well-known even number of level crossing detection problem or guards leading the system state into the complex plane have been shown to produce invalid results. To tackle this problem we propose Higher Order Hybrid Automata and its compositional execution semantics. Using these semantics a novel numerical simulation approach for hybrid systems is developed. The key idea is to approximate the guard and ODE with Taylor polynomials so as to accurately detect zero-crossings induced by the guards. Simulation results show that systems with transcendental guards can be simulated using our approach efficiently while maintaining high simulation fidelity.
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::16bdccbfbda51048e9b9a2009e7992fd https://doi.org/10.1109/tc.2021.3100746 Zobrazit plný text záznamu