Optimization of linear max-plus systems with application to timing analysis
Optimization of linear max-plus systems with application to timing analysis
Algorithms for Interface Timing Verification
ICCD '92 Proceedings of the 1991 IEEE International Conference on Computer Design on VLSI in Computer & Processors
Model-Based Fault Diagnosis in Dynamic Systems Using Identification Techniques
Model-Based Fault Diagnosis in Dynamic Systems Using Identification Techniques
Brief paper: Input signal design for identification of max-plus-linear systems
Automatica (Journal of IFAC)
Switching systems: active mode recognition, identification of the switching law
Journal of Control Science and Engineering
Duality Between Invariant Spaces for Max-Plus Linear Discrete Event Systems
SIAM Journal on Control and Optimization
Hi-index | 0.00 |
This paper presents an estimation approach for Time Event Graphs such as P-Time Event Graphs and Time Stream Event Graphs. It is assumed that the nominal behavior is known and that transitions are partitioned as observable and unobservable transitions. The technique is applied to the detection of changes which are (possibly small) finite variations of dynamic models compared to this nominal behavior. The detected changes provide indications that can be used in future maintenance operations. Using the algebra of dioids, the approach uses a receding-horizon estimation of the greatest state and analyzes the consistency of the data.