An Operational Semantics for Hybrid Systems Involving Behavioral Abstraction
Related publications (47)
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.
The Cross Connected Intermediate Level (CCIL) Voltage Source Inverter Topology was first introduced in 2007 [1]. The idea behind this novel multilevel topology is to explore the area of reduced number of component topologies producing large number of volta ...
We will develop and implement new algorithms for constraint solving and apply them to construct two classes of tools: 1) bug finding and verification tools building on tools such as Java PathFinder and Jahob; 2) tools for deep semantic analysis of texts co ...
In this paper a floating body partially depleted SOI MOSFET used to measure light intensity using the transient charge pumping [1] is modeled through an equivalent electrical circuit. Essentially, photogenerated charges of the MOSFET are converted into a c ...
This paper presents a simulation study on the identifiability of multiple reentrant circuits on the basis of the vectorcardiogram. The methods involved include an advanced tracking of the basic frequencies of the dominant rotors and a supporting identifica ...
SEAM is an enterprise architecture method that defines a visual language for modeling. Our goal is to provide formal semantics for SEAM. Model simulation, model comparison, and refinement verification are practical benefits we expect from this formalizatio ...
Visual modeling languages have specialized diagrams to represent behavior and concepts. This diagram specialization has drawbacks like the dif-ficulty to represent the effects of actions. We claim that visual contracts can de-scribe actions in a more compl ...
In this paper a floating body partially depleted SOI MOSFET used to measure light intensity using the transient charge pumping [1] is modeled through an equivalent electrical circuit. Essentially, photogenerated charges of the MOSFET are converted into a c ...
The Object Constraint Language (OCL) has been for many years formalized both in its syntax and semantics in the language standard. While the official definition of OCL's syntax is already widely accepted and strictly supported by most OCL tools, there is n ...
Open multithreaded transactions constitute building blocks that allow a developer to design and structure the execution of complex distributed systems featuring cooperative and competitive concurrency in a reliable way. In this paper we describe an optimiz ...
Developing computer systems that are both concurrent and evolving is challenging. To guarantee consistent access to resources by concurrent software components, some synchronization is required. A synchronization logic, or policy, is at present entangled i ...