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

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

2013
Youcheng Sun Giuseppe Lipari Romain Soulat Laurent Fribourg Nicolas Markey

Formal methods (e.g. Timed Automata or Linear Hybrid Automata) can be used to analyse a real-time system by performing a reachability analysis on the model. The advantage of using formal methods is that they are more expressive than classical analytic models used in schedulability analysis. For example, it is possible to express state-dependent behaviour, arbitrary activation patterns, etc. In ...

Journal: Desert 2006
N. Yusefi S. Hajjam

Meteorological stations usually contain some missing data for different reasons.There are several traditional methods for completing data, among them bivariate and multivariate linear and non-linear correlation analysis, double mass curve, ratio and difference methods, moving average and probability density functions are commonly used. In this paper a blended model comprising the bivariate expo...

2011
Valli Kumari V.V.R.Maheswara Rao

With the continued growth and proliferation of Web services and Web based information systems, the volumes of user data have reached astronomical proportions. Analyzing such data using Web Usage Mining can help to determine the visiting interests or needs of the web user. As web log is incremental in nature, it becomes a crucial issue to predict exactly the ways how users browse websites. It is...

2007
MENG ZHANG SHENGBING ZHANG DEYUAN GAO JING WANG

Since the ability to describe dynamic in high level, Petri Nets has already been used extensively in logic circuits and systems community for state analysis. As others formal methods, extending Petri Nets to analog circuits analysis requires continuous feature enhanced. In this paper, the object of study is dynamic of circuits with random nonlinear feature (such as random noise and random inter...

1998
Claire J. Tomlin John Lygeros S. Shankar Sastry

Motivated by an example from aircraft connict resolution we seek a methodology for synthesizing controllers for nonlinear hybrid automata. We rst show how game theoretic methodologies developed for this purpose for nite automata and continuous systems can be cast in a uniied framework. We then present a conceptual algorithm for extending them to the hybrid setting. We conclude with a discussion...

Journal: :global journal of environmental science and management 0
a. azizi department of environmental planning and management, graduate faculty of environment, university of tehran, tehran, iran b. malakmohamadi department of environmental planning and management, graduate faculty of environment, university of tehran, tehran, iran h.r. jafari department of environmental planning and management, graduate faculty of environment, university of tehran, tehran, iran

analyzing the process of land use and cover changes during long periods of time and predicting the future changes is highly important and useful for the land use managers. in this study, the land use maps in the ardabil plain in north-west part of iran for four periods (1989, 1998, 2009 and 2013) are extracted and analyzed through remote sensing technique, using the land-sat satellite images. t...

2010
Luca Bortolussi Vashti Galpin Jane Hillston

The process algebra HYPE was recently proposed as a fine-grained modelling approach for capturing the behaviour of hybrid systems. In the original proposal, each flow or influence affecting a variable is modelled separately and the overall behaviour of the system then emerges as the composition of these flows. The discrete behaviour of the system is captured by instantaneous actions which might...

2005
Markus P. J. Fromherz Lara S. Crawford Haitham A. Hindi

Operational semantics of hybrid systems p. 25 SOS methods for semi-algebraic games and optimization p. 54 The discrete time behavior of lazy linear hybrid automata p. 55 Perturbed timed automata p. 70 A homology theory for hybrid systems : hybrid homology p. 86 Observability of switched linear systems in continuous time p. 103 Controller synthesis on non-uniform and uncertain discrete-time doma...

1996
Martin Buss Günther Schmidt

for Multiple Robotic Mechanisms Martin Buss G unther Schmidt Department of Automatic Control Engineering Technical University of Munich D-80290 M unchen, Germany E-mail: martin/[email protected] This paper is published in the Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems IROS, pp. 140-147, Osaka, Japan, 1996. Abstract In this paper we pro...

2008
Luca Bortolussi Alberto Policriti

Hybrid Systems are dynamical systems presenting both discrete and continuous evolution. Hybrid Automata are a formal model for hybrid systems, originally proposed to study embedded systems, where a discrete control acts on a continuously changing environment. The presence of both discrete and continuous dynamics makes this formalism appealing also for modeling biological systems. However, the s...

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

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