Conference paper

ŠVÉDA Miroslav. Time in Cyber-Physical Systems: Specifications, Modeling and Measurements. In: Proceedings of the SCSI 2013. Rhodes Island: European Society for Environmental Research and Sustainable Development, 2013, pp. 413-419. ISBN 978-1-61804-204-0.
Publication language:english
Original title:Time in Cyber-Physical Systems: Specifications, Modeling and Measurements
Title (cs):Čas v kyberneticko-fyzikálních systémech: specifikace, modelování a měření
Pages:413-419
Proceedings:Proceedings of the SCSI 2013
Conference:The 2013 International Conference on Systems, Control, Signal Processing and Informatics
Series:Recent Advances in Electrical Engineering Series, 16
Place:Rhodes Island, GR
Year:2013
ISBN:978-1-61804-204-0
Publisher:European Society for Environmental Research and Sustainable Development
Keywords
cyber-physical system; time; temporal partial order; operational semantics; measurement
Annotation
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.
BibTeX:
@INPROCEEDINGS{
   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 = {http://www.fit.vutbr.cz/research/view_pub.php.en.iso-8859-2?id=10334}
}

Your IPv4 address: 54.147.40.153
Switch to IPv6 connection

DNSSEC [dnssec]