We present CLSE, a closed-loop symbolic execution engine for control system implementations. CLSE takes as input the description of a physical plant represented by a system of linear ordinary differential equations, the software implementation and execution frequency for a discrete-time controller that senses and actuates the plant, and a time horizon, and symbolically executes the closed-loop ...

The theory of optimum economic growth has centred around the 1928 paper of Ramsey and extensively developed by subsequent authors. Samuelson and Solow extended Ramsey's analysis to a world involving multiple capital goods. Following Ramsey's formulation of his problem in terms of constrained maximization of an integral over infinite time, Tinbergen, Koopmans, Cass, Weizacker and Mirrlees worked...

In this paper, a multi-period and multi-resource operating room (OR) scheduling and rescheduling problem with elective and semi-elective (semi-urgent) patients is addressed. A scheduling-rescheduling framework based on the so-called rolling horizon approach is proposed to solve the problem. The core of the proposed framework is a novel proposed mixed-integer linear programming (MILP) model with...

We address the question of thermodynamics of regular cosmological spherically symmetric black holes with the de Sitter center. Space-time is asymptotically de Sitter as r → 0 and as r → ∞. A source term in the Einstein equations connects smoothly two de Sitter vacua with different values of cosmological constant: 8πGT μ ν = Λδ ν as r → 0, 8πGT μ ν = λδ μ ν as r → ∞ with λ < Λ. It represents an ...

We consider online learning when the time horizon is unknown. We apply a minimax analysis, beginning with the fixed horizon case, and then moving on to two unknown-horizon settings, one that assumes the horizon is chosen randomly according to some known distribution, and the other which allows the adversary full control over the horizon. For the random horizon setting with restricted losses, we...