-
An interval-valued recursive estimation framework for linearly parameterized systems
Authors:
Laurent Bako,
Seydi Ndiaye,
Eric Blanco
Abstract:
This paper proposes a recursive interval-valued estimation framework for identifying the parameters of linearly parameterized systems which may be slowly time-varying. It is assumed that the model error (which may consist in measurement noise or model mismatch or both) is unknown but lies at each time instant in a known interval. In this context, the proposed method relies on bounding the error ge…
▽ More
This paper proposes a recursive interval-valued estimation framework for identifying the parameters of linearly parameterized systems which may be slowly time-varying. It is assumed that the model error (which may consist in measurement noise or model mismatch or both) is unknown but lies at each time instant in a known interval. In this context, the proposed method relies on bounding the error generated by a given reference point-valued recursive estimator, for example, the well-known recursive least squares algorithm. We discuss the trade-off between computational complexity and tightness of the estimated parametric interval.
△ Less
Submitted 20 June, 2022;
originally announced June 2022.
-
Applying Model Checking to Highly-Configurable Safety Critical Software: The SPS-PPS PLC Program
Authors:
Borja Fernandez Adiego,
Ignacio D. Lopez-Miguel,
Jean-Charles Tournier,
Enrique Blanco,
Tomasz Ladzinski,
Frederic Havart
Abstract:
An important aspect of many particle accelerators is the constant evolution and frequent configuration changes that are needed to perform the experiments they are designed for. This often leads to the design of configurable software that can absorb these changes and perform the required control and protection actions. This design strategy minimizes the engineering and maintenance costs, but it mak…
▽ More
An important aspect of many particle accelerators is the constant evolution and frequent configuration changes that are needed to perform the experiments they are designed for. This often leads to the design of configurable software that can absorb these changes and perform the required control and protection actions. This design strategy minimizes the engineering and maintenance costs, but it makes the software verification activities more challenging since safety properties must be guaranteed for any of the possible configurations. Software model checking is a popular automated verification technique in many industries. This verification method explores all possible combinations of the system model to guarantee its compliance with certain properties or specification. This is a very appropriate technique for highly configurable software, since there is usually an enormous amount of combinations to be checked. This paper presents how PLCverif, a CERN model checking platform, has been applied to a highly configurable Programmable Logic Controller (PLC) program, the SPS Personnel Protection System (PPS). The benefits and challenges of this verification approach are also discussed.
△ Less
Submitted 30 March, 2022;
originally announced March 2022.
-
An optimization framework for resilient batch estimation in Cyber-Physical Systems
Authors:
Alexandre Kircher,
Laurent Bako,
Eric Blanco,
Mohamed Benallouch
Abstract:
This paper proposes a class of resilient state estimators for LTV discrete-time systems. The dynamic equation of the system is assumed to be affected by a bounded process noise. As to the available measurements, they are potentially corrupted by a noise of both dense and impulsive natures. The latter in addition to being arbitrary in its form, need not be strictly bounded. In this setting, we cons…
▽ More
This paper proposes a class of resilient state estimators for LTV discrete-time systems. The dynamic equation of the system is assumed to be affected by a bounded process noise. As to the available measurements, they are potentially corrupted by a noise of both dense and impulsive natures. The latter in addition to being arbitrary in its form, need not be strictly bounded. In this setting, we construct the estimator as the set-valued map which associates to the measurements, the minimizing set of some appropriate performance functions. We consider a family of such performance functions each of which yielding a specific instance of the general estimator. It is then shown that the proposed class of estimators enjoys the property of resilience, that is, it induces an estimation error which, under certain conditions, is independent of the extreme values of the (impulsive) measurement noise. Hence, the estimation error may be bounded while the measurement noise is virtually unbounded. Moreover, we provide several error bounds (in different configurations) whose expressions depend explicitly on the degree of observability of the system being observed and on the considered performance function. Finally, a few simulation results are provided to illustrate the resilience property.
△ Less
Submitted 21 December, 2020; v1 submitted 4 June, 2019;
originally announced June 2019.
-
Resilient State Estimation for Discrete-Time Linear Systems
Authors:
Alexandre Kircher,
Laurent Bako,
Eric Blanco,
Mohamed Benallouch
Abstract:
This paper proposes a resilient state estimator for LTI discrete-time systems. The dynamic equation of the system is assumed to be affected by a bounded process noise. As to the available measurements, they are potentially corrupted by a noise of both dense and impulsive natures. In this setting, we construct the estimator as the map which associates to the measurements, the minimizing set of an a…
▽ More
This paper proposes a resilient state estimator for LTI discrete-time systems. The dynamic equation of the system is assumed to be affected by a bounded process noise. As to the available measurements, they are potentially corrupted by a noise of both dense and impulsive natures. In this setting, we construct the estimator as the map which associates to the measurements, the minimizing set of an appropriate (convex) performance function. It is then shown that the proposed estimator enjoys the property of resilience, that is, it induces an estimation error which, under certain conditions, is independent of the extreme values of the (impulsive) measurement noise. Therefore, the estimation error may be bounded while the measurement noise is virtually unbounded. Moreover, the expression of the bound depends explicitly on the degree of observability of the system being observed and on the considered performance function. Finally, a few simulation results are provided to illustrate the resilience property.
△ Less
Submitted 4 June, 2019;
originally announced June 2019.
-
Optimal control of discrete-time switched linear systems via continuous parameterization
Authors:
Jérémie Kreiss,
Laurent Bako,
Eric Blanco
Abstract:
The paper presents a novel method for designing an optimal controller for discrete-time switched linear systems. The problem is formulated as one of computing the discrete mode sequence and the continuous input sequence that jointly minimize a quadratic performance index. State-of-art methods for solving such a control problem suffer in general from a high computational requirement due to the fact…
▽ More
The paper presents a novel method for designing an optimal controller for discrete-time switched linear systems. The problem is formulated as one of computing the discrete mode sequence and the continuous input sequence that jointly minimize a quadratic performance index. State-of-art methods for solving such a control problem suffer in general from a high computational requirement due to the fact that an exponential number of switching sequences must be explored. The method of this paper addresses the challenge of the switching law design by introducing auxiliary continuous input variables and then solving a non-smooth block-sparsity inducing optimization problem.
△ Less
Submitted 23 April, 2017;
originally announced April 2017.
