5 research outputs found
Interval Reachability Analysis using Second-Order Sensitivity
We propose a new approach to compute an interval over-approximation of the
finite time reachable set for a large class of nonlinear systems. This approach
relies on the notions of sensitivity matrices, which are the partial
derivatives representing the variations of the system trajectories in response
to variations of the initial states. Using interval arithmetics, we first
over-approximate the possible values of the second-order sensitivity at the
final time of the reachability problem. Then we exploit these bounds and the
evaluation of the first-order sensitivity matrices at a few sampled initial
states to obtain an over-approximation of the first-order sensitivity, which is
in turn used to over-approximate the reachable set of the initial system.
Unlike existing methods relying only on the first-order sensitivity matrix,
this new approach provides guaranteed over-approximations of the first-order
sensitivity and can also provide such over-approximations with an arbitrary
precision by increasing the number of samples
Correct-By-Construction Fault-Tolerant Control
Correct-by-construction control synthesis methods refer to a collection of model-based techniques to algorithmically generate controllers/strategies that make the systems satisfy some formal specifications. Such techniques attract much attention as they provide formal guarantees on the correctness of cyber-physical systems, where corner cases may arise due to the interaction among
different modules. The controllers synthesized through such methods, however, may still malfunction due to faults, such as physical component failures and unexpected operating conditions, which lead to a sudden change of the system model. In these cases, we want to guarantee that the performance of the faulty system degrades gracefully, and hence achieve fault tolerance.
This thesis is about 1) incorporating fault detection and detectability analysis algorithms in correct-by-construction control synthesis,
2) formalizing the graceful degradation specification for fault tolerant systems with temporal logic, and 3) developing algorithms to synthesize correct-by-construction controllers that achieve such graceful degradation, with possible delay in the fault detection. In particular, two sets of
approaches from the temporal logic planning domain, i.e., abstraction-based synthesis and optimization-based path planning, are considered.
First, for abstraction-based approaches, we propose a recursive algorithm to reduce the fault tolerant controller synthesis problem into multiple small synthesis problems with simpler specifications. Such recursive reduction leverages the structure of the fault propagation and hence avoids the high
complexity of solving the problem monolithically as one general temporal logic game. Furthermore, by exploring the structural properties in the specifications, we show that, even when the fault is detected with delay, the problem can be solved by a similar recursive algorithm without constructing the belief space.
Secondly, optimization-based path planning is considered. The proposed approach leverages the recently developed temporal logic encodings and state-of-art mixed integer programming (MIP) solvers. The novelty of this work is to enhance the open-loop strategy obtained through solving the MIP so that it can react contingently to faults and disturbance.
Finally, the control synthesis techniques developed for discrete state systems is shown to be applicable to continuous states systems. This is demonstrated by fuel cell thermal management application. Particularly, to apply the abstraction-based synthesis methods to complex systems such as the fuel cell thermal management system, structural properties (e.g., mixed monotonicity) of the system are explored and leveraged to ease abstraction computation, and techniques are developed to improve the scalability of synthesis process whenever the system has a large number of control actions.PHDElectrical Engineering: SystemsUniversity of Michigan, Horace H. Rackham School of Graduate Studieshttps://deepblue.lib.umich.edu/bitstream/2027.42/155031/1/yliren_1.pd