Control of DES with Urgency, Avoidability and Ineluctability

Jean-Luc Béchennec; Didier Lime; Olivier Henri Roux

Home
Browse
Search

Conference papers

Control of DES with Urgency, Avoidability and Ineluctability

Jean-Luc Béchennec ¹ Didier Lime ² Olivier Henri Roux ²

1 LS2N - Laboratoire des Sciences du Numérique de Nantes

2 STR - STR

LS2N - Laboratoire des Sciences du Numérique de Nantes

Jean-Luc Béchennec ¹ AuthorId : 1157381

Author IdHAL : jean-luc-bechennec ORCID : https://orcid.org/0000-0002-3763-8417

Didier Lime ² AuthorId : 785087

Author IdHAL : didier-lime

Olivier Henri Roux ² AuthorId : 980115

Author IdHAL : olivier-roux

1 LS2N - Laboratoire des Sciences du Numérique de Nantes (Université de Nantes – faculté des Sciences et Techniques (FST) 2 Chemin de la Houssinière BP 92208, 44322 Nantes Cedex 3 - France) StructId : 473973

Université de Nantes - Faculté des Sciences et des Techniques (2, rue de la Houssinière - BP 92208 - 44322 Nantes cedex 3 - France) StructId : 97058
- UN - Université de Nantes (1, quai de Tourville - BP 13522 - 44035 Nantes cedex 1 - France) StructId : 93263
ECN - École Centrale de Nantes (1 rue de la Noë - BP 92101 - 44321 Nantes cedex 3 - France) StructId : 111023
CNRS - Centre National de la Recherche Scientifique : UMR6004 (France) StructId : 441569
IMT Atlantique - IMT Atlantique Bretagne-Pays de la Loire (Campus Brest : Technopôle Brest-Iroise CS 8381829238 BREST Cedex 3 - Campus Nantes : 4, rue Alfred Kastler- La chantrerie 44300 NANTES - Campus Rennes : 2 Rue de la Châtaigneraie, 35510 CESSON SEVIGNE - France) StructId : 481355
- IMT - Institut Mines-Télécom [Paris] (37-39 Rue Dareau, 75014 Paris - France) StructId : 302102

2 STR - STR (France) StructId : 481380

LS2N - Laboratoire des Sciences du Numérique de Nantes (Université de Nantes – faculté des Sciences et Techniques (FST) 2 Chemin de la Houssinière BP 92208, 44322 Nantes Cedex 3 - France) StructId : 473973
- Université de Nantes - Faculté des Sciences et des Techniques (2, rue de la Houssinière - BP 92208 - 44322 Nantes cedex 3 - France) StructId : 97058
  - UN - Université de Nantes (1, quai de Tourville - BP 13522 - 44035 Nantes cedex 1 - France) StructId : 93263
- ECN - École Centrale de Nantes (1 rue de la Noë - BP 92101 - 44321 Nantes cedex 3 - France) StructId : 111023
- CNRS - Centre National de la Recherche Scientifique : UMR6004 (France) StructId : 441569
- IMT Atlantique - IMT Atlantique Bretagne-Pays de la Loire (Campus Brest : Technopôle Brest-Iroise CS 8381829238 BREST Cedex 3 - Campus Nantes : 4, rue Alfred Kastler- La chantrerie 44300 NANTES - Campus Rennes : 2 Rue de la Châtaigneraie, 35510 CESSON SEVIGNE - France) StructId : 481355
  - IMT - Institut Mines-Télécom [Paris] (37-39 Rue Dareau, 75014 Paris - France) StructId : 302102

Document type :

Conference papers

Domain :

Computer Science [cs] / Modeling and Simulation

Computer Science [cs] / Systems and Control [cs.SY]

Computer Science [cs] / Computer Science and Game Theory [cs.GT]

Complete list of metadatas

https://hal.archives-ouvertes.fr/hal-02415301
Contributor : Jean-Luc Béchennec <>
Submitted on : Friday, January 8, 2021 - 4:43:55 PM
Last modification on : Wednesday, January 20, 2021 - 1:18:35 PM

File

acsd2019-control-DES.pdf

Files produced by the author(s)

Identifiers

HAL Id : hal-02415301, version 1

Collections

Citation

Jean-Luc Béchennec, Didier Lime, Olivier Henri Roux. Control of DES with Urgency, Avoidability and Ineluctability. 19th International Conference on Application of Concurrency to System Design (ACSD 2019), Jun 2019, Aachen, Germany. ⟨hal-02415301⟩

Export

BibTeX TEI DC DCterms EndNote

Metrics

Record views

80

Files downloads

Control of DES with Urgency, Avoidability and Ineluctability

File

Identifiers

Collections

Citation

Export

Share

Metrics

80

16