相关论文: Comparison Theorem for Viability Kernels via Conic…

We provide simple necessary and sufficient conditions under which a path constitutes a solution to an infinite-horizon, continuous-time optimal control problem. We prove transversality conditions under standard assumptions. We also present…

The aim of the paper is to study an optimal control problem on infinite horizon for an infinite dimensional integro-differential equation with completely monotone kernelskernels, where we assume that the noise enters the system when we…

Ecological resilience refers to the ability of a system to retain its state when subject to state variables perturbations or parameter changes. While understanding and quantifying resilience is crucial to anticipate the possible regime…

The pressure on marine renewable resources has rapidly increased over past decades. The resulting scarcity has led to a variety of different control and surveillance instruments. Often they have not improved the current situation, mainly…

The control of complex networks is of paramount importance in areas as diverse as ecosystem management, emergency response, and cell reprogramming. A fundamental property of networks is that perturbations to one node can affect other nodes,…

We investigate how the concepts of optimal control of measurables of a system with a time dependent Hamiltonian may be mixed with the level set technique to keep the desired entity invariant. We derive sets of equations for this purpose and…

Cellular ingredient concentrations can be stabilized by adjusting generation and consumption rates through multiple pathways. To explore the portion of cellular metabolism equipped with multiple pathways, we categorize individual metabolic…

Nearly all cell models explicitly or implicitly deal with the biophysical constraints that must be respected for life to persist. Despite this, there is almost no systematicity in how these constraints are implemented, and we lack a…

Controlling complex reaction networks is a fundamental challenge in the fields of physics, biology, and systems engineering. Here, we prove a general principle for catalytic reaction systems with kinetics where the reaction order and the…

Scalable safety verification of continuous state dynamic systems has been demonstrated through both reachability and viability analyses using parametric set representations; however, these two analyses are not interchangable in practice for…

If two species exhibit different nonlinear responses to a single shared resource, and if each species modifies the resource dynamics such that this favors its competitor, they may stably coexist. This coexistence mechanism, known as…

As artificial agents become increasingly capable, what internal structure is *necessary* for an agent to act competently under uncertainty? Classical results show that optimal control can be *implemented* using belief states or world…

Controllability -- the possibility of performing any target dynamics by applying a set of available operations -- is a fundamental requirement for the practical use of any physical system. For finite-dimensional systems, as for instance…

How do decisions change with the economic environment and with time? This paper studies general nonstationary stopping problems and provides the methodological tools to answer these questions. First, we identify conditions that ensure a…

Regulatory and contractual constraints on individual exposures are standard in insurance and reinsurance markets, but a poorly designed constraint can distort the economic incentives of risk-averse agents. In the unconstrained problem, the…

In quantum control theory, the fundamental issue of controllability covers the questions whether and under which conditions a system can be steered from one pure state into another by suitably tuned time evolution operators. Even though Lie…

This article clarifies the relationship between pricing kernel monotonicity and the existence of opportunities for stochastic arbitrage in a complete and frictionless market of derivative securities written on a market portfolio. The…

Since infectious pathogens start spreading into a susceptible population, mathematical models can provide policy makers with reliable forecasts and scenario analyses, which can be concretely implemented or solely consulted. In these complex…

Bessiere et al. (AAAI'08) showed that several intractable global constraints can be efficiently propagated when certain natural problem parameters are small. In particular, the complete propagation of a global constraint is fixed-parameter…

In this paper, we consider the problem of quantifying systemic redundancy in reliable systems having multiple controllers with overlapping functionality. In particular, we consider a multi-channel system with multi-controller configurations…