The compositional specification of timed systems-a tutorial
Related publications (48)
Graph Chatbot
Chat with Graph Search
Ask any question about EPFL courses, lectures, exercises, research, news, etc. or try the example questions below.
DISCLAIMER: The Graph Chatbot is not programmed to provide explicit or categorical answers to your questions. Rather, it transforms your questions into API requests that are distributed across the various IT services officially administered by EPFL. Its purpose is solely to collect and recommend relevant references to content that you can explore to help you answer your questions.
We propose a new real-time load sharing policy (LSP), which optimally dispatches the incoming workload according to the current availability of the operators. Optimality means here that the global service permanently requires the engagement of a minimum nu ...
Air transport is a fast developing area. Airlines compete for a limited resource, namely airport capacity. The consequence is an increase in airport congestion, which generates huge delays that are enhanced due to delay propagation through the whole networ ...
2009
The paper studies a distributed implementation method for the BIP (Behavior, Interaction, Priority) component framework for modeling heterogeneous systems. BIP offers two powerful mechanisms for describing composition of components by combining interaction ...
2008
,
This report concerns a technical analysis of the greenhouse gas calculator developped by the International Road Federation (IRF). A specific analysis of the databases is performed. ...
2009
,
We present and evaluate a framework and tool for combining multiple program analyses which allows the dynamic (on-line) adjustment of the precision of each analysis depending on the accumulated results. For example, the explicit tracking of the values of a ...
The ongoing scaling and hybridisation of manufacturing technologies enables us to attain unprecedented levels performance as well as to integrate electronic and fluidic circuits with sensors and actuators. Smart micro/nano systems will be the building bloc ...
Airlines schedules are built such as to maximize expected profit. Such schedules turn out to be more sensitive to delay propagation and have lower on-time performance. Robust schedules are thus used instead. In this paper, we compare two different approach ...
Air transport is a fast developing area. Airlines compete for a limited resource, namely airport capacity. The consequence is an increase in airport congestion, which generates huge delays that are enhanced due to delay propagation through the whole networ ...
The extraction of information from measured data about the interactions taking place in a network of systems is a key topic in modern applied sciences. This topic has been traditionally addressed considering bivariate time series, providing methods that ar ...
This paper starts from the ISO distinction of three types of evaluation procedures – internal, external and in use – and proposes to match these types to the three types of human language technology (HLT) systems: analysis, generation, and interactive. The ...
