نتایج جستجو برای: using markov chainscellular automata hybrid model then

تعداد نتایج: 5330206  

Journal: :CoRR 2013
Ashraf M. Mohy Eldin Aliaa A. A. Youssif

This paper proposes a hybrid approach for cochannel speech segregation. HMM (hidden Markov model) is used to track the pitches of 2 talkers. The resulting pitch tracks are then enriched with the prominent pitch. The enriched tracks are correctly grouped using pitch continuity. Medium frame harmonics are used to extract the second pitch for frames with only one pitch deduced using the previous s...

2013
Hui-Ju Katherine Chiang François Fages Jie-Hong Roland Jiang Sylvain Soliman

Models of biochemical systems presented as a set of formal reaction rules with kinetic expressions can be interpreted with different semantics: as either deterministic Ordinary Differential Equations, stochastic continuous-time Markov Chains, Petri nets or Boolean transition systems. While the formal composition of reaction models can be syntactically defined as the (multiset) union of the reac...

2009
Haithem Derbel Nejib Ben Hadj-Alouane Moez Yeddes Hassane Alla

This paper investigates the diagnosability of Rectangular Hybrid Automata used for modeling a class of hybrid systems. First, a generalized definition of Limited-Time Lookahead diagnosability of timed languages, for multiple failure modes, is proposed. Then, we provide a systematic approach, for checking the LTLa diagnosability of systems modeled with Rectangular Hybrid Automata, and verifying ...

Journal: :CoRR 2014
Guozheng Li Zining Cao Zheng Gao

A hybrid system is a dynamical system with both discrete and continuous components. In order to study the modeling and verification aspects of hybrid system, in this paper we first introduce a specification approach combining interface automata, initialized multirate hybrid automata and Z language, which is named MZIA. Meanwhile we propose a refinement relation on MZIAs. Then we give an algorit...

Journal: :journal of computer and robotics 0
monireh haghighatjoo faculty of computer and information technology engineering, qazvin branch, islamic azad university, qazvin, iran behrooz masoumi faculty of computer and information technology engineering, qazvin branch, islamic azad university, qazvin, iran mohamad reza meybodi department of computer engineering and information technology, amirkabir university, tehran, iran

in electronic commerce markets, agents often should acquire multiple resources to fulfil a high-level task. in order to attain such resources they need to compete with each other. in multi-agent environments, in which competition is involved, negotiation would be an interaction between agents in order to reach an agreement on resource allocation and to be coordinated with each other. in recent ...

2011
Manuela L. Bujorianu

Stochastic hybrid systems represent established classes of realistic models of hybrid dynamics subject to random perturbations, autonomous uncontrollable transitions, nondeterminism or uncertainty. Stochastic reachability analysis is a key factor in the verification and deployment of stochastic hybrid systems. In this paper, we tackle the stochastic reachability problem from a purely probabilis...

2007
Katarzyna Bijak

This paper compares performance of a hidden Markov model (HMM) and a hybrid HMM/ANN model in seismic events modeling. Observation variables are assumed to follow a Poisson distribution. Parameters of the discrete-time two-state models are estimated on the basis of data on seismic events that were recorded in Poland from 1991 to 1995. Then, on the basis of the estimation results, the most likely...

2006
Michael W. Hofbaur Franz Wotawa

Modern artifacts are typically composed of many system components and exhibit a complex pattern of continuous/discrete behaviors. A concurrent hybrid automaton is a powerful modeling concept to capture such a system’s behavior in terms of hybrid automata for the individual system components and the concurrent composition of thereof. Because of the potentially large number of modes of the concur...

HPV vaccine has been recently added to the Iran Drug List, so decision makers need information beyond that available from RCTs to recommend funding for this vaccination. Modeling and economic studies have addressed some of those information needs. We reviewed cost effectiveness studies to find a suitable model for Iranian population to determine the potential cost effectiveness of HPV vaccine p...

Journal: :Journal of Computer and System Sciences 2023

Unambiguous automata are nondeterministic in which every word has at most one accepting run. In this paper we give a polynomial-time algorithm for model checking discrete-time Markov chains against ω-regular specifications represented as unambiguous automata. We furthermore show that the complexity of problem lies NC: subclass P comprising those problems solvable poly-logarithmic parallel time....

نمودار تعداد نتایج جستجو در هر سال

با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید