Results 11 to 20 of about 2,669 (298)
Cryptographic Algorithm Based on Hybrid One-Dimensional Cellular Automata
Mathematics, 2023 The theory and application of cellular automata (CA) for a stream cipher-based encryption principle are presented in this study. Certain fundamental transformations are developed based on CA theory regarding decentralized computation for modeling ...
George Cosmin Stănică +1 more
doaj +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
Hybrid Automata as Coalgebras [PDF]
International Colloquium on Theoretical Aspects of Computing, 2016 Able to simultaneously encode discrete transitions and continuous behaviour, hybrid automata are the de facto framework for the formal specification and analysis of hybrid systems. The current paper revisits hybrid automata from a coalgebraic point of view.
Renato Neves, Luís Soares Barbosa
openaire +3 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
Applied Sciences, 2023 Cyber–physical systems use digital twins to provide advanced monitoring and control functions, including self-diagnosis. The digital twin is often conceptualized as a 3D model, but mathematical models implemented in numerical simulations are required to ...
Alejandro Velazquez +3 more
doaj +1 more source
Towards Cancer Hybrid Automata [PDF]
Electronic Proceedings in Theoretical Computer Science, 2012 This paper introduces Cancer Hybrid Automata (CHAs), a formalism to model the progression of cancers through discrete phenotypes. The classification of cancer progression using discrete states like stages and hallmarks has become common in the biology ...
Loes Olde Loohuis +2 more
doaj +1 more source
Denotational Semantics of Hybrid Automata [PDF]
The Journal of Logic and Algebraic Programming, 2006 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Abbas Edalat, Dirk Pattinson
openaire +2 more sources
Approximated Symbolic Computations over Hybrid Automata [PDF]
Electronic Proceedings in Theoretical Computer Science, 2013 Hybrid automata are a natural framework for modeling and analyzing systems which exhibit a mixed discrete continuous behaviour. However, the standard operational semantics defined over such models implicitly assume perfect knowledge of the real systems ...
Alberto Casagrande +2 more
doaj +1 more source
Improving HyLTL model checking of hybrid systems [PDF]
Electronic Proceedings in Theoretical Computer Science, 2013 The problem of model-checking hybrid systems is a long-time challenge in the scientific community. Most of the existing approaches and tools are either limited on the properties that they can verify, or restricted to simplified classes of systems.
Davide Bresolin
doaj +1 more source