On the Soundness of Behavioural Abstraction in Hybrid Systems
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.
Using a finite element (FE) model of the electrical machine in a grid solver enables us to take the machine nonlinearities into account with great precision in the simulation of a complete system. Three methods are usually used for linking the grid and FE ...
We present an efficient method to model the small-signal modulation response of a long-wavelength VCSEL chip using an equivalent electrical circuit. This circuit serves two distinct purposes. Based on T-Matrix formalism, it is used to remove the parasitics ...
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 ...
For the simulation of electrical power systems (adjustable speed drives, wind farms, complete grids, etc.) the Kirchhoff's model is used. Each of the components of this model (transmission line, circuit breaker, electrical machines, etc.) is represented by ...
An autonomous robot case study illustrates the use of the behavior, interaction, priority (BIP) component framework as a unifying semantic model to ensure correctness of essential system design properties. ...
Institute of Electrical and Electronics Engineers2011
Systems on Chip (SoCs) and Systems in Package (SiPs) are key parts of a continuously broadening range of products, from chip cards and mobile phones to cars. Besides an increasing amount of digital hardware and software for data processing and storage, the ...
In this thesis we address the problem of safe substitutability in mobile component-oriented formalisms. We try to give a solution for different definitions of "safe" through a new notion of subtyping based on flexibility and observation. The aim is to have ...
This paper presents the modeling, simulation and analysis of the dynamic behavior of a fictitious 2times320 MW variable speed pump-turbine power plant including hydraulic system, electrical equipments, rotating inertias and control systems using the softwa ...
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 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 ...