A Theory Agenda for Component-Based Design

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 study the proof theory and algorithms for orthologic, a logical system based on ortholattices, which have shown practical relevance in simplification and normalization of verification conditions. Ortholattices weaken Boolean algebras while having polyno ...

We study quantifiers and interpolation properties in ortho- logic, a non-distributive weakening of classical logic that is sound for formula validity with respect to classical logic, yet has a quadratic-time decision procedure. We present a sequent-based p ...

Modern power distribution systems are experiencing a large-scale integration of Converter-Interfaced Distributed Energy Resources (CIDERs). Their presence complicates the analysis and mitigation of harmonics, whose creation and propagation may be amplified ...

During the design phase of an aircraft manufacturing system, different industrial scenarios need to be evaluated according to key performance indicators to achieve the optimal system performance. It is a highly complex process involving multidisciplinary s ...

Unstructured neural network pruning algorithms have achieved impressive compression ratios. However, the resulting-typically irregular-sparse matrices hamper efficient hardware implementations, leading to additional memory usage and complex control logic t ...

Spiro-type molecules have been extensively explored as hole-transporting materials (HTMs) in perovskite solar cells (PSCs). However, a closer look at the rule of design of such molecules is missing, and a combined experimental and theoretical study is need ...

We study a framework for the specification of architecture styles as families of architectures involving a common set of types of components and coordination mechanisms. The framework combines two logics: 1) interaction logics for the specification of arch ...

Distributed energy systems play a significant role in the integration of renewable energy technologies. The Energy Internet links a fleet of distributed energy systems to each other and with the grid. Interactions between the distributed energy systems via ...

The ab initio determination of electronic excited state (ES) properties is the cornerstone of theoretical photochemistry. Yet, traditional ES methods become impractical when applied to fairly large molecules, or when used on thousands of systems. Machine l ...

Determining the stability ofmolecules and condensed phases is the cornerstone of atomisticmodeling, underpinning our understanding of chemical andmaterials properties and transformations. We show that amachine-learningmodel, based on a local description of ...

The decay-time-dependent CP asymmetry in B-0 -> (DD -/+)-D-*+/- decays is mea- sured using a data set corresponding to an integrated luminosity of 9 fb(-1) recorded by the LHCb detector in proton-proton collisions at centre-of-mass energies of 7, 8 and 13 ...

The growing importance of applications based on machine learning is driving the need to develop dedicated, energy-efficient electronic hardware. Compared with von Neumann architectures, which have separate processing and storage units, brain-inspired in-me ...

Software systems tend to increase over time in size and complexity. Their development usually spans a long period of time and often results in systems that are hard to understand, debug and maintain. Architectures are common means for organising coordinati ...

In this case study, we apply the architecture-based design approach to the control software of the CubETH satellite. Architectures are a means for ensuring global coordination properties and thus, achieving correctness of complex systems by construction. T ...

Real-time control of electric grids is a novel approach to handling the increasing penetration of distributed and volatile energy generation brought about by renewables. Such control occurs in cyber-physical systems (CPSs), in which software agents maintai ...

Architectures depict design principles: paradigms that can be understood by all, allow thinking on a higher plane and avoiding low-level mistakes. They provide means for ensuring correctness by construction by enforcing global properties characterizing the ...

The Web constitutes a valuable source of information. In recent years, it fostered the construction of large-scale knowledge bases, such as Freebase, YAGO, and DBpedia. The open nature of the Web, with content potentially being generated by everyone, howev ...

Architecture styles characterise families of architectures sharing common characteristics. We have recently proposed configuration logics for architecture style specification. In this paper, we study a graphical notation to enhance readability and easiness ...

This thesis develops optimization-based techniques for the control of distributed energy resources to provide multiple services to the power network. It is divided into three parts. The first part of this thesis focuses on the development of a framework f ...

A Theory Agenda for Component-Based Design

Chat with Graph Search

Orthologic with Axioms

Interpolation and Quantifiers in Ortholattices

Unified Harmonic Power-Flow and Stability Analysis of Power Grids with Converter-Interfaced Distributed Energy Resources

A semantic-driven tradespace framework to accelerate aircraft manufacturing system design

Dynamic Probabilistic Pruning: A General Framework for Hardware-Constrained Pruning at Different Granularities

Molecular Electronic Study of Spiro-[cyclopenta[1,2-b:5,4-b ']dithiophene-4,9 '-fluorene] Derivatives: Route to Decent Hole-Transporting Materials

Configuration logics: Modeling architecture styles

Towards realization of an Energy Internet: Designing distributed energy systems using game-theoretic approach

Learning the Exciton Properties of Azo-dyes

Machine learning unifies the modeling of materials and molecules

Measurement of CP violation in B-0 -> (DD -/+)-D-*+/- decays

Logic-in-memory based on an atomically thin semiconductor

Modelling Architecture Styles

Architecture-based Design: A Satellite On-board Software Case Study

Reliable and Robust Cyber-Physical Systems for Real-Time Control of Electric Grids

A General Framework for Architecture Composability

User Guidance for Efficient Fact Checking

Architecture Diagrams: A Graphical Language for Architecture Style Specification

User Guidance for Efficient Fact Checking

Model-based predictive control methods for distributed energy resources in smart grids