-
Exploration into Optimal State Estimation with Event-triggered Communication
Authors:
Xiaolei Bian,
Huimin Chen,
X. Rong Li
Abstract:
This paper deals with the problem of remote estimation of the state of a discrete-time stochastic linear system observed by a sensor with computational capacity to calculate local estimates. We design an event-triggered communication (ETC) scheme and a remote state estimator to optimally calibrate the tradeoff between system performance and limited communication resources. The novel communication…
▽ More
This paper deals with the problem of remote estimation of the state of a discrete-time stochastic linear system observed by a sensor with computational capacity to calculate local estimates. We design an event-triggered communication (ETC) scheme and a remote state estimator to optimally calibrate the tradeoff between system performance and limited communication resources. The novel communication scheme is the time-varying thresholding version for the cumulative innovation-driven communication scheme in [1], and its transmission probability is given. We derive the corresponding remote minimum mean square error (MMSE) estimator and present a tight upper bound for its MSE matrices. We also show that by employing a couple of weak assumptions, the optimality problem becomes (asymptotically) exact and can be addressed in an Markov Decision Process (MDP) framework, which delivers optimal policy and cost in an algorithmic procedure. The simulation results illustrate the effectiveness of our approach.
△ Less
Submitted 14 September, 2023;
originally announced September 2023.
-
Guidance Trajectory Mathematical Modeling
Authors:
Reza Rezaie,
X. Rong Li
Abstract:
A trajectory of a destination-directed moving object (e.g. an aircraft from an origin airport to a destination airport) has three main components: an origin, a destination, and motion in between. We call such a trajectory that end up at the destination \textit{destination-directed trajectory (DDT)}. A class of conditionally Markov (CM) sequences (called CM$_\text{L}$) has the following main compon…
▽ More
A trajectory of a destination-directed moving object (e.g. an aircraft from an origin airport to a destination airport) has three main components: an origin, a destination, and motion in between. We call such a trajectory that end up at the destination \textit{destination-directed trajectory (DDT)}. A class of conditionally Markov (CM) sequences (called CM$_\text{L}$) has the following main components: a joint density of two endpoints and a Markov-like evolution law. A CM$_\text{L}$ dynamic model can describe the evolution of a DDT but not of a guided object chasing a moving guide. The trajectory of a guided object is called a \textit{guided trajectory (GT)}. Inspired by a CM$_\text{L}$ model, this paper proposes a model for a GT with a moving guide. The proposed model reduces to a CM$_\text{L}$ model if the guide is not moving. We also study filtering and trajectory prediction based on the proposed model. Simulation results are presented.
△ Less
Submitted 5 September, 2021;
originally announced September 2021.
-
Model Design and Representations of CM Sequences
Authors:
Reza Rezaie,
X. Rong Li
Abstract:
Conditionally Markov (CM) sequences are powerful mathematical tools for modeling problems. One class of CM sequences is the reciprocal sequence. In application, we need not only CM dynamic models, but also know how to design model parameters. Models of two important classes of nonsingular Gaussian (NG) CM sequences, called $CM_L$ and $CM_F$ models, and a model of the NG reciprocal sequence, called…
▽ More
Conditionally Markov (CM) sequences are powerful mathematical tools for modeling problems. One class of CM sequences is the reciprocal sequence. In application, we need not only CM dynamic models, but also know how to design model parameters. Models of two important classes of nonsingular Gaussian (NG) CM sequences, called $CM_L$ and $CM_F$ models, and a model of the NG reciprocal sequence, called reciprocal $CM_L$ model, were presented in our previous works and their applications were discussed. In this paper, these models are studied in more detail, in particular their parameter design. It is shown that every reciprocal $CM_L$ model can be induced by a Markov model. Then, parameters of each reciprocal $CM_L$ model can be obtained from those of the Markov model. Also, it is shown that a NG $CM_L$ ($CM_F$) sequence can be represented by a sum of a NG Markov sequence and an uncorrelated NG vector. This (necessary and sufficient) representation provides a basis for designing parameters of a $CM_L$ ($CM_F$) model. From the CM viewpoint, a representation is also obtained for NG reciprocal sequences. This representation is simple and reveals an important property of reciprocal sequences. As a result, the significance of studying reciprocal sequences from the CM viewpoint is demonstrated. A full spectrum of dynamic models from a $CM_L$ model to a reciprocal $CM_L$ model is also presented. Some examples are presented for illustration.
△ Less
Submitted 5 June, 2020; v1 submitted 10 December, 2019;
originally announced December 2019.
-
Equivalent CM Models
Authors:
Reza Rezaie,
X. Rong Li
Abstract:
The conditionally Markov (CM) sequence contains different classes, including Markov, reciprocal, and so-called $CM_L$ and $CM_F$ (two CM classes defined in our previous work). Markov sequences are special reciprocal sequences, and reciprocal sequences are special $CM_L$ and $CM_F$ sequences. Each class has its own forward and backward dynamic models. The evolution of a CM sequence can be described…
▽ More
The conditionally Markov (CM) sequence contains different classes, including Markov, reciprocal, and so-called $CM_L$ and $CM_F$ (two CM classes defined in our previous work). Markov sequences are special reciprocal sequences, and reciprocal sequences are special $CM_L$ and $CM_F$ sequences. Each class has its own forward and backward dynamic models. The evolution of a CM sequence can be described by different models. For a given problem, a model in a specific form is desired or needed, or one model can be easier to apply and better than another. Therefore, it is important to study the relationship between different models and to obtain one model from another. This paper studies this topic for models of nonsingular Gaussian (NG) $CM_L$, $CM_F$, reciprocal, and Markov sequences. Two models are \textit{probabilistically equivalent (PE)} if their stochastic sequences have the same distribution, and are \textit{algebraically equivalent (AE)} if their stochastic sequences are path-wise identical. A unified approach is presented to obtain an AE forward/backward $CM_L$/$CM_F$/reciprocal/Markov model from another such model. As a special case, a backward Markov model AE to a forward Markov model is obtained. While existing results are restricted to models with nonsingular state transition matrices, our approach is not. In addition, a simple approach is presented for studying and determining Markov models whose sequences share the same reciprocal/$CM_L$ model.
△ Less
Submitted 5 June, 2020; v1 submitted 27 October, 2019;
originally announced October 2019.
-
Singularity in CM Sequences
Authors:
Reza Rezaie,
X. Rong Li
Abstract:
Most existing results about modeling and characterizing Gaussian Markov, reciprocal, and conditionally Markov (CM) processes assume nonsingularity of the processes. This assumption makes the analysis easier, but restricts application of these processes. This paper studies, models, and characterizes the general (singular/nonsingular) Gaussian CM (including reciprocal and Markov) sequence. For examp…
▽ More
Most existing results about modeling and characterizing Gaussian Markov, reciprocal, and conditionally Markov (CM) processes assume nonsingularity of the processes. This assumption makes the analysis easier, but restricts application of these processes. This paper studies, models, and characterizes the general (singular/nonsingular) Gaussian CM (including reciprocal and Markov) sequence. For example, to our knowledge, there is no dynamic model for the general (singular/nonsingular) Gaussian reciprocal sequence in the literature. We obtain two such models from the CM viewpoint. As a result, the significance of studying reciprocal sequences from the CM viewpoint is demonstrated. The results of this paper unify singular and nonsingular Gaussian CM (including reciprocal and Markov) sequences and provide tools for their application. An application of CM sequences in trajectory modeling with a destination is discussed and illustrative examples are presented.
△ Less
Submitted 5 June, 2020; v1 submitted 27 October, 2019;
originally announced October 2019.
-
CM Modeling of Trajectory
Authors:
Reza Rezaie,
X. Rong Li
Abstract:
Information about the waypoints of a moving object, e.g., an airliner in an air traffic control (ATC) problem, should be considered in trajectory modeling and prediction. Due to the ATC regulations, trajectory design criteria, and restricted motion capability of airliners there are long-range dependencies in trajectories of airliners. Waypoint information can be used for modeling such dependencies…
▽ More
Information about the waypoints of a moving object, e.g., an airliner in an air traffic control (ATC) problem, should be considered in trajectory modeling and prediction. Due to the ATC regulations, trajectory design criteria, and restricted motion capability of airliners there are long-range dependencies in trajectories of airliners. Waypoint information can be used for modeling such dependencies in trajectories. This paper proposes a conditionally Markov (CM) sequence for modeling trajectories passing by waypoints. A dynamic model governing the proposed sequence is obtained. Filtering and trajectory prediction formulations are presented. The use of the proposed sequence for modeling trajectories with waypoints is justified.
△ Less
Submitted 12 March, 2021; v1 submitted 20 November, 2018;
originally announced November 2018.
-
CM Sequence based Trajectory Modeling with Destination
Authors:
Reza Rezaie,
X. Rong Li
Abstract:
In some problems there is information about the destination of a moving object. An example is an airliner flying from an origin to a destination. Such problems have three main components: an origin, a destination, and motion in between. To emphasize that the motion trajectories end up at the destination, we call them \textit{destination-directed trajectories}. The Markov sequence is not flexible e…
▽ More
In some problems there is information about the destination of a moving object. An example is an airliner flying from an origin to a destination. Such problems have three main components: an origin, a destination, and motion in between. To emphasize that the motion trajectories end up at the destination, we call them \textit{destination-directed trajectories}. The Markov sequence is not flexible enough to model such trajectories. Given an initial density and an evolution law, the future of a Markov sequence is determined probabilistically. One class of conditionally Markov (CM) sequences, called the $CM_L$ sequence (including the Markov sequence as a special case), has the following main components: a joint endpoint density (i.e., an initial density and a final density conditioned on the initial) and a Markov-like evolution law. This paper proposes using the $CM_L$ sequence for modeling destination-directed trajectories. It is demonstrated how the $CM_L$ sequence enjoys several desirable properties for destination-directed trajectory modeling. Some simulations of trajectory modeling and prediction are presented for illustration.
△ Less
Submitted 12 March, 2021; v1 submitted 19 November, 2018;
originally announced November 2018.
-
Markov-Induced CM Model
Authors:
Reza Rezaie,
X. Rong Li
Abstract:
Conditionally Markov (CM) sequences are powerful mathematical tools for modeling random phenomena. There are several classes of CM sequences one of which is the reciprocal sequence. Reciprocal sequences have been widely used in many areas including image processing, intelligent systems, and acausal systems. To use them in application, we need not only their applicable dynamic models, but also some…
▽ More
Conditionally Markov (CM) sequences are powerful mathematical tools for modeling random phenomena. There are several classes of CM sequences one of which is the reciprocal sequence. Reciprocal sequences have been widely used in many areas including image processing, intelligent systems, and acausal systems. To use them in application, we need not only their applicable dynamic models, but also some general approaches to designing parameters of dynamic models. Dynamic models governing two important classes of nonsingular Gaussian (NG) CM sequences (called $CM_L$ and $CM_F$ models), and a dynamic model governing the NG reciprocal sequence (called reciprocal $CM_L$ model) were presented in our previous work. In this paper, these models are studied in more detail and general approaches are presented for their parameter design. It is shown that every reciprocal $CM_L$ model can be induced by a Markov model and parameters of the reciprocal $CM_L$ model can be obtained from those of the Markov model. Also, it is shown how NG CM sequences can be represented in terms of an NG Markov sequence and an independent NG vector. This representation provides a general approach for parameter design of $CM_L$ and $CM_F$ models. In addition, it leads to a better understanding of CM sequences, including the reciprocal sequence.
△ Less
Submitted 12 March, 2021; v1 submitted 19 November, 2018;
originally announced November 2018.
-
Sample-Path Equivalent CM Models
Authors:
Reza Rezaie,
X. Rong Li
Abstract:
The conditionally Markov (CM) sequence contains different classes including Markov, reciprocal, and so-called $CM_L$ and $CM_F$ (two special classes of CM sequences). Each class has its own forward and backward dynamic models. The evolution of a CM sequence can be described by different models. For example, a Markov sequence can be described by a Markov model, as well as by reciprocal, $CM_L$, and…
▽ More
The conditionally Markov (CM) sequence contains different classes including Markov, reciprocal, and so-called $CM_L$ and $CM_F$ (two special classes of CM sequences). Each class has its own forward and backward dynamic models. The evolution of a CM sequence can be described by different models. For example, a Markov sequence can be described by a Markov model, as well as by reciprocal, $CM_L$, and $CM_F$ models. Also, sometimes a forward model is available, but it is desirable to have a backward model for the same sequence (e.g., in smoothing). Therefore, it is important to study relationships between different dynamic models of a CM sequence. This paper discusses such relationships between models of nonsingular Gaussian (NG) $CM_L$, $CM_F$, reciprocal, and Markov sequences. Two models are said to be explicitly sample-equivalent if not only they govern the same sequence, but also a one-one correspondence between their sample paths is made explicitly. A unified approach is presented, such that given a forward/backward $CM_L$/$CM_F$/reciprocal/Markov model, any explicitly equivalent model can be obtained. As a special case, a backward Markov model explicitly equivalent to a given forward Markov model can be obtained regardless of the singularity/nonsingularity of the state transition matrix of the model.
△ Less
Submitted 12 March, 2021; v1 submitted 19 November, 2018;
originally announced November 2018.
-
Reciprocal Sequences as CM Sequences
Authors:
Reza Rezaie,
X. Rong Li
Abstract:
The conditionally Markov (CM) sequence contains several classes, including the reciprocal sequence. Reciprocal sequences have been widely used in many areas of engineering, including image processing, acausal systems, intelligent systems, and intent inference. In this paper, the reciprocal sequence is studied from the CM sequence point of view, which is different from the viewpoint of the literatu…
▽ More
The conditionally Markov (CM) sequence contains several classes, including the reciprocal sequence. Reciprocal sequences have been widely used in many areas of engineering, including image processing, acausal systems, intelligent systems, and intent inference. In this paper, the reciprocal sequence is studied from the CM sequence point of view, which is different from the viewpoint of the literature and leads to more insight into the reciprocal sequence. Based on this viewpoint, new results, properties, and easily applicable tools are obtained for the reciprocal sequence. The nonsingular Gaussian (NG) reciprocal sequence is modeled and characterized from the CM viewpoint. It is shown that an NG sequence is reciprocal if and only if it is both $CM_L$ and $CM_F$ (two special classes of CM sequences). New dynamic models are presented for the NG reciprocal sequence. These models (unlike the existing one, which is driven by colored noise) are driven by white noise and are easily applicable. As a special reciprocal sequence, the Markov sequence is also discussed. Finally, it can be seen how all CM sequences, including Markov and reciprocal, are unified.
△ Less
Submitted 12 March, 2021; v1 submitted 13 November, 2018;
originally announced November 2018.
-
Fundamentals of Gaussian CM Sequences
Authors:
Reza Rezaie,
X. Rong Li
Abstract:
Markov processes are widely used in modeling random phenomena/problems. However, they may not be adequate in some cases where more general processes are needed. The conditionally Markov (CM) process is a generalization of the Markov process based on conditioning. There are several classes of CM processes (one of them is the class of reciprocal processes), which provide more capability (than Markov…
▽ More
Markov processes are widely used in modeling random phenomena/problems. However, they may not be adequate in some cases where more general processes are needed. The conditionally Markov (CM) process is a generalization of the Markov process based on conditioning. There are several classes of CM processes (one of them is the class of reciprocal processes), which provide more capability (than Markov) for modeling random phenomena. Reciprocal processes have been used in many different applications (e.g., image processing, intent inference, intelligent systems). In this paper, nonsingular Gaussian (NG) CM sequences are studied, characterized, and their dynamic models are presented. The presented results provide effective tools for studying reciprocal sequences from the CM viewpoint, which is different from that of the literature. Also, the presented models and characterizations serve as a basis for application of CM sequences, e.g., in motion trajectory modeling with destination information.
△ Less
Submitted 12 March, 2021; v1 submitted 12 November, 2018;
originally announced November 2018.
-
Design of a capacitor-less low-dropout voltage regulator
Authors:
X. R. Li,
D. B. Pei,
Q. Liu,
R. Shen
Abstract:
A solution to the stability of capacitor-less low-dropout regulators with a 4pF Miller capacitor in Multi-level current amplifier is proposed. With the Miller compensation, a more than 50°phase margin is guaranteed in full load. An extra fast transient circuit is adopted to reduce stable time and peak voltage. When the load changes from light to heavy, the peak voltage is 40mV and chip quiescent c…
▽ More
A solution to the stability of capacitor-less low-dropout regulators with a 4pF Miller capacitor in Multi-level current amplifier is proposed. With the Miller compensation, a more than 50°phase margin is guaranteed in full load. An extra fast transient circuit is adopted to reduce stable time and peak voltage. When the load changes from light to heavy, the peak voltage is 40mV and chip quiescent current is only 45uA.
△ Less
Submitted 5 May, 2014;
originally announced May 2014.