This paper seeks to solve the long-term transmission expansion planning problem in power systems more effectively by reducing solution search space and computational effort. The proposed methodology finds adds cutting planes based on structural insights about bus angle differences along paths. Two lemmas a theorem are which formally establish validity of these onto underlying mathematical formu...

This paper addresses the problem of guidance and control for an Autonomous Surface Craft (ASC). A path following approach is used for steering the vehicle along a predefined path. The presented solution is based on the definition of an error vector that should be driven to zero by the path-following controller. The proposed methodology for controller design assumes a polytopic Linear Parameter ...

The aim of the current paper is to present the path-wise and moment estimates for solutions to stochastic functional differential equations with non-linear growth condition in the framework of G-expectation and G-Brownian motion. Under the nonlinear growth condition, the pth moment estimates for solutions to SFDEs driven by G-Brownian motion are proved. The properties of G-expectations, Hölder'...

False path analysis is an activity with application in a variety of computer science and engineering domains like for instance high-level synthesis, worst case execution time estimation, software testing etc. In this paper a method for automatic false path analysis based on a specific control flow representation connected to a hierarchical BDD based control representation, named CCFG, is propos...

In Shelby County v. Holder (2013), the Supreme Court struck down parts of the Voting Rights Act of 1965 on the argument that intervening history had attenuated many voting inequalities between blacks and whites. But how, where, and by how much have things changed, and does history still predict voting inequalities today? We show that parts of the American South where slavery was more prevalent ...

A natural damping of Newton's method for nonsmooth equations is presented. This damping, via the path search instead of the traditional line search, enlarges the domain of convergence of Newton's method and therefore is said to be globally convergent. Convergence behavior is like that of line search damped Newton's method for smooth equations, including Q-quadratic convergence rates under appro...

This paper addresses the path-following problem of steering an autonomous airplane along a predefined 3-D path, while performing a coordinated turn maneuver. The presented solution relies on the definition of a path-dependent error space to express the dynamic model of the vehicle, and of an output tracking error that guarantees both path-following and coordinated turn compliance. For controlle...

Given a directed graph G = (V,A) with arbitrary arc costs, the Elementary Shortest Path Problem (ESPP) consists of finding a minimum-cost path between two nodes s and t such that each node of G is visited at most once. If negative costs are allowed, the problem is NP-hard. In this paper, several integer programming formulations for the ESPP are compared. We present analytical results based on a...

We study the polyhedral structure of two related core combinatorial problems: the subtree cardinalityconstrained minimal spanning tree problem and the identical customer vehicle routing problem. For each of these problems, and for a forest relaxation of the minimal spanning tree problem, we introduce a number of new valid inequalities and specify conditions for ensuring when these inequalities ...