Related papers: On the Existence of Consistent Price Systems
A value of a CSP instance is typically defined as a fraction of constraints that can be simultaneously met. We propose an alternative definition of a value of an instance and show that, for purely combinatorial reasons, a value of an…
A pricing principle is introduced for non-attainable $q$-exponential bounded contingent claims in an incomplete Brownian motion market setting. The buyer evaluates the contingent claim under the ``distorted Radon-Nikodym derivative'' and…
Cyber-physical systems (CPS) are required to satisfy safety constraints in various application domains such as robotics, industrial manufacturing systems, and power systems. Faults and cyber attacks have been shown to cause safety…
This paper develops a model of liquidity provision in financial markets by adapting the Madhavan, Richardson, and Roomans (1997) price formation model to realistic order books with quote discretization and liquidity rebates. We postulate…
In an increasingly interconnected world, Cyber-Physical Systems (CPS) are essential to critical industries like healthcare, transportation, and manufacturing, merging physical processes with computational intelligence. However, the security…
In a previous paper, we presented several extensions of ACP with conditional expressions, including one with a retrospection operator on conditions to allow for looking back on conditions under which preceding actions have been performed.…
We introduce new sufficient conditions for verifying stability and recurrence properties in singularly perturbed stochastic hybrid dynamical systems. Specifically, we focus on hybrid systems with deterministic continuous-time dynamics that…
We formulate a simplified model of a limit order book, in which the arrival process is independent of the current state. We prove a phase transition result: there exist prices $\kappa_b$ and $\kappa_a$ such that, for any $\epsilon > 0$,…
We give a game-theoretic characterization of when a model of an infinitary propositional formula can be added by a proper, semiproper, and stationary-set-preserving poset. In the latter case, we also give a general sufficient condition for…
Let $X$ be a stationary process with finite state-space $A$. Bressaud et al. recently provided a sufficient condition for the natural filtration of $X$ to be standard when $A$ has size 2. Their condition involves the conditional laws…
We study semi-dynamical systems associated to delay differential equations. We give a simple criteria to obtain weak and strong persistence and provide sufficient conditions to guarantee uniform persistence. Moreover, we show the existence…
Cyber-physical systems (CPSs) are important whenever computer technology interfaces with the physical world as it does in self-driving cars or aircraft control support systems. Due to their many subtleties, controllers for cyber-physical…
We study revenue maximization through sequential posted-price (SPP) mechanisms in single-dimensional settings with $n$ buyers and independent but not necessarily identical value distributions. We construct the SPP mechanisms by considering…
We consider a stochastic matching model with a general compatibility graph, as introduced in \cite{MaiMoy16}. We prove that most common matching policies (including FCFM, priorities and random) satisfy a particular sub-additive property,…
Although the existence of dissipative weak solutions for the compressible Navier-Stokes system has already been established for any finite energy initial data, uniqueness is still an open problem. The idea is then to select a solution…
This paper deals with asymptotic stability of a class of dynamical systems in terms of smooth Lyapunov pairs. We point out that well known converse Lyapunov results for differential inclusions cannot be applied to this class of dynamical…
Cyber-Physical Systems (CPSs) are systems with both physical and software components, for example cars and industrial robots. Since these systems exhibit both discrete and continuous dynamics, they are complex and it is thus difficult to…
The notion of (non)contextuality pertains to sets of properties measured one subset (context) at a time. We extend this notion to include so-called inconsistently connected systems, in which the measurements of a given property in different…
Literature on Constraint Satisfaction exhibits the definition of several structural properties that can be possessed by CSPs, like (in)consistency, substitutability or interchangeability. Current tools for constraint solving typically…
We establish necessary and sufficient conditions for the existence of factorizable steady states of the Generalized Zero Range Process. This process allows transitions from a site $i$ to a site $i+q$ involving multiple particles with rates…