IEEE - Institute of Electrical and Electronics Engineers, Inc. - Efficient and Scalable Runtime Monitoring for Cyber–Physical System

Author(s): Xi Zheng ; Christine Julien ; Rodion Podorozhny ; Franck Cassez ; Thierry Rakotoarivelo
Sponsor(s): IEEE Systems Council
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Volume: PP
Page(s): 1 - 12
ISSN (CD): 2373-7816
ISSN (Paper): 1932-8184
ISSN (Online): 1937-9234
DOI: 10.1109/JSYST.2016.2614599
Regular:

Our reliance on cyber-physical systems (CPSs) is increasingly widespread, but scalable methods for the analysis of such systems remain a significant challenge. Runtime verification of CPSs... View More

Advertisement