Design and verification of Cyber-Physical Systems using TrueTime, evolutionary optimization and UPPAAL
author
Balasubramaniyan, Sreram
Srinivasan, Seshadhri
Buonopane, Furio
Balasubramanian, Subathra
Vain, Jüri
Ramaswamy, Srini
statement of authorship
Sreram Balasubramaniyan, Seshadhri Srinivasan, Furio Buonopane, B. Subathra, Jüri Vain, Srini Ramaswamy
source
Microprocessors and microsystems
publisher
Elsevier
journal volume number month
vol. 42
year of publication
2016
pages
p. 37-48 : ill
url
https://doi.org/10.1016/j.micpro.2015.12.006
subject term
arvutisüsteemid
digitaaltehnika
optimeerimine
algoritmid
keyword
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
notes
Bibliogr.: 51 ref
scientific publication
teaduspublikatsioon
classifier
1.1
Scopus
https://www.scopus.com/sourceid/15552
https://www.scopus.com/record/display.uri?eid=2-s2.0-84969352242&origin=inward&txGid=4c40641a614e2ffeec7c3aaebc03d362
WOS
https://jcr.clarivate.com/jcr-jp/journal-profile?journal=MICROPROCESS%20MICROSY&year=2016
https://www.webofscience.com/wos/woscc/full-record/WOS:000375336900004
category (general)
Computer science
Arvutiteadus
category (sub)
Computer science. Computer networks and communications
Arvutiteadus. Arvutivõrgud ja side
Computer science. Hardware and architecture
Arvutiteadus. Riistvara ja arhitektuur
Computer science. Software
Arvutiteadus. Tarkvara
Computer science. Artificial intelligence
Arvutiteadus. Tehisintellekt
quartile
Q2
TalTech department
TTÜ Küberneetika Instituut
arvutiteaduse instituut
language
inglise