prindi

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

autor
Balasubramaniyan, Sreram
Srinivasan, Seshadhri
Buonopane, Furio
Balasubramanian, Subathra
Vain, Jüri
Ramaswamy, Srini
vastutusandmed
Sreram Balasubramaniyan, Seshadhri Srinivasan, Furio Buonopane, B. Subathra, Jüri Vain, Srini Ramaswamy
allikas
Microprocessors and microsystems
kirjastus/väljaandja
Elsevier
ajakirja aastakäik number kuu
vol. 42
ilmumisaasta
2016
leheküljed
p. 37-48 : ill
leitav
https://doi.org/10.1016/j.micpro.2015.12.006
märksõna
arvutisüsteemid
digitaaltehnika
optimeerimine
algoritmid
võtmesõna
Cyber-Physical Systems (CPS)
jitter bound
evolutionary algorithm multi-objective
optimization (EMO)
non-dominated sorting genetic algorithm II (NSGA II)
UPPAAL
model checking
ISSN
0141-9331
märkused
Bibliogr.: 51 ref
teaduspublikatsioon
teaduspublikatsioon
klassifikaator
1.1
Scopus
Journal metrics at Scopus
Article at Scopus
WOS
Journal metrics at WOS
Article at WOS
kategooria (üld)
Computer science
kategooria (alam)
Computer science. Computer networks and communications
Computer science. Hardware and architecture
Computer science. Software
Computer science. Artificial intelligence
kvartiil
Q2
TTÜ struktuuriüksus
TTÜ Küberneetika Instituut
arvutiteaduse instituut
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. https://doi.org/10.1016/j.micpro.2015.12.006