One major challenge in self-adaptive systems is to assure the required quality properties.
Formal methods provide the means to rigorously specify and reason about the behaviors of …

According to an example, an adaptive fault diagnosis system may include a memory storing
machine readable instructions to receive metrics and events from an enterprise system, and …

(57) ABSTRACT A system and method for analysis of complex systems which includes
determining model parameters based on time series data, further including profiling a …

The management of large-scale distributed information systems relies on the effective use
and modeling of monitoring data collected at various points in the distributed information …

The analysis of large scale data logged from complex cyber-physical systems, such as
microgrids, often entails the discovery of invariants capturing functional as well as …

Systems and methods for anomaly detection in complex physical systems, including
extracting features representa tive of a temporal evolution of the complex physical system …

With cloud computing, a cycle of fault diagnosis and recovery becomes the norm. There is a
large amount of monitoring data and log events available, but it is hard to figure out which …

According to an example, an adaptive fault diagnosis system may include a memory storing
machine readable instruc tions to receive metrics and events from an enterprise system, and …

Society today is completely dependent on computer networks, the Internet and distributed
systems, which place at our disposal the necessary services to perform our daily tasks …

Reconfigurable Autonomy for Future Planetary Rovers Guy Burroughes Page 1 Reconfigurable
Autonomy for Future Planetary Rovers Guy Burroughes Surrey Space Centre Faculty of …