We provide a framework to bound the probability that accumulated errors were never above a given threshold on hybrid systems. Such systems are used for example to model an aircraft or a nuclear power plant on one side and its software on the other side. This report contains a simple formula based on Lévy’s and Markov’s inequalities and it continues a formal theory of random variables with a spe...

In this paper we model a hybrid system consisting of a continuous steam boiler and a discrete controller. Our model uses the Lynch-Vaandrager Timed Automata model to show formally that certain safety requirements can be guaranteed under the described assumptions and failure model. We prove incrementally that a simple controller model and a controller model tolerating sensor faults preserve the ...

Article history: Received 4 June 2009 Received in revised form 6 April 2010 Accepted 31 May 2010 Available online 8 June 2010

In this contribution we present an approach to formulate and solve certain scheduling tasks for hybrid systems using timed discrete event control methods. To demonstrate our approach, we consider a cyclically operated plant with parallel reactors using common resources and a continuous output. For this class of systems, we show how to pose the control problem within a discrete event framework b...

We present a variant of the HMC algorithm with mass preconditioning (Hasenbusch acceleration) and multiple time scale integration. We have tested this variant for standard Wilson fermions at β = 5.6 and at pion masses ranging from 380MeV to 680MeV. We show that in this situation its performance is comparable to the recently proposed HMC variant with domain decomposition as preconditioner. We gi...

introduction : due to the importance of laser light penetration and propagation in biological tissues, many researchers have proposed several numerical methods such as monte carlo, finite element and green function methods. among them, the monte carlo method is an accurate method which can be applied for different tissues. however, because of its statistical nature, monte carlo simulation requi...

This paper discusses a framework for Cooperative Engineering (CE) and its prototype implementation. Cooperative Engineering concerns the application of Concurrent Engineering techniques to the design and development of products and of their manufacturing systems by a network of companies coming together exclusively for that purpose. CE is a common practice in many industries such as automotive,...

We present a generic co-simulation approach between discrete-event models, developed in the Event-B formal method, and continuous models, exported via the Functional Mock-up Interface for Co-simulation standard. The concept is implemented into a simulation extension for the Rodin platform, thus leveraging powerful capabilities of refinementbased modelling and deductive verification in Event-B w...

VORPAL, a fully object-oriented, dimension-free plasma simulation code, now has matured and is being used to study advanced accelerator concepts, particularly Laser Wake Field Acceleration. Both fluid and PIC models exist in the code and they can be used independently or in conjunction to perform hybrid simulations. VORPAL has a moving window and the ability to launch laser pulses from boundari...