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

Abstraction is a natural way to hierarchically decompse the analysis and design of hybrid systems. Given a hybrid control system and some desired properties, one extracts and abstracted system while preserving the properties of interest. Abstractions of purely discrete systems is a mature area, whereas abstractions of continuous systems is a recent activity. In this paper we present a framework...

in this paper, we introduce the new class of implicit l-stable generalized hybrid methods forthe numerical solution of first order initial value problems. we generalize the hybrid methodswith utilize ynv directly in the right hand side of classical hybrid methods. the numericalexperimentation showed that our method is considerably more efficient compared to wellknown methods used for the numer...

This book is organized into eight chapters. The first three gently introduce the basic principles of hybrid high-order methods on a linear diffusion problem, key ideas underlying mathematical analysis, and some useful variants method as well links to other from literature. following four present various challenging applications solid mechanics, including elasticity hyperelasticity, elastodynami...

Accurate location of the endpoints of an isolated word is important for reliable and robust word recognition. The endpoint detection problem is nontrivial for nonstationary backgrounds where artifacts (i.e., nonspeech events) may be introduced by the speaker, the recording environment, and the transmission system. Several techniques for the detection of the endpoints of isolated words recorded ...

Discrete-event simulation based optimization is the process of finding the optimum design of a stochastic system when the performance measure(s) could only be estimated via simulation. Randomness in simulation outputs often challenges the correct selection of the optimum. We propose an algorithm that merges Ranking and Selection procedures with a large class of random search methods for continu...

Since about two decades, formal methods for continuous and hybrid systems enjoy increasing interest in the research community. A wide range of analysis techniques were developed and implemented in powerful tools. However, the lack of appropriate benchmarks make the testing, evaluation and comparison of those tools difficult. To support these processes and to ease exchange and repeatability, we ...

Extended Real Time Logic (ERTL) is proposed for the modelling and analysis of hybrid systems, taking as a basis Real Time Logic (RTL). RTL is a rst order logic with uninterpreted predicates which relate events of a system to the time of their occurrence, thereby providing the means for reasoning about the absolute timing properties of real-time systems. The extensions provided by ERTL allow rea...

Hybrid and cyberphysical systems pose significant challenges for a formal development formalism based on pure discrete events. This paper compares the capabilities of (conventional) Event-B for modelling such systems with the corresponding capabilities of the Hybrid Event-B formalism, whose design was intended expressly for such systems. We do the comparison in the context of a simple water tan...