Detail publikace

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

ŠVÉDA, M. Time in Cyber-Physical Systems: Specifications, Modeling and Measurements. Proceedings of the SCSI 2013. Recent Advances in Electrical Engineering Series, 16. Rhodes Island: European Society for Environmental Research and Sustainable Development, 2013. p. 413-419. ISBN: 978-1-61804-204-0.
Název česky
Čas v kyberneticko-fyzikálních systémech: specifikace, modelování a měření
Typ
článek ve sborníku konference
Jazyk
anglicky
Autoři
Švéda Miroslav, prof. Ing., CSc. (UTKO)
Klíčová slova

cyber-physical system; time; temporal partial order; operational semantics; measurement

Abstrakt

Příspěved se věnuje roli, interpretaci a využití pojmu "čas" v distribuovaných kyberneticko-fyzikálníéch systémech. Diskutuje různé možnosti jak přistoupit k takovému modelování a vybírá vhodné pro aplikace uvažované domény.

Rok
2013
Strany
413–419
Sborník
Proceedings of the SCSI 2013
Řada
Recent Advances in Electrical Engineering Series, 16
ISBN
978-1-61804-204-0
Vydavatel
European Society for Environmental Research and Sustainable Development
Místo
Rhodes Island
BibTeX 
@inproceedings{BUT103498,
  author="Miroslav {Švéda}",
  title="Time in Cyber-Physical Systems: Specifications, Modeling and Measurements",
  booktitle="Proceedings of the SCSI 2013",
  year="2013",
  series="Recent Advances in Electrical Engineering Series, 16",
  pages="413--419",
  publisher="European Society for Environmental Research and Sustainable Development",
  address="Rhodes Island",
  isbn="978-1-61804-204-0"
}
Nahoru