A hierarchical consistency problem for the hierarchical supervisory control of discrete event systems under partial observation is considered, since observability is a practical and general property in real systems. The notion of H-observability is introduced to ensure hierarchical consistency between lowand high-level systems, and an analytical framework for the hierarchical supervisory contro...

Estimation of states and events in randomly switching systems is studied under irregular and random sampling schemes. Probabilistic characterization of observability is presented under various sampling schemes and regime-switching processes. The characterization is derived on the basis of our recent results on sampling complexity for system observability. Observer design and algorithms are deve...

From the state-space approach to linear systems, promoted by Kalman, we learned that minimality is equivalent with reachability together with observability. Our past research on optimal reduced-order LQG controller synthesis revealed that if the initial conditions are non-zero, minimality is no longer equivalent with reachability together with observability. In the behavioural approach to linea...

Abstract. The aim of this paper is to study the controllability and observability for a class of linear time-varying impulsive control systems on time scales. Sufficient and necessary conditions for state controllability and state observability of such systems are established. The corresponding criteria for time-invariant impulsive control systems on time scales are also obtained.

The difficulty of many robot controls tasks stems from stochasticity and partial observability coupled with highly nonlinear dynamics. We propose to approximate nonlinear system dynamics using hybrid dynamics models and extend the POMDP framework to hybrid systems. To do this, we introduce a Bayesian inference based hybrid state evolution model that can be used to develop feasible motion plans ...

Timed continuous Petri net (contPN) systems with infinite server semantics are non-linear systems, particularly a subclass of piecewise linear (PWL) systems. This paper addresses several problems regarding the state observability of these systems. We assume that the initial marking/state is not known and measuring the marking of some places we want to estimate all the others. First, a study of ...

By means of Carleman estimate, we obtain several observability inequalities by internal observation for hyperbolic equations with lower order terms. Also, we apply our observability results to exact controllability problems and an inverse wave sourse problem. AMS subject classification: 93B05, 93B07, 93D15

Based on a fundamental identity for stochastic hyperbolic-like operators, we derive in this paper a global Carleman estimate (with singular weight function) for stochastic wave equations. This leads to an observability estimate for stochastic wave equations with non-smooth lower order terms. Moreover, the observability constant is estimated by an explicit function of the norm of the involved co...

The paper studies the class of analytic input/state/output systems for which the vector fields and the observation functions are only partially defined. The state space of the system is a universe space a newly defined concept. As an example, quotient systems and observability are studied in detail. Observability is defined in a new way, consistent with the “universal” approach.

This paper focuses on the design of internal models for a class of hybrid linear SISO systems and exosystems. The internal model design takes into consideration observability properties of the exosystem that have significance in the hybrid setting. In particular, visibility and invisibility of the so-called hybrid steady-state generator are discussed, as well as uniform observability properties.