An Automated Generation Approach of Simulation Models for Checking Control/Monitoring System

Sophie Prat, Jeremy Cavron, Djamal Kesraoui, Philippe Rauffet (), Pascal Berruet () and Alain Bignon ()
Additional contact information
Sophie Prat: Lab-STICC_UBS_CACS_MOCS - Lab-STICC - Laboratoire des sciences et techniques de l'information, de la communication et de la connaissance - UEB - Université européenne de Bretagne - European University of Brittany - ENIB - École Nationale d'Ingénieurs de Brest - UBS - Université de Bretagne Sud - UBO - Université de Brest - Télécom Bretagne - IBNM - Institut Brestois du Numérique et des Mathématiques - UBO - Université de Brest - ENSTA Bretagne - École Nationale Supérieure de Techniques Avancées Bretagne - IMT - Institut Mines-Télécom [Paris] - CNRS - Centre National de la Recherche Scientifique
Djamal Kesraoui: Segula Technologies [France]
Philippe Rauffet: Lab-STICC_UBS_CID_IHSEV - Lab-STICC - Laboratoire des sciences et techniques de l'information, de la communication et de la connaissance - UEB - Université européenne de Bretagne - European University of Brittany - ENIB - École Nationale d'Ingénieurs de Brest - UBS - Université de Bretagne Sud - UBO - Université de Brest - Télécom Bretagne - IBNM - Institut Brestois du Numérique et des Mathématiques - UBO - Université de Brest - ENSTA Bretagne - École Nationale Supérieure de Techniques Avancées Bretagne - IMT - Institut Mines-Télécom [Paris] - CNRS - Centre National de la Recherche Scientifique
Pascal Berruet: Lab-STICC_UBS_CACS_MOCS - Lab-STICC - Laboratoire des sciences et techniques de l'information, de la communication et de la connaissance - UEB - Université européenne de Bretagne - European University of Brittany - ENIB - École Nationale d'Ingénieurs de Brest - UBS - Université de Bretagne Sud - UBO - Université de Brest - Télécom Bretagne - IBNM - Institut Brestois du Numérique et des Mathématiques - UBO - Université de Brest - ENSTA Bretagne - École Nationale Supérieure de Techniques Avancées Bretagne - IMT - Institut Mines-Télécom [Paris] - CNRS - Centre National de la Recherche Scientifique
Alain Bignon: Segula Technologies [France]

Post-Print from HAL

Keywords: Modelling and control of hybrid and discrete event systems; Supervision and testing; Verification of hybrid systems; Virtual commissioning (search for similar items in EconPapers)
Date: 2017-07
References: Add references at CitEc
Citations:

Published in IFAC World Congress, Jul 2017, Toulouse, France

There are no downloads for this item, see the EconPapers FAQ for hints about obtaining it.

Related works:
This item may be available elsewhere in EconPapers: Search for items with the same title.

Export reference: BibTeX RIS (EndNote, ProCite, RefMan) HTML/Text

Persistent link: https://EconPapers.repec.org/RePEc:hal:journl:hal-01590450

Access Statistics for this paper

More papers in Post-Print from HAL
Bibliographic data for series maintained by CCSD ().