Publications

Affichage de 1711 à 1720 sur 6566


  • Article dans une revue

Enhancing the settling time estimation of a class of fixed‐time stable systems

Rodrigo Aldana-Lopez, David Gomez-Gutierrez, Esteban Jiménez-Rodríguez, Juan Diego Sanchez-Torres, Michael Defoort

In this paper, we provide a new nonconservative upper bound for the settling time of a class of fixed-time stable systems. To expose the value and the applicability of this result, we present four main contributions. First, we revisit the well-known class of fixed-time stable systems, to show the…

International Journal of Robust and Nonlinear Control, 2019, 29 (12), pp.4135-4148. ⟨10.1002/rnc.4600⟩. ⟨hal-03644253⟩

  • Communication dans un congrès

Event-B Decomposition Analysis for Systems Behavior Modeling

Kenza Kraibi, Rahma Ben Ayed, Joris Rehm, Simon Collart-Dutilleul, Philippe Bon, Dorian Petit

Applications of formal methods to critical systems such as railway systems have been studied by several research works. Their ultimate goal is to increase confidence and to ensure the behavior correctness of these systems. In this paper, we propose to use the Event-B formal method. As a central…

14th International Conference on Software Technologies, Jul 2019, Prague, Czech Republic. pp.278-286, ⟨10.5220/0007929602780286⟩. ⟨hal-03679809⟩