On the Soundness of Behavioural Abstraction in Hybrid Systems
Graph Chatbot
Chattez avec Graph Search
Posez n’importe quelle question sur les cours, conférences, exercices, recherches, actualités, etc. de l’EPFL ou essayez les exemples de questions ci-dessous.
AVERTISSEMENT : Le chatbot Graph n'est pas programmé pour fournir des réponses explicites ou catégoriques à vos questions. Il transforme plutôt vos questions en demandes API qui sont distribuées aux différents services informatiques officiellement administrés par l'EPFL. Son but est uniquement de collecter et de recommander des références pertinentes à des contenus que vous pouvez explorer pour vous aider à répondre à vos 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 ...
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
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 ...
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 ...
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 ...
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 ...