Publications related to Constraint Handling Rules

Studies on EU-DEMO 3D coils requirements and conceptual design for error field correction and plasma control

Pierluigi Bruzzone, Hartmut Zohm, Leonardo Pigatto

This work presents the initial studies on the requirements for the design of 3D coils on EU-DEMO. The use of 3D coils in present machines includes two main purposes: the first one is the Error Field Correction (EFC). The EFC aims at minimizing the intrinsi ...

Elsevier Science Sa2023

Evaluation of feasibility and costs of alternative magnetic divertor configurations for DEMO

Holger Reimerdes, Seungkyu Ha

The European roadmap to the realisation of fusion energy has identified a number of technological and scientific challenges towards the development of a DEMO reactor. Mission 2 'Heat-exhaust systems' includes the investigation of alternative divertor confi ...

ELSEVIER SCIENCE SA2019

Redshift-weighted constraints on primordial non-Gaussianity from the clustering of the eBOSS DR14 quasars in Fourier space

Cheng Zhao

We present constraints on local primordial non-Gaussianity (PNG), parametrized through f(NL)(loc), using the Sloan Digital Sky Survey IV extended Baryon Oscillation Spectroscopic Survey Data Release 14 quasar sample. We measure and analyze the anisotropic ...

IOP PUBLISHING LTD2019

Conic Programming Reformulations of Two-Stage Distributionally Robust Linear Programs over Wasserstein Balls

Daniel Kuhn, Grani Adiwena Hanasusanto

Adaptive robust optimization problems are usually solved approximately by restricting the adaptive decisions to simple parametric decision rules. However, the corresponding approximation error can be substantial. In this paper we show that two-stage robust ...

2018

Automatic extraction of constraints in manipulation tasks for autonomy and interaction

Ana-Lucia Ureche

Tasks routinely executed by humans involve sequences of actions performed with high dexterity and coordination. Fully specifying these actions such that a robot could replicate the task is often difficult. Furthermore the uncertainties introduced by the us ...

EPFL2018

Optimization of mesh hierarchies in multilevel Monte Carlo samplers

Fabio Nobile, Erik Gustaf Bogislaw Von Schwerin

We perform a general optimization of the parameters in the multilevel Monte Carlo (MLMC) discretization hierarchy based on uniform discretization methods with general approximation orders and computational costs. We optimize hierarchies with geometric and ...

2016

A Dichotomy for Real Weighted Holant Problems

Sangxia Huang

Holant is a framework of counting characterized by local constraints. It is closely related to other well-studied frameworks such as the counting constraint satisfaction problem (#CSP) and graph homomorphism. An effective dichotomy for such frameworks can ...

Springer Basel Ag2016

Programming with Enumerable Sets of Structures

Viktor Kuncak, Ivan Kuraj, Daniel Jackson

We present an efficient, modular, and feature-rich framework for automated generation and validation of complex structures, suitable for tasks that explore a large space of structured values. Our framework is capable of exhaustive, incremental, parallel, a ...

Assoc Computing Machinery2015

Multirate sliding mode disturbance compensation for model predictive control

Colin Neil Jones

In this paper, a novel hierarchical multirate control scheme for nonlinear discrete-time systems is presented, consisting of a robust nonlinear model predictive controller (NMPC) and a multirate sliding mode disturbance compensator (MSMDC). The proposed MS ...

Wiley-Blackwell2015

Interactive design exploration for constrained meshes

Mark Pauly, Sofien Bouaziz, Bailin Deng, Yuliy Gennadievich Schwartzburg, Mario Moacir Deuss, Alexandre Kaspar

In architectural design, surface shapes are commonly subject to geometric constraints imposed by material, fabrication or assembly. Rationalization algorithms can convert a freeform design into a form feasible for production, but often require design modif ...

2015

Optimized distributed implementation of multiparty interactions with Restriction

Joseph Sifakis

Using high level coordination primitives allows enhanced expressiveness of component-based frameworks to cope with the inherent complexity of present-day systems designs. Nonetheless, their distributed implementation raises multiple issues, regarding both ...

Elsevier2015

Stochastic MPC framework for controlling the average constraint violation

Colin Neil Jones, Milan Korda

This paper considers linear discrete-time systems with additive, bounded, disturbances subject to hard control input bounds and a stochastic constraint on the amount of state-constraint violation averaged over time. The amount of violations is quantified b ...

Institute of Electrical and Electronics Engineers2014

Use of Transient Measurements for Real-Time Optimization via Modifier Adaptation

Dominique Bonvin, Grégory François

Real-time optimization (RTO) methods use measurements to offset the effect of uncertainty and drive the plant to optimality. Explicit RTO schemes, which are characterized by solving a static optimization problem repeatedly, typically require multiple itera ...

2013

Time-Optimal Path Following for Robots With Convex-Concave Constraints Using Sequential Convex Programming

Quoc Tran Dinh

Time-optimal path following considers the problem of moving along a predetermined geometric path in minimum time. In the case of a robotic manipulator with simplified constraints, a convex reformulation of this optimal control problem has been derived prev ...

Institute of Electrical and Electronics Engineers2013

Escaping the Prior Knowledge Corridor: What shapes the Number and Variety of Market Opportunities identified before Market Entry of Technology Start-ups?

Marc Gruber, James David Thompson

The choice of the firm's market environment is one of the fundamental decisions of firm founders. We study the pre-entry generation of founders' market choice sets by investigating their search for market opportunities in which the firm's technological res ...

INFORMS2013

Constraints as Control

Viktor Kuncak, Philippe Paul Henri Suter

We present an extension of Scala that supports constraint programming over bounded and unbounded domains. The resulting language, Kaplan, provides the benefits of constraint programming while preserving the existing features of Scala. Kaplan integrates con ...

2012

Stochastic Model Predictive Control: Controlling the Average Number of Constraint Violations

Colin Neil Jones, Milan Korda

This paper considers linear discrete-time systems with additive bounded disturbances subject to hard control input bounds and constraints on the expected number of state-constraint violations averaged over time, or, equivalently, constraints on the probabi ...

2012

Programming with Specifications

Philippe Paul Henri Suter

This thesis explores the use of specifications for the construction of correct programs. We go beyond their standard use as run-time assertions, and present algorithms, techniques and implementations for the tasks of 1) program verification, 2) declarative ...

EPFL2012

Augmented-SVM: Automatic space partitioning for combining multiple non-linear dynamics

Ashwini Shukla

Non-linear dynamical systems (DS) have been used extensively for building generative models of human behavior. Their applications range from modeling brain dynamics to encoding motor commands. Many schemes have been proposed for encoding robot motions usin ...

Curran Associates, Inc.2012

Multi-objective optimization of regenerator placement using Constraint Programming

Sébastien Rumley, Christian Gaumier

In translucent optical networks, connections bypass most intermediate nodes transparently. However, their signal quality is affected by the traveled distance and/or the bypass operations. Hence, they might require optical-electrical-optical conversions at ...

2011