Corpus ID: 36422549

Project Description CPM : Cyber-Physical Data Mining for Predictive Maintenance

@inproceedings{Maler2017ProjectDC,
  title={Project Description CPM : Cyber-Physical Data Mining for Predictive Maintenance},
  author={O. Maler},
  year={2017}
}
The world around us is in a constant flux with “things” changing dynamically. Houses are airconditioned, power is generated, distributed and consumed, cars drive on roads and highways, plants manufacture materials and objects, commercial transactions are made and recorded in information systems. Airplanes fly, continuously changing location and velocity while their controllers deal with various state variables in the engine and wings. Those processes can be viewed as generating temporal… Expand

References

SHOWING 1-10 OF 16 REFERENCES
Mining Requirements From Closed-Loop Control Models
Robust Satisfaction of Temporal Logic over Real-Valued Signals
Functional gradient descent method for Metric Temporal Logic specifications
Monitoring Temporal Properties of Continuous Signals
Online Timed Pattern Matching Using Derivatives
Regular Expressions for Irregular Rhythms
Checking Temporal Properties of Discrete, Timed and Continuous Behaviors
Parametric Identification of Temporal Properties
...
1
2
...