Synthesis of Supervisors Robust Against Sensor Deception Attacks

Rômulo Meira-Góes; Stéphane Lafortune; Hervé Marchand

Home
Submit
Browse all HAL
Inria publications
Search
Services
Help
OpenAccess
- Inria supporting open science

Preprints, Working Papers, ...

Synthesis of Supervisors Robust Against Sensor Deception Attacks

Rômulo Meira-Góes ^{1, 2} Stéphane Lafortune ^{1, 2} Hervé Marchand ³

1 EECS - Department of Electrical Engineering and Computer Science

2 University of Michigan [Ann Arbor]

3 SUMO - SUpervision of large MOdular and distributed systems

Inria Rennes – Bretagne Atlantique , IRISA-D4 - LANGAGE ET GÉNIE LOGICIEL

Rômulo Meira-Góes ^{1, 2} AuthorId : 11677394
Author

Stéphane Lafortune ^{1, 2} AuthorId : 169412
Author

Hervé Marchand ³ AuthorId : 52499
Author Employer institution : Institut National de Recherche en Informatique et en Automatique IdHAL : herve-marchand IdRef : https://www.idref.fr/095626360

1 EECS - Department of Electrical Engineering and Computer Science (United States) StructId : 16440

University of Michigan [Ann Arbor] (500 Church Street Ann Arbor, MI 48109-1090 - United States) StructId : 24332
- University of Michigan System (Michigan - United States) StructId : 566437

2 University of Michigan [Ann Arbor] (500 Church Street Ann Arbor, MI 48109-1090 - United States) StructId : 24332

University of Michigan System (Michigan - United States) StructId : 566437

3 SUMO - SUpervision of large MOdular and distributed systems (Campus de Beaulieu 35042 Rennes cedex - France) StructId : 491208

Inria Rennes – Bretagne Atlantique (Campus de beaulieu 35042 Rennes cedex - France) StructId : 419153
- Inria - Institut National de Recherche en Informatique et en Automatique (Domaine de Voluceau Rocquencourt - BP 105 78153 Le Chesnay Cedex - France) StructId : 300009
IRISA-D4 - LANGAGE ET GÉNIE LOGICIEL (France) StructId : 491188
- IRISA - Institut de Recherche en Informatique et Systèmes Aléatoires (Avenue du général Leclerc Campus de Beaulieu 35042 RENNES CEDEX - France) StructId : 490899
  - UBS - Université de Bretagne Sud (BP 92116 - 56321 Lorient cedex - France) StructId : 172265
  - INSA Rennes - Institut National des Sciences Appliquées - Rennes (20, avenue des Buttes de Coësmes - CS 70839 - 35708 Rennes cedex 7 - France) StructId : 117606
    - INSA - Institut National des Sciences Appliquées (France) StructId : 301232
    - UNIV-RENNES - Université de Rennes (France) StructId : 528860
  - Inria - Institut National de Recherche en Informatique et en Automatique (Domaine de Voluceau Rocquencourt - BP 105 78153 Le Chesnay Cedex - France) StructId : 300009
  - ENS Rennes - École normale supérieure - Rennes (Campus de Ker Lann - avenue Robert Schuman - 35170 Bruz - France) StructId : 247362
  - CNRS - Centre National de la Recherche Scientifique : UMR6074 (France) StructId : 441569
  - UR1 - Université de Rennes 1 (2 rue du Thabor - CS 46510 - 35065 Rennes cedex - France) StructId : 105160
    - UNIV-RENNES - Université de Rennes (France) StructId : 528860
  - CentraleSupélec (3, rue Joliot Curie, Plateau de Moulon, 91192 GIF-SUR-YVETTE Cedex - France) StructId : 411575
  - 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 :

Preprints, Working Papers, ...

Domain :

Computer Science [cs] / Software Engineering [cs.SE]

Complete list of metadata

https://hal.inria.fr/hal-03116690
Contributor : Hervé Marchand Connect in order to contact the contributor
Submitted on : Wednesday, January 20, 2021 - 3:07:15 PM
Last modification on : Wednesday, November 3, 2021 - 6:35:50 AM
Long-term archiving on: : Wednesday, April 21, 2021 - 6:46:56 PM

File

2012.12932.pdf

Files produced by the author(s)

Identifiers

HAL Id : hal-03116690, version 1

Collections

Citation

Rômulo Meira-Góes, Stéphane Lafortune, Hervé Marchand. Synthesis of Supervisors Robust Against Sensor Deception Attacks. 2020. ⟨hal-03116690⟩

Export

BibTeX TEI DC DCterms EndNote

Metrics

Les métriques sont temporairement indisponibles

Synthesis of Supervisors Robust Against Sensor Deception Attacks

File

Identifiers

Collections

Citation

Export

Share

Metrics

Contact Legal Notice Personal Data