Faculty of Information Technology, BUT

Publication Details

Time in Cyber-Physical Systems: Specifications, Modeling and Measurements

ŠVÉDA Miroslav. Time in Cyber-Physical Systems: Specifications, Modeling and Measurements. In: Proceedings of the SCSI 2013. Recent Advances in Electrical Engineering Series, 16. Rhodes Island: European Society for Environmental Research and Sustainable Development, 2013, pp. 413-419. ISBN 978-1-61804-204-0.
Czech title
Čas v kyberneticko-fyzikálních systémech: specifikace, modelování a měření
Type
conference paper
Language
english
Authors
Keywords
cyber-physical system; time; temporal partial order; operational semantics; measurement
Abstract
This paper addresses the role, interpretation and the deployment of the notion "time" in distributed cyber-physical systems. It discusses various possibilities how to approach such modeling and selects the fitting one, which enables to utilize the related specification language ASL in the domain applications.
Published
2013
Pages
413-419
Proceedings
Proceedings of the SCSI 2013
Series
Recent Advances in Electrical Engineering Series, 16
Conference
The 2013 International Conference on Systems, Control, Signal Processing and Informatics, Rhodes (Rodos) Island, GR
ISBN
978-1-61804-204-0
Publisher
European Society for Environmental Research and Sustainable Development
Place
Rhodes Island, GR
BibTeX
@INPROCEEDINGS{FITPUB10334,
   author = "Miroslav \v{S}v\'{e}da",
   title = "Time in Cyber-Physical Systems: Specifications, Modeling and Measurements",
   pages = "413--419",
   booktitle = "Proceedings of the SCSI 2013",
   series = "Recent Advances in Electrical Engineering Series, 16",
   year = 2013,
   location = "Rhodes Island, GR",
   publisher = "European Society for Environmental Research and Sustainable Development",
   ISBN = "978-1-61804-204-0",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/10334"
}
Back to top