Please use this identifier to cite or link to this item:

TitleSimulation of cyber physical systems behaviour using timed plant models
Author(s)Canadas, Nuno
Machado, José
Soares, Filomena
Barros, Carlos
Varela, Maria Leonilde Rocha
KeywordsController modelling
Cyber physical systems design
Plant modelling
Issue date2018
Abstract(s)When developing a reliable controller for cyber-physical systems, one of the main issues is to guarantee that all behaviour properties of such systems will be accomplished. For this purpose, it is very important to find and use formalisms and tools in order to model the controller and the respective plant. Moreover, it is very important to consider the same formalism for modelling both. The accurate model of a plant is usually difficult to obtain. To solve this problem, several techniques for modelling the plant have been developed in the recent past years. However, some of them have lacks that do not allow a fast, reliable and flexible way for plant modelling. In this paper a systematic approach for modelling cyber physical systems using timed automata is presented. The proposed approach allows defining a systematic way for creating global models for both the plant and the controller. These models, may be used to simulate and validate the cyber physical systems. For this purpose software tools, as UPPAAL, and other simulation configurations, as Model-in-the-loop and Hardware-in-the-loop, can be used. In order to present and explain the proposed methodology, a virtual platform and a physical workbench have been developed, from a transport objects station example, where Model-in-the-loop and Hardware-in-the-loop configurations are used in a subsequent manner in the context of the presented system modelling methodology.
AccessRestricted access (Author)
Appears in Collections:CAlg - Artigos em revistas internacionais/Papers in international journals

Files in This Item:
File Description SizeFormat 
SI_Mechatronics R2_.pdf
  Restricted access
1,08 MBAdobe PDFView/Open

Partilhe no FacebookPartilhe no TwitterPartilhe no DeliciousPartilhe no LinkedInPartilhe no DiggAdicionar ao Google BookmarksPartilhe no MySpacePartilhe no Orkut
Exporte no formato BibTex mendeley Exporte no formato Endnote Adicione ao seu ORCID