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

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

journal volume number month

vol. 42

year of publication

2016

pages

p. 37-48 : ill

url

http://dx.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

TTÜ department

TTÜ Küberneetika Instituut

arvutiteaduse instituut

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. http://dx.doi.org/10.1016/j.micpro.2015.12.006