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...
| Autor principal: | |
|---|---|
| Outros Autores: | , , , |
| Formato: | article |
| Idioma: | eng |
| Publicado em: |
2018
|
| Assuntos: | |
| Texto completo: | http://hdl.handle.net/1822/51378 |
| País: | Portugal |
| Oai: | oai:repositorium.sdum.uminho.pt:1822/51378 |