Related papers: Branch-Well-Structured Transition Systems and Exte…
This study treats transmission scheduling for remote state estimation over unreliable channels with a hidden mode. A local Kalman estimator selects scheduling actions, such as power allocation and resource usage, and communicates with a…
Motivated by the Model-Based Design process for Cyber-Physical Systems, we consider issues in conformance testing of systems. Conformance is a quantitative notion of similarity between the output trajectories of systems, which considers…
We consider the two-variable fragment of first-order logic with one distinguished binary predicate constrained to be interpreted as a transitive relation. The finite satisfiability problem for this logic is shown to be decidable, in triply…
In this note, we provide complexity characterizations of model checking multi-pushdown systems. Multi-pushdown systems model recursive concurrent programs in which any sequential process has a finite control. We consider three standard…
We analyse the complexity of the satisfiability problem ssmSAT for State Space Models (SSM), which asks whether an input sequence can lead the model to an accepting configuration. We find that ssmSAT is undecidable in general, reflecting…
The notion of a part of phase space containing desired (or allowed) states of a dynamical system is important in a wide range of complex systems research. It has been called the safe operating space, the viability kernel or the sunny…
W-transforms are introduced as uniformity-preserving univariate transformations on the unit interval induced by distribution functions and piecewise strictly monotone functions, and their properties are investigated. When applied…
We investigate a simple network, which has a branching-merging structure, using the totally asymmetric simple exclusion process, considering conflicts at the merging point. For both periodic and open boundary conditions, the system exhibits…
Integrated task and motion planning problems describe a multi-modal state space, which is often abstracted as a set of smooth manifolds that are connected via sets of transitions states. One approach to solving such problems is to sample…
An example of a time-invariant time-delay system that is uniformly globally attractive and exponentially stable, hence forward complete, but whose reachability sets from bounded initial conditions are not bounded over compact time intervals…
In this paper, we address a general eigenstructure assignment problem where the objective is to distribute the closed-loop modes over the components of the system outputs in such a way that, if a certain mode appears in a given output, it…
Quasi two-dimensional pattern forming systems with spontaneously broken isotropy represent a novel symmetry class, that is experimentally accessible in electroconvection of homeotropically aligned liquid crystals. We present a weakly…
We consider entailment problems involving powerful constraint languages such as guarded existential rules, in which additional semantic restrictions are put on a set of distinguished relations. We consider restricting a relation to be…
This paper deals with input/output-to-state stability (IOSS) of continuous-time switched nonlinear systems. Given a family of systems, possibly containing unstable dynamics, and a set of restrictions on admissible switches between the…
We consider the decidability of state-to-state reachability in linear time-invariant control systems over discrete time. We analyse this problem with respect to the allowable control sets, which in general are assumed to be defined by…
We provide an infinity of spacetimes which contain part of both the Schwarzschild vacuum and de Sitter space. The transition, which occurs below the Schwarzschild event horizon, involves only boundary surfaces (no surface layers). An…
$c$-cyclical monotonicity is the most important optimality condition for an optimal transport plan. While the proof of necessity is relatively easy, the proof of sufficiency is often more difficult or even elusive. We present here a new…
The concept of deterministic dynamical chaos has a long history and is well established by now. Nevertheless, its field theoretic essence and its stochastic generalization have been revealed only very recently. Within the newly found…
We extend earlier results on conditioning of super-Brownian motion to general branching rules. We obtain representations of the conditioned process, both as an $h$-transform, and as an unconditioned superprocess with immigration along a…
We describe a new class of positive linear discrete-time switching systems for which the problems of stability or stabilizability can be resolved constructively. This class generalizes the class of systems with independently switching state…