Simulation of cyber physical systems behaviour using timed plant models
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...
| Main Author: | |
|---|---|
| Other Authors: | , , , |
| Format: | article |
| Language: | eng |
| Published: |
2018
|
| Subjects: | |
| Online Access: | http://hdl.handle.net/1822/51378 |
| Country: | Portugal |
| Oai: | oai:repositorium.sdum.uminho.pt:1822/51378 |