Results 1 to 10 of about 37,031 (136)
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
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 +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 +6 more sources
A Formal Model For Real-Time Parallel Computation [PDF]
Electronic Proceedings in Theoretical Computer Science, 2012 The imposition of real-time constraints on a parallel computing environment– specifically high-performance, cluster-computing systems– introduces a variety of challenges with respect to the formal verification of the system's timing properties.
Peter Hui, Satish Chikkagoudar
doaj +4 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
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 +2 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 ...
J Lygeros, K H Johansson, S S Sastry
exaly +4 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
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 +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