, Geometrical methods in the theory of ordinary di#erential equations, Springer-Verlag, New York, 1983. MR 84d:58023 Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
Property-Based Validation of Component Systems - DSoS (2002) (Correct)
....annealing. Section 2.2 introduces the principles of heuristic search techniques, as well as previous work applying it for software testing. Section 2.3 defines the general principles of the proposed strategy. The example used to experiment with this strategy is the steam boiler case study [Abrial et al. 1996], described in Section 2.4. The target safety property is the non explosion of the boiler. Sections 2.5 and 2.6 present the results we obtain by using two successive implementations of simulated annealing. In each case, the performance of the search process is evaluated according to two criteria: ....
....of scenarios, are exemplified in the next three sections. The basic version of the simulated annealing algorithm (Section 2.2.2) is used first, guided by the recommendations in [Dowsland 1995] 2. 4 The Steam Boiler Case Study We have carried out a case study based on the steam boiler problem [Abrial et al. 1996] for which high level requirements, control program code, and a software simulator of physical devices, are publicly available [AtelierB] 2.4.1 The Steam Boiler Description The physical environment comprises the boiler, four pumps to provide the boiler with water, four pump controllers to sense ....
[Article contains additional citation context not shown here]
Formal Methods for Industrial Applications: Speciing and Programming the Steam Boiler Control, J-R. Abrial, E. B6rger and H. Langmaack (Eds.), Springer-Verlag, 1996.
Static Analysis of Real-Time Component-based Systems.. - Attanasio, Corradini, .. (1999) (Correct)
....the local speed of a component can affect the global performance of the system. 1 Introduction Heterogeneous and hybrid systems are built by assembling together different system components like hardware sensors, software controllers, etc. Besides the traditional field of control systems [12, 2, 19], the need of assembling together heterogeneous components is more and more frequent due to the widespread diffusion of information technology in any application field, from multimedia applications to telecommunication systems. These systems have often real time constraints requirements and each ....
....on the considered configuration. Note that most of these questions can be answered statically, that is by just looking at the matrix, once the unification process has been performed. This is a relevant difference with other approaches to the description of the Mine Pump case study, as reported in [2]. 6 Related Works The main aim of this work is concerned with the static analysis of behavioral aspects of systems obtained by assembling together components running at (possibly) different speed. This is the reason why we consider system activities as instantaneous events (by abstracting from ....
Formal Methods for Industrial Applications. Abrial,J-R., Borger,E., Landmaack,H. Eds., Springer Verlag (1996).
Yet Another Real-time Specification for the Steam.. - Attanasio.. (1999) (Correct)
....and unification is used to define the common clock. Then an operational semantics defines which transitions a process can perform and which transitions let time to elapse. 1 Introduction In this paper we apply a new real time modeling to the well known The Steam Boiler case study taken from [2]. The novelty of our approach is in explicitly representing the various system components, i.e. hardware sensors, software controllers, etc with separate local clocks. The aim of our framework is to be able to statically analyze the global system specification taking into account the relative ....
....speed. Section 5 presents conclusions and future works. 1.1 Related Works As far as related works are concerned, in a companion paper, 3] we have extensively motivated this approach in the emerging field of component programming. In fact, besides the traditional field of control systems [12, 2, 19], the need of assembling together heterogeneous components is more and more frequent due to the widespread diffusion of information technology in any application field, from multimedia applications to telecommunication systems. The system description language we consider implements several ideas ....
[Article contains additional citation context not shown here]
Formal Methods for Industrial Applications. Abrial,J-R., Borger,e., Landmaack,H. Eds., Springer Verlag (1996).
Optimized Constant Pressure Stochastic Dynamics - Kolb, Dünweg (1999) (Correct)
....Dynamics; Langevin Equation; Fokker Planck Equation I. INTRODUCTION Molecular Dynamics (MD) simulations [1 3] are a very efficient tool to study the statistical properties of thermodynamic systems, especially at high densities where the acceptance rates of standard Monte Carlo (MC) simulations [4] are small. They are also very well suited to study dynamical properties. MD simulations are most naturally performed within the microcanonical (NVE) ensemble, while the simple Metropolis MC algorithm leads to the canonical (NVT) ensemble. However, it is often desirable to study a system within a ....
Monte Carlo Methods in Statistical Physics, edited by K. Binder (Springer--Verlag, Berlin, 1979).
Renormalization Group Method. Applications To Partial.. - Moise, ZIANE (1998) (Correct)
....of number theory. This article is a continuation of an oncoming project which started with [40] 28] 29] In [40] the second author gives a rigorous framework of the RG method for systems of differential equations, establishing a connection of the RG method with the Poincar e Dulac theory ([2]) and explaining with the use of a Taylor expansion assumption that the RG method is a resummation technique as it was understood by Chen, Goldenfeld and Oono ( 19] One of the objectives of Ziane in [40] is to understand the relation between the RG method and the renormalization theory ....
, Geometrical methods in the theory of ordinary differential equations, Springer-Verlag, New YorkBerlin, 1988.
Role of Verification in the Software Specification Process - Zelkowitz (1998) (1 citation) Self-citation (Systems) (Correct)
No context found.
, Formal Methods for Trustworthy Computer Systems FM89, Springer Verlag.
To Do List - Chapter Siegel--Brjuno--Yoccoz Survey (Correct)
No context found.
, Geometrical methods in the theory of ordinary di#erential equations, Springer-Verlag, New York, 1983. MR 84d:58023
Static Analysis of Real-Time Component-based Systems.. - Attanasio, Corradini, .. (2000) (Correct)
No context found.
Formal Methods for Industrial Applications. J-R. Abrial, E. Borger, H. Landmaack, eds., Springer Verlag (1996).
The Integration of Workflow Systems and Collaboration.. - Guimarães.. (Correct)
No context found.
Criteria: Methods and Applications, Springer-Verlag, 1987.
Heterogeneous Notations for Pure Formal Method Integration - Paige (1998) (Correct)
No context found.
Formal Methods Europe `93, LNCS 670, Springer-Verlag, 1993.
Heterogeneous Notations for Pure Formal Method Integration - Paige (1998) (Correct)
No context found.
Methods Europe `97, LNCS 1313, Springer-Verlag, September 1997.
Heterogeneous Notations for Pure Formal Method Integration - Paige (1998) (Correct)
No context found.
Methods Europe `94, LNCS 873, Springer-Verlag, 1994.
Automating Test Case Generation from Z Specifications with .. - Helke, Neustupny, Santen (1997) (8 citations) (Correct)
No context found.
Formal Methods, LNCS 670. Springer Verlag, 1993.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC