TL;DR
An educational methodology that combines adaptive intelligent tutoring with formal verification techniques to train students to train students to design, analyze, and formally prove the correctness of reliability-related algorithms used in onboard computing systems for safety-critical aerospace systems is developed.
It is concluded that AI-enabled test automation can improve testing efficiency and adaptability when learning mechanisms are combined with controlled validation, risk-based decision criteria, and human oversight.
The safe and stable operation of pumped storage hydropower (PSH) plants is heavily reliant on the correctness of their Supervisory Control and Data Acquisition (SCADA) systems. Conventional testing methods often fall short in validating the complex, system-wide control logic under comprehensive operational scenarios. T...
This comprehensive review systematically categorizes these methodologies into qualitative approaches—including abstraction hierarchies, fault tree models, signed directed graphs, and fuzzy logic formulations—and quantitative mathematical techniques, encompassing analytical redundancy, parity spaces, Kalman filtering fr...
The research identified key features of decision support models and algorithms that improve aviation safety through real-time monitoring and adaptive response and contributed to the development of intelligent data analysis methods and decision support algorithms for aviation safety.
The architecture of a simulation-based software environment for verifying control and decision-making algorithms in multi-agent cyber-physical systems is presented and supports systematic assessment of the reliability, resilience, and efficiency of distributed control algorithms under diverse operating conditions.
A study on fault-tolerant control (FTC) design based on RL techniques for a high-performance aircraft to address the faults in angular velocity sensors, and results show that the proposed control system significantly improves the aircraft’s stability and handling under various maneuvers.
We use cookies to run the site and, with your consent, for analytics and to show ads. See our Cookie Policy.
