Martin Mladenovski

Learn More
The paper presents the role of self-stabilization analysis in the design, verification and validation of the dynamics of an Adaptive Flight Control System (AFCS). Since the traditional self-stabilization approaches lack the flexibility to deal with the continuous adaptation of the neural network within the AFCS, the paper emphasizes an alternate(More)
except for brief excerpts in connection with reviews or scholarly analysis. Use in connection with any form of information storage and retrieval, electronic adaptation, computer software, or by similar or dissimilar methodology now know or hereafter developed is forbidden. The use in this publication of trade names, trademarks, service marks and similar(More)
The ability to assure reliability of adaptation is important in safety-critical applications. Traditional software V&V techniques cannot account for the time-evolving nature of a generic dynamic system, making them inapplicable for computing systems assurance. In this paper, we propose considering stability of adaptation as a heuristic measure of(More)
We describe a data fusion technique suitable for use in validation of a real-time autonomous system. The technique is based on the Dempster-Shafer theory and Murphy's rule for beliefs combination. The methodology is applied for fusing the learning stability estimates, provided by an online neural network monitoring methodology, into a single probabilistic(More)
  • 1