CHARDA: Causal Hybrid Automata Recovery via Dynamic Analysis [PDF]
International Joint Conference on Artificial Intelligence, 2017 We propose and evaluate a new technique for learning hybrid automata automatically by observing the runtime behavior of a dynamical system. Working from a sequence of continuous state values and predicates about the environment, CHARDA recovers the ...
Mateas, Michael +2 more
core +4 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
Representing Hybrid Automata by Action Language Modulo Theories [PDF]
, 2017 Both hybrid automata and action languages are formalisms for describing the evolution of dynamic systems. This paper establishes a formal relationship between them.
Lee, Joohyung +2 more
core +2 more sources
Modelling of a virtual power plant using hybrid automata
The Journal of Engineering, 2019 Virtual power plant (VPP) is a hybrid power system with a mesh of distributed resources, local loads and storage with both discrete and continuous variables involved. Control of such system requires advanced control schemes to make distributed assets act
Chaudhry Jibran Javaid +4 more
doaj +2 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
Hybrid Automata: An Algorithmic Approach Behavioral Hybrid Systems
Asia Pacific Journal of Energy and Environment, 2019 Hybrid automata strategies have advanced as a vital tool to design, check and direct the execution of hybrid systems. Any way they can – and we assume should – be utilized to communicate quantitative models about hybrid systems in different areas, for ...
Venkata Koteswara Rao Ballamudi
openalex +3 more sources
A Framework for Identification and Validation of Affine Hybrid Automata from Input-Output Traces
ACM Trans. Cyber Phys. Syst., 2022 Automata-based modeling of hybrid and cyber-physical systems (CPS) is an important formal abstraction amenable to algorithmic analysis of its dynamic behaviors, such as in verification, fault identification, and anomaly detection.
Xiaodong Yang +3 more
openalex +2 more sources
A Passive Online Technique for Learning Hybrid Automata from Input/Output Traces [PDF]
ACM Transactions on Embedded Computing Systems, 2021 Specification synthesis is the process of deriving a model from the input-output traces of a system. It is used extensively in test design, reverse engineering, and system identification.
Iman Saberi +2 more
semanticscholar +1 more source
Synthesis of hybrid automata with affine dynamics from time-series data [PDF]
International Conference on Hybrid Systems: Computation and Control, 2021 Formal design of embedded and cyber-physical systems relies on mathematical modeling. In this paper, we consider the model class of hybrid automata whose dynamics are defined by affine differential equations.
Miriam García Soto +2 more
semanticscholar +1 more source