A Verification Toolkit for Numerical Transition Systems

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

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

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

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

Code generation is an effective way to drive the complex system development in model-based systems engineering. Currently, different code generators are developed for different modeling languages to deal with the development of systems with multi-domain. T ...

Model-based systems engineering (MBSE) is considered an important approach for understanding multidomain fields and is widely used in complex systems such as aerospace. In this article, a detailed survey of MBSE literature was conducted from its commenceme ...

Formal verification of real-world software systems remains challenging for a number of reasons, including lack of automation, friction in specifying properties, and limited support for the diverse programming paradigms used in industry. In this thesis we m ...

Car-sharing systems are an attractive alternative to private vehicles due to their benefits in terms of mobility and sustainability. However, the distribution of vehicles throughout the network in one-way systems is disturbed due to asymmetry and stochasti ...

The invention relates to methods and systems for determining the intention of a subject to perform a voluntary action based on the analysis of the subject's respiratory phases and neuroelectrical signals. ...

In several domains of physics, including first principle simulations and classical models for polarizable systems, the minimization of an energy function with respect to a set of auxiliary variables must be performed to define the dynamics of physical degr ...

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

Donor-acceptor (D-A) copolymers have shown great potential for intramolecular singlet fission (iSF). Nonetheless, very few design principles exist for optimizing these systems for iSF, with very little knowledge about how to engineer them for this purpose. ...

Solidification is a phase transformation of utmost importance in material science, for it largely controls materials' microstructure on which a wide range of mechanical properties depends. Almost every human artifact undergoes a transformation that leads t ...

Coupled dynamical systems are omnipresent in everyday life. In general, interactions between individual elements composing the system are captured by complex networks. The latter greatly impact the way coupled systems are functioning and evolving in time. ...

In this paper, we discuss our recent works on the null-controllability, the exact controllability, and the stabilization of linear hyperbolic systems in one dimensional space using boundary controls on one side for the optimal time. Under precise and gener ...

A method and system for deriving particle characteristics is described. The method comprises imaging the movement of at least one free-floating particle in a liquid environment at at least one moment in time, determining for at least one moment in time a m ...

We present the design and implementation of SafetyPin, a system for encrypted mobile-device backups. Like existing cloud-based mobile-backup systems, including those of Apple and Google, SafetyPin requires users to remember only a short PIN and defends aga ...

Decoding the subjective perception of task difficulty may help improve operator performance, i.e., automatically optimize the task difficulty level. Here, we aim to decode a compound of cognitive states that covaries with the task difficulty level. We desi ...

A Verification Toolkit for Numerical Transition Systems

Chat with Graph Search

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

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

Interpolation and Quantifiers in Ortholattices

Formal Foundations of Capture Tracking

Tumescense monitoring system for diagnosing erectile dysfunction and methods of use

Code Generation Approach Supporting Complex System Modeling based on Graph Pattern Matching

Bibliometric Analysis of Model-Based Systems Engineering: Past, Current, and Future

Scaling Language Features for Program Verification

Predictive user-based relocation through incentives in one-way car-sharing systems

Method and system for determining the intention of performing a voluntary action

Mass-Zero constrained dynamics and statistics for the shell model in magnetic field

Learning the Exciton Properties of Azo-dyes

Pushing the Limits of the Donor-Acceptor Copolymer Strategy for Intramolecular Singlet Fission

Atomistic modeling of the solid-liquid interface of metals and alloys

Local Vulnerabilities and Global Robustness of Coupled Dynamical Systems on Complex Networks

Null-controllability, exact controllability, and stabilization of hyperbolic systems for the optimal time

Methods and systems for particle characterisation

SafetyPin: Encrypted Backups with Human-Memorable Secrets

SafetyPin: Encrypted Backups with Human-Memorable Secrets

EEG Correlates of Difficulty Levels in Dynamical Transitions of Simulated Flying and Mapping Tasks