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 ...

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...

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...

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...

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...

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...

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...

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...

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...

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...