Design and verification of Cyber-Physical Systems using TrueTime, evolutionary optimization and UPPAAL
autor
Balasubramaniyan, Sreram
vastutusandmed
Sreram Balasubramaniyan, Seshadhri Srinivasan, Furio Buonopane, B. Subathra, Jüri Vain, Srini Ramaswamy
allikas
ajakirja aastakäik number kuu
vol. 42
ilmumisaasta
leheküljed
p. 37-48 : ill
võtmesõna
jitter bound
evolutionary algorithm multi-objective
non-dominated sorting genetic algorithm II (NSGA II)
ISSN
0141-9331
märkused
Bibliogr.: 51 ref
TTÜ struktuuriüksus
keel
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. http://dx.doi.org/10.1016/j.micpro.2015.12.006