Results 1 to 10 of about 1,755,572 (349)
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 +6 more sources
Cryptographic Algorithm Based on Hybrid One-Dimensional Cellular Automata [PDF]
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 +3 more sources
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
Weak Singular Hybrid Automata [PDF]
, 2014 The framework of Hybrid automata, introduced by Alur, Courcourbetis, Henzinger, and Ho, provides a formal modeling and analysis environment to analyze the interaction between the discrete and the continuous parts of cyber-physical systems.
A.P. Sistla +9 more
core +4 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 +8 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
What's Decidable about Hybrid Automata? [PDF]
Journal of Computer and System Sciences, 1998 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Thomas A. Henzinger +3 more
semanticscholar +3 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
semanticscholar +5 more sources
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 +6 more sources
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 +6 more sources