Publications associées à A Theory Agenda for Component-Based Design

Publications associées (26)

Orthologic with Axioms

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 ...

Association for Computing Machinery2024

Interpolation and Quantifiers in Ortholattices

Viktor Kuncak, Simon Guilloud, Sankalp Gambhir

We study quantifiers and interpolation properties in orthologic, 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 pro ...

Springer International Publishing Ag2024

Interpolation and Quantifiers in Ortholattices

Viktor Kuncak, Simon Guilloud, Sankalp Gambhir

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 ...

2024

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

Johanna Kristin Maria Becker

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 ...

EPFL2024

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

Dimitrios Kyritsis, Jinzhi Lu, Xiaochen Zheng

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 ...

SPRINGER2022

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

Alexandre Schmid

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 ...

IEEE-INST ELECTRICAL ELECTRONICS ENGINEERS INC2022

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

Mohammad Khaja Nazeeruddin, Peng Gao, Michael Saliba, Peng Gao

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 ...

AMER CHEMICAL SOC2022

Configuration logics: Modeling architecture styles

Simon Bliudze, Joseph Sifakis, Anastasia Mavridou, Eduard Baranov

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 ...

Elsevier Science Inc2017

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

Jean-Louis Scartezzini

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 ...

ELSEVIER SCI LTD2021

Learning the Exciton Properties of Azo-dyes

Anne-Clémence Corminboeuf, Alberto Fabrizio, Sergio Vela Llausi, Ksenia Briling

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 ...

AMER CHEMICAL SOC2021

Algorithmic Verification of Component-based Systems

Qiang Wang

This dissertation discusses algorithmic verification techniques for concurrent component-based systems modeled in the Behavior-Interaction-Priority (BIP) framework with both bounded and unbounded concurrency. BIP is a component framework for mixed software ...

EPFL2017

Machine learning unifies the modeling of materials and molecules

Michele Ceriotti, Sandip De

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 ...

Amer Assoc Advancement Science2017

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

Jian Wang, Mingkui Wang, Olivier Schneider, Zhirui Xu, Yiming Li, Yi Zhang, Lei Zhang, Yi Wang, Aurelio Bay, Ho Ling Li, Guido Haefeli, Tatsuya Nakada, Christoph Frei, Mark Tobin, Frédéric Blanc, Maurizio Martinelli, Vladislav Balagura, Donal Patrick Hill, Liang Sun, François Fleuret, Mirco Dorigo, Liupan An, Renato Quagliani, Maxime Schubiger, Hang Yin, Aravindhan Venkateswaran, Elena Graverini, Michel De Cian, Vladimir Macko, Federico Leo Redi, Luis Miguel Garcia Martin, Sebastian Schulte, Tommaso Colombo, Vitalii Lisovskyi, Tara Nanut, Minh Tâm Tran, Violaine Bellée, Guillaume Max Pietrzyk, Pavol Stefko, Pietro Marino, Maria Vieites Diaz, Lino Ferreira Lopes, Matthieu Philippe Luther Marinangeli, Veronica Sølund Kirsebom, Maria Elena Stramaglia, Surapat Ek-In, Ana Bárbara Rodrigues Cavalcante, Guido Andreassi, Luca Pescatore, Preema Rennee Pais, Plamen Hristov Hopchev, Carina Trippl, Thi Dung Nguyen, Alison Maria Tully, Olivier Göran Girard, Mâu Chung Nguyên, Simone Meloni, Xiaoqing Zhou, Elisabeth Maria Niel, Alexandre Brea Rodriguez

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 ...

Springer Nature2020

Modelling Architecture Styles

Anastasia Mavridou

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 ...

EPFL2016

Logic-in-memory based on an atomically thin semiconductor

Aleksandra Radenovic, Andras Kis, Ahmet Avsar, Zhenyu Wang, Yanfei Zhao, Mukesh Kumar Tripathi, Guilherme Migliato Marega

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 ...

2020

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

Simon Bliudze, Joseph Sifakis, Anton Ivanov, Anastasia Mavridou

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 ...

Springer2016

A General Framework for Architecture Composability

Simon Bliudze, Joseph Sifakis, Eduard Baranov

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 ...

Springer Verlag2016

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

Wajeb Saab

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 ...

EPFL2019

User Guidance for Efficient Fact Checking

Quoc Viet Hung Nguyen, Thành Tâm Nguyên

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 ...

2019

Architecture Diagrams: A Graphical Language for Architecture Style Specification

Simon Bliudze, Joseph Sifakis, Anastasia Mavridou, Eduard Baranov

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 ...

Open Publ Assoc2016