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

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

2001
Martin Fränzle

Hybrid automata have been introduced in both control engineering and computer science as a formal model for the dynamics of hybrid discrete-continuous systems. While computability issues concerning safety properties have been extensively studied, liveness properties have remained largely uninvestigated. In this article, we investigate de-cidability of state recurrence and of progress properties...

Journal: :journal of optimization in industrial engineering 0
mehdi yazdani department of industrial engineering, faculty of industrial and mechanical engineering, islamic azad university, qazvin branch, qazvin, iran bahman naderi department of industrial engineering, faculty of engineering, kharazmi university, tehran, iran

although several papers have studied no-idle scheduling problems, they all focus on flow shops, assuming one processor at each working stage. but, companies commonly extend to hybrid flow shops by duplicating machines in parallel in stages. this paper considers the problem of scheduling no-idle hybrid flow shops. a mixed integer linear programming model is first developed to mathematically form...

Assessment of land use changes in the previous years and prediction of these changes in the following years is an essential tool for different planning and management of natural resources. Therefore, the aim of present study is modeling of land use changes in Mehran Plain using Markov- Cellular automata Model in 2028. In order to detect land use changes in the studied area, TM and ETM+ satellit...

پایان نامه :وزارت علوم، تحقیقات و فناوری - دانشگاه تربیت مدرس - دانشکده مهندسی 1387

abstract this paper discusses several commonly used models for strategic marketing¹ including market environmental analysis methods (i.e. swot and pest analysis) and strategic marketing tools and techniques (i.e. boston matrix and shell directional policy matrix)and shows how these models may help a firm to achieve its strategic goals. at first, the main reason for doing this research is de...

1996
Olivier F. Roux Vlad Rusu

We present some new decidability results on the veri cation of hybrid automata by symbolic analysis (abstract interpretation using polyhedra). The results include de ning a class of hybrid automata for which all properties expressed in the real-time temporal logic Tctl are decidable. The obtained class of automata is shown powerful enough to model reactive applications in which every task event...

2009
Paul Maier Martin Sachenbacher

Many of today’s embedded systems – such as automobiles, automated factories or chemical plants – are an increasingly complex mixture of hardware components and embedded control software, showing both continuous (vehicle dynamics, silo fill levels) and discrete (software) behavior. As complexity grows, handling such systems, e.g. diagnosing and repairing faults, becomes harder. This problem is a...

2001
Dirk Beyer

This paper gives a short overview of a model checking tool for Cottbus Timed Automata, which is a modular modeling language based on timed and hybrid automata. For timed automata, the current version of the tool provides BDD-based verification using an integer semantics. Reachability analysis as well as refinement checking is possible. To find good variable orderings it uses the component struc...

2005
Alberto Casagrande Venkatesh Mysore Carla Piazza Bud Mishra

In this paper we introduce and study a new class of hybrid automata, Independent Dynamics Hybrid Automata (IDA). IDA are an extension of decidable O-minimal automata in which also identity resets are allowed. We define the conditions under which reachability is decidable over IDA. These conditions involve the satisfiability of first-order formulæ that limit the interval of time we need to consi...

Journal: :journal of computer and robotics 0
peyman rasouli faculty of computer and information technology engineering, qazvin branch, islamic azad university, qazvin, iran mohammad reza meybodi department of computer engineering, amirkabir university of technology, tehran, iran

image segmentation is an important task in image processing and computer vision which attract many researchers attention. there are a couple of information sets pixels in an image: statistical and structural information which refer to the feature value of pixel data and local correlation of pixel data, respectively. markov random field (mrf) is a tool for modeling statistical and structural inf...

2006
D. A. van Beek K. L. Man

The hybrid Chi (χ) language is a formalism for modeling, simulation and verification of hybrid systems. One of the most widely known hybrid system formalisms is that of hybrid automata. The formal translation of χ to hybrid automata enables verification of χ specifications using existing hybrid automata based verification tools. In this paper, we describe the translation from χ to hybrid automa...

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

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