Online verification in cyber‐physical systems: Practical bounds for meaningful temporal costs
Sign Up to like & getrecommendations! Published in 2018 at "Journal of Software: Evolution and Process"
DOI: 10.1002/smr.1880
Abstract: Cyber‐physical systems (CPS) are highly dynamic and large scale systems integrated with the physical environment that they monitor and actuate on. CPS have to adapt online to the changing nature of the physical environment; this… read more here.
Keywords: system; online verification; cyber physical; temporal costs ... See more keywords