full record print

Design and verification of Cyber-Physical Systems using TrueTime, evolutionary optimization and UPPAAL

author
statement of authorship
Sreram Balasubramaniyan, Seshadhri Srinivasan, Furio Buonopane, B. Subathra, Jüri Vain, Srini Ramaswamy
source
publisher
journal volume number month
vol. 42
year of publication
pages
p. 37-48 : ill
url
ISSN
0141-9331
notes
Bibliogr.: 51 ref
scientific publication
teaduspublikatsioon
language
inglise
subject term
keyword
Cyber-Physical Systems (CPS)
jitter bound
evolutionary algorithm multi-objective
optimization (EMO)
non-dominated sorting genetic algorithm II (NSGA II)
UPPAAL
model checking
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. https://doi.org/10.1016/j.micpro.2015.12.006