Hybrid Automata Library: A flexible platform for hybrid modeling with real-time visualization. [PDF]
PLoS Computational Biology, 2020 The Hybrid Automata Library (HAL) is a Java Library developed for use in mathematical oncology modeling. It is made of simple, efficient, generic components that can be used to model complex spatial systems.
Rafael R Bravo +9 more
doaj +3 more sources
Modeling and Density Estimation of an Urban Freeway Network Based on Dynamic Graph Hybrid Automata [PDF]
Sensors, 2017 In this paper, in order to describe complex network systems, we firstly propose a general modeling framework by combining a dynamic graph with hybrid automata and thus name it Dynamic Graph Hybrid Automata (DGHA).
Yangzhou Chen, Yuqi Guo, Ying Wang
doaj +3 more sources
Higher-Dimensional Timed and Hybrid Automata [PDF]
Leibniz Transactions on Embedded Systems, 2022 We introduce a new formalism of higher-dimensional timed automata, based on Pratt and van Glabbeek’s higher-dimensional automata and Alur and Dill’s timed automata.
Fahrenberg, Uli
doaj +2 more sources
Continuity controlled hybrid automata
The Journal of Logic and Algebraic Programming, 2006 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
J A Bergstra, C A Middelburg
exaly +7 more sources
Dynamical properties of hybrid automata
IEEE Transactions on Automatic Control, 2003 Hybrid automata provide a language for modeling and analyzing digital and analogue computations in real-time systems. Hybrid automata are studied here from a dynamical systems perspective. Necessary and sufficient conditions for existence and uniqueness of solutions are derived and a class of hybrid automata whose solutions depend continuously on the ...
John Lygerōs +2 more
exaly +4 more sources
Cooperative planning for physically interacting heterogeneous robots [PDF]
Frontiers in Robotics and AIHeterogeneous multi-agent systems can be deployed to complete a variety of tasks, including some that are impossible using a single generic modality.
Michael A. Sebok, Herbert G. Tanner
doaj +2 more sources
Bayesian Hybrid Automata: A Formal Model of Justified Belief in Interacting Hybrid Systems Subject to Imprecise Observation [PDF]
Leibniz Transactions on Embedded Systems, 2022 Hybrid discrete-continuous system dynamics arises when discrete actions, e.g. by a decision algorithm, meet continuous behaviour, e.g. due to physical processes and continuous control.
Kröger, Paul, Fränzle, Martin
doaj +1 more source
A Game-Theoretic approach to Fault Diagnosis of Hybrid Systems [PDF]
Electronic Proceedings in Theoretical Computer Science, 2011 Physical systems can fail. For this reason the problem of identifying and reacting to faults has received a large attention in the control and computer science communities. In this paper we study the fault diagnosis problem for hybrid systems from a game-
Davide Bresolin, Marta Capiluppi
doaj +1 more source
Bisimulation Relations Between Automata, Stochastic Differential Equations and Petri Nets [PDF]
Electronic Proceedings in Theoretical Computer Science, 2010 Two formal stochastic models are said to be bisimilar if their solutions as a stochastic process are probabilistically equivalent. Bisimilarity between two stochastic model formalisms means that the strengths of one stochastic model formalism can be used
Mariken H.C. Everdij, Henk A.P. Blom
doaj +1 more source
Modelling and Analysis of the Lift System as a Hybrid System [PDF]
Acta Electrotechnica et Informatica, 2017 This paper deals with one of the challenges of cyber-physical systems, namely modelling them as hybrid systems. Specifically the paper aims to utilize hybrid systems framework onto the lift system which comes from the real laboratory lift.
Dominik VOŠČEK +2 more
doaj +1 more source