Learn More
On-line model based reconfiguration is generally used to improve the ability of a system to tolerate faults. Recovery after fault occurrence relies on allowing the system to proceed with its mission from a new known nominal state. In this paper, we consider on-line reconfiguration from a novel point of view, having in mind to use reconfiguration actions to(More)
In this paper we propose a hybrid system modeling framework aimed at analyzing diagnosability. In this framework, the hybrid system is seen as the composition of an underlying discrete event and an underlying continuous systems. Diagnosability of these two underlying systems are fully analyzed and new results are provided for the underlying continuous(More)
This paper deals with the problem of diagnosing systems that exhibit both continuous and discrete event dynamics. The proposed approach combines techniques from both continuous and discrete event diagnosis fields. On the on hand, an extension of the parity space approach is used to associate signatures to every operational mode of the system. On the other(More)
Estimating the state of a hybrid system means accounting for the mode of operation or failure and the current state of the continuously valued entities concurrently. Existing hybrid estimation schemes try to overcome the problem of an exponentially growing number of possible mode-sequence/continuous-state combinations by merging hypotheses and/or deducing(More)
Embedded controlled systems often undergo non-linear behaviors due in particular to actuator saturations. A way to tackle these non linearities is to model them by Piece-Wise-Affine (PWA) functions and to define an operating mode for each region of linear behavior. However, the number of components that could introduce saturations leads to an explosion of(More)
Tracking the evolution of hybrid systems from partial observations means tracking the continuously-valued state evolution and the interleaved discrete mode changes. Existing estimation schemes suffer from the exponential blow up of the number of hypotheses to be tracked and fall into suboptimal methods. On the other hand, hybrid parity-based mode estimation(More)
Hybrid mobile systems are at the core of nowadays technologies and play a critical part in many challenging applications such as agent-based emergency operations. The design and validation of such systems deserve particular attention and must be approached through appropriate modeling formalisms and properly defined properties. This paper aims at surveying(More)
  • 1