We study non-autonomous observation systems , where is a strongly measurable family of closed operators on Banach space and bounded from to . Based an abstract uncertainty principle dissipation estimate, we prove that the system satisfies final-state observability estimate in for subsets present applications above result families uniformly elliptic differential as well Ornstein–Uhlenbeck with I...

Lava worlds belong to a class of short orbital period planets reaching dayside temperatures high enough melt their silicate crust. Theory predicts that the resulting lava oceans outgas volatile components, attaining equilibrium with overlying vapour. This creates tenuous, silicate-rich atmosphere may be confined permanent planet. The James Webb Space Telescope (JWST) will provide much needed se...

The notions of controllability and observability play an important role in different problems within feedback control analysis and design. To verify the controllability and observability of a system, several techniques have been introduced. However, often it is not only important to verify if the system is controllable or observable, but also it is required to know the degree of controllability...

The notions of controllability and observability play an important role in different problems within feedback control analysis and design. To verify the controllability and observability of a system, several techniques have been introduced. However, often it is not only important to verify if the system is controllable or observable, but also it is required to know the degree of controllability...

Monitoring dynamical processes requires the estimation of the entire state, which is only partly accessible by measurements. Most quantities must be determined via model based state estimation. Since in general only noisy data are given, state estimation yields an ill-posed inverse problem. Observability guarantees a unique least squares solution. While well-posedness as well as observability i...

We consider a supervisory control problem for discrete-event systems, in which an attacker corrupts the symbols that are observed by the supervisor. We show that existence of a supervisor enforcing a specification language, in the presence of attacks, is completely characterized by controllability (in the usual sense) and observability of the specification (in a new appropriately defined sense)...

Conewise linear systems are dynamical systems in which the state space is partitioned into a finite number of nonoverlapping polyhedral cones on each of which the dynamics of the system is described by a linear differential equation. This class of dynamical systems represents a large number of piecewise linear systems, most notably, linear complementarity systems with the P-property and their g...

Message Sequence Charts (MSCs) form a popular language in which scenariobased specifications and models can be written. There has been significant interest in automating aspects of testing from MSCs. This paper concerns the Oracle Problem, in which we have an observation made in testing and wish to know whether this is consistent with the specification. We assume that there is an MSC specificat...

The observability analysis of an opportunistic navigation (OpNav) environment whose states may be partially known is considered. An OpNav environment can be thought of as a radio frequency signal landscape within which a receiver locates itself in space and time by extracting information from ambient signals of opportunity (SOPs). Available SOPs may have a fully-known, partially-known, or unkno...

A defining aspect of human cooperation is the use of sophisticated indirect reciprocity. We observe others, talk about others, and act accordingly. We help those who help others, and we cooperate expecting that others will cooperate in return. Indirect reciprocity is based on reputation, which spreads by communication. A crucial aspect of indirect reciprocity is observability: reputation effect...