Parameterized Systems in BIP: Design and Model Checking

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 present invention relates to systems and methods for predicting a prognosis of the neuropsychological and/or neuropsychiatric status in a subject based on reports of Minor Hallucination (MH) events in combination with electrophysiological data of the s ...

The paper details the process of developing the ITER Plasma Control System (PCS), that is, how to design and deploy it systematically, in the most efficient and effective manner. The integrated nature of the ITER PCS, with its multitude of coupled control ...

Type systems are a device for verifying properties of programs without running them. Many programming languages used in the industry have always had a type system, while others were initially created without a type system and later adopted one, when the ad ...

Predicting the evolution of systems with spatio-temporal dynamics in response to external stimuli is essential for scientific progress. Traditional equations-based approaches leverage first principles through the numerical approximation of differential equ ...

We study the problem of learning unknown parameters in stochastic interacting particle systems with polynomial drift, interaction, and diffusion functions from the path of one single particle in the system. Our estimator is obtained by solving a linear sys ...

This thesis links two realms of particle accelerator dynamics and precision particle physics. The achievement of precise luminosity measurement at hadron colliders is enabled with dedicated luminometers. For the Run 3 period, the luminometer upgrade was ...

Operators from various industries have been pushing the adoption of wireless sensing nodes for industrial monitoring, and such efforts have produced sizeable condition monitoring datasets that can be used to build diagnosis algorithms capable of warning ma ...

The desire and ability to place AI-enabled applications on the edge has grown significantly in recent years. However, the compute-, area-, and power-constrained nature of edge devices are stressed by the needs of the AI-enabled applications, due to a gener ...

The rapid development of wearable biomedical systems now enables real-time monitoring of electroencephalography (EEG) signals. Acquisition of these signals relies on electrodes. These systems must meet the design challenge of selecting an optimal set of el ...

A vehicle's steering is a particular system in that it is exposed to individual subjective reviews based on criteria that are hard to assess quantitatively. Haptic design of such systems is a prime concern that has been at the center of industrial developm ...

While systems designers are increasingly turning to hardware accelerators for performance gains, realizing these gains is painstaking and error-prone. It can take several person-months to determine if a given accelerator is a good fit for a given piece of ...

Systems and methods for monitoring penile tumescence are provided that overcome the drawbacks of previously known systems by providing a wearable formed of a flexible and elastic tube having a plurality of sensors disposed on or embedded within it, the wea ...

We study socio-political systems in representative democracies. Motivated by problems that affect the proper functioning of the system, we build computational methods to answer research questions regarding the phenomena occurring in them. For each phenomen ...

The opportunities provided by adopting digitally-generated visual tools in urban participatory planning are compelling. These visual tools can promote interactions between authorities and citizens and among citizens. However, the urban participatory practi ...

While software applications, programming languages, and hardware have changed, operating systems have not. Widely-used commodity operating systems are still modeled after the ones designed in the seventies. The accumulated burden of backward compatibility ...

Physics-informed machine learning (PIML) is a set of methods and tools that systematically integrate machine learning (ML) algorithms with physical constraints and abstract mathematical models developed in scientific and engineering domains. As opposed to ...

Interacting particle systems play a key role in science and engineering. Access to the governing particle interaction law is fundamental for a complete understanding of such systems. However, the inherent system complexity keeps the particle interaction hi ...

One major challenge in distributed learning is to efficiently learn for each client when the data across clients is heterogeneous or non iid (not independent or identically distributed). This provides a significant challenge as the data of the other client ...

Imaging diagnostics in Joint European Torus have become essential in the study of plasma wall interactions and the protection of the plasma facing components. During deuterium operations, the location of these diagnostics was at close proximity to the vess ...

The presence of conversational agents (or chatbots) in educational contexts has been steadily increasing over the past few years. Recent surveys have shown widespread interest in the use of chatbots in education, both for research and practice. Although th ...

Parameterized Systems in BIP: Design and Model Checking

Chat with Graph Search

System for predicting a prognosis of the neuropsychological and/or neuropsychiatric status in a subject

Strategy to systematically design and deploy the ITER plasma control system: A system engineering and model-based design approach

Formal Foundations of Capture Tracking

Learning the intrinsic dynamics of spatio-temporal processes through Latent Dynamics Networks

A Method of Moments Estimator for Interacting Particle Systems and their Mean Field Limit

Precision luminosity measurement at hadron colliders

Federated learning with uncertainty-based client clustering for fleet-wide fault diagnosis

Exploring High-Performance and Energy-Efficient Architectures for Edge AI-Enabled Applications

FETCH: A Fast and Efficient Technique for Channel Selection in EEG Wearable Systems

Haptics based collaborative steering control in automated driving environments

The Case for Performance Interfaces for Hardware Accelerators

Tumescense monitoring system for diagnosing erectile dysfunction and methods of use

How Words Move Hearts: Interpretable Machine Learning Models of Bias, Engagement, and Influence in Socio-Political Systems

Media Coverage of 3D Visual Tools Used in Urban Participatory Planning

Dynamic Linkers Are the Narrow Waist of Operating Systems

Physics-Informed Machine Learning for Modeling and Control of Dynamical Systems

Learning Physics-Consistent Particle Interactions

Personalized Privacy-Preserving Distributed Learning on Heterogeneous Data

Remote wide angle view broad wavelength viewing system compatible with D-T operations in JET

A Conceptual Framework for Integrating Conversational Agents in Digital Education