This paper is concerned with the sliding mode control (SMC) design methodology for a class of uncertain switched hybrid systems with the unmeasurable states. A state observer is designed first, and then some conditions for the convergence of the estimated state error are obtained. By matrix transformation techniques, the solvability condition for the corresponding observer gain is established i...

The strong interaction between the discrete dynamic and the one continue is now seriously taken into account in the model. These models newborn so-called hybrid models describe at one time the two dynamics and are already used as well in control systems as in analysis. The methods and present tools of the dependability of systems are either of quantitative order or qualitative one. The avenue o...

In this paper we define and study the class of stopwatch automata which are timed automata augmented with stopwatches and unobservable behaviour. In particular, we investigate the expressive power of this class of automata, and show as a main result that any finite or infinite timed language accepted by a linear hybrid automaton is also acceptable by a stopwatch automaton. The consequences of t...

time series forecasting is an active research area that has drawn considerable attention for applications in a variety of areas. forecasting accuracy is one of the most important features of forecasting models. nowadays, despite the numerous time series forecasting models which have been proposed in several past decades, it is widely recognized that financial markets are extremely difficult to ...

This paper deals with the state estimation of linear time-invariant systems for which measurements of the output are available sporadically. To solve the considered problem, we provide an observer with jumps triggered by incoming measurements, which is studied in a hybrid systems framework. Specifically, the resulting system is written in estimation error coordinates and augmented with a timer ...

Clinical mastitis was analyzed with mixed linear models (LM) and survival analysis (SA) using data from the first 3 lactations of >200,000 Swedish Holstein cows having their first calving between 1995 and 2000. The model for both methods included fixed effects of year-month and age at calving, fixed regressions of proportions of heterosis and North American Holstein genes, and random effects of...

Plus BROWSE SEARCH IEEE XPLORE GUIDE View TOC | Previous Article | Next Article Analysis of one-dimensional linear hybrid cellular automa Cattell, K. Muzio, J.C. Dept. of Comput. Sci., Victoria Univ., BC; This paper appears in: Computers, IEEE Transactions on Publication Date: Jul 1996 Volume: 45, Issue: 7 On page(s): 782-792 ISSN: 0018-9340 References Cited: 22 CODEN: ITCOB4 INSPEC Accession N...

in this paper, we consider the construction of a new class ofnumerical methods based on the backward differentiation formulas(bdfs) that be equipped by including two off--step points. werepresent these methods from general linear methods (glms) pointof view which provides an easy process to improve their stabilityproperties and implementation in a variable stepsize mode. thesesuperiorities are ...