Publications related to A Real Time Performance Assessment of Simultaneous Pattern Recognition Control for Multi-functional Upper Limb Prostheses

PBCOV: a property-based coverage criterion

Coverage criteria aim at satisfying test requirements and compute metrics values that quantify the adequacy of test suites at revealing defects in programs. Typically, a test requirement is a structural program element, and the coverage metric value repres ...

Springer2015

Control of Reaction Systems via Rate Estimation and Feedback Linearization

Dominique Bonvin, Julien Léo Billeter, Diogo Filipe Mateus Rodrigues

Abstract of the conference paper The kinetic identification of chemical reaction systems often represents a time-consuming and complex task. This contribution presents an approach that uses rate estimation and feedback linearization to implement ...

Elsevier2015

The control of the scaled false discovery rate, a flexible and comprehensive error control and a powerful theoretical tool in multiple testing

Dimitri Nestor Alice Van De Ville, Stephan Morgenthaler, Djalel Eddine Meskaldji

Given the large number of papers written over the last ten years on error controls in high dimensional multiple testing, it would be worthwhile to consider a single comprehensive technique that allows user flexibility in error control when dealing with big ...

2015

A real-time comparison between direct control, sequential pattern recognition control and simultaneous pattern recognition control using a Fitts' law style assessment procedure

Sophie Marie Marthe Wurth

Background: Pattern recognition (PR) based strategies for the control of myoelectric upper limb prostheses are generally evaluated through offline classification accuracy, which is an admittedly useful metric, but insufficient to discuss functional perform ...

Biomed Central Ltd2014

Methodology for Identification of Suitable ORC-Cycle and Working-Fluid using Integration with Multiple Objectives

François Maréchal, Daniel Favrat, Matthias Bendig

In recent times the interest in electricity production with Organic Rankine Cycles (ORC) has increased. A look into recent publications shows that the identification of suitable working fluids is in general done by a look at a more or less small number of ...

Aidic Servizi Srl2014

Model-based automated testing of critical PLC programs

Jean-Charles Tournier, Simon Bliudze

Testing of critical PLC (Programmable Logic Controller) programs remains a challenging task for control system engineers as it can rarely be automated. This paper proposes a model-based approach which uses the BIP (Behavior, Interactions and Priorities) fr ...

IEEE2013

Making Automated Testing of Cloud Applications an Integral Component of PaaS

George Candea, Johannes Kinder, Stefan Bucur

Traditional testing is inadequate for the complexity of modern cloud application software stacks. While the platform-as-a-service (PaaS) model has streamlined application development and deployment, its multiple abstraction layers and dependencies have mad ...

2013

Sequential Group Testing with Graph Constraints

Amin Karbasi, Morteza Zadimoghaddam

In conventional group testing, the goal is to detect a small subset of defecting items

\mathcal{D}

in a large population

\mathcal{N}

by grouping \textit{arbitrary} subset of

\mathcal{N}

into different pools. The result of each group test $\mathcal{T} ...

Ieee2012

Verification of Imperative Programs in Scala

Régis William Blanc

Safety-critical software systems can only support a limited number of failures. Extensive testing is good at catching errors, however that will never certify their absence. Formal verification is an alternative to testing that can (automatically) provide a ...

2012

Hycon2 Benchmark: Power Network System

Giancarlo Ferrari Trecate

As a benchmark exercise for testing software and methods developed in Hycon2 for decen- tralized and distributed control, we address the problem of designing the Automatic Genera- tion Control (AGC) layer in power network systems. In particular, we present ...

2012

A Real Time Performance Assessment of Simultaneous Pattern Recognition Control for Multi-functional Upper Limb Prostheses

Graph Chatbot

Chat with Graph Search

PBCOV: a property-based coverage criterion

Control of Reaction Systems via Rate Estimation and Feedback Linearization

The control of the scaled false discovery rate, a flexible and comprehensive error control and a powerful theoretical tool in multiple testing

A real-time comparison between direct control, sequential pattern recognition control and simultaneous pattern recognition control using a Fitts' law style assessment procedure

Methodology for Identification of Suitable ORC-Cycle and Working-Fluid using Integration with Multiple Objectives

Model-based automated testing of critical PLC programs

Making Automated Testing of Cloud Applications an Integral Component of PaaS

Sequential Group Testing with Graph Constraints

Verification of Imperative Programs in Scala

Hycon2 Benchmark: Power Network System

The control of the scaled false discovery rate, a flexible and comprehensive error control and a powerful theoretical tool in multiple testing

PBCOV: a property-based coverage criterion

Hycon2 Benchmark: Power Network System

Control of Reaction Systems via Rate Estimation and Feedback Linearization

Methodology for Identification of Suitable ORC-Cycle and Working-Fluid using Integration with Multiple Objectives

Model-based automated testing of critical PLC programs

Making Automated Testing of Cloud Applications an Integral Component of PaaS

Verification of Imperative Programs in Scala

A real-time comparison between direct control, sequential pattern recognition control and simultaneous pattern recognition control using a Fitts' law style assessment procedure

Sequential Group Testing with Graph Constraints