Publications

Affichage de 1621 à 1630 sur 6465


  • 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⟩

  • Chapitre d'ouvrage

Le monument funéraire du cardinal et évêque de Cambrai Pierre d’Ailly (ca 1402)

Ludovic Nys

Jean-Patrice BOUDET; Monica BRINZEL; Fabrice DELIVRÉ; Hélène MILLET; Jacques VERGER; Michel ZINK. Pierre d’Ailly. Un esprit universel à l’aube du XVe siècle, Académie des Inscriptions et Belles-Lettres, pp.163-182, 2019, 9782877543804. ⟨hal-03701606⟩

Lu
Ma
Me
Je
Ve
Sa
Di
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
1
2
3
4
5
Effacer
Lu
Ma
Me
Je
Ve
Sa
Di
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
1
2
3
4
5
Effacer