Design and verification of Cyber-Physical Systems using TrueTime, evolutionary optimization and UPPAAL
author
Balasubramaniyan, Sreram
statement of authorship
Sreram Balasubramaniyan, Seshadhri Srinivasan, Furio Buonopane, B. Subathra, Jüri Vain, Srini Ramaswamy
publisher
journal volume number month
vol. 42
year of publication
pages
p. 37-48 : ill
subject term
keyword
jitter bound
evolutionary algorithm multi-objective
non-dominated sorting genetic algorithm II (NSGA II)
ISSN
0141-9331
notes
Bibliogr.: 51 ref
scientific publication
teaduspublikatsioon
classifier
category (general)
category (sub)
kvartiil
TTÜ department
language
inglise
Balasubramaniyan, S., Srinivasan, S. Buonopane, F., Balasubramanian, S., Vain, J., Ramaswamy, S. Design and verification of Cyber-Physical Systems using TrueTime, evolutionary optimization and UPPAAL // Microprocessors and microsystems (2016) vol. 42, p. 37-48 : ill.