Publications

Affichage de 1061 à 1070 sur 5416


  • Communication dans un congrès

Towards a Method for the Decomposition by Refinement in Event-B

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

Refinement consists of detailing the specification in order to get a more concrete model. However, this technique leads to large models. Hence, model decomposition is used to reduce model complexity. In this paper, we present the main methods of decomposition and their limitations. Then, we define…

Formal Methods. FM 2019 International Workshops, Oct 2019, Porto, Portugal. pp.358-370, ⟨10.1007/978-3-030-54997-8_23⟩. ⟨hal-04662622⟩

  • Communication dans un congrès

Ethical Behaviour Aspects of Autonomous Intelligent Cyber-Physical Systems

Damien Trentesaux, Stamatis Karnouskos

Industry 4.0 fosters the development of more autonomousand intelligent cyber-physical systems that interact with humans in openenvironments. While the technical aspects are heavily researched, thesame does not hold for the accompanying ethical issues that are relevantfor the design, development,…

SOHOMA 2020: Service Oriented, Holonic and Multi-Agent Manufacturing Systems for Industry of the Future, Oct 2020, Paris, France. pp.55-71, ⟨10.1007/978-3-030-27477-1_5⟩. ⟨hal-03406129⟩

  • Chapitre d'ouvrage

Human-Machine Cooperation for the Distributed Control of a Hybrid Control Architecture

Yenny Paredes-Astudillo, José-Fernando Jimenez Gordillo, Gabriel Zambrano Rey, Damien Trentesaux

The fourth industrial revolution features smart and connected technologies that improve significantly business operations. Certainly, there is an increase of efficiency and productivity of smart factories due to the implementation of these innovative technologies. Nevertheless, this new industrial…

Borangiu; Trentesaux; Leitão; Giret; Botti. Service Oriented, Holonic and Multi-agent Manufacturing Systems for Industry of the Future, 853, Springer International Publishing, pp.98-110, 2020, Studies in Computational Intelligence, 978-3-030-27477-1. ⟨10.1007/978-3-030-27477-1_8⟩. ⟨hal-03406721⟩

Lu
Ma
Me
Je
Ve
Sa
Di
29
30
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
31
1
2
Effacer
Lu
Ma
Me
Je
Ve
Sa
Di
29
30
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
31
1
2
Effacer