A Requirements-Driven Methodology: Formal Modelling and Verification of an Aircraft Engine Controller.
Oisín SheridanRosemary MonahanMatt LuckcuckPublished in: IFM (2022)
Keyphrases
- formal methods
- control system
- formal analysis
- data driven
- model checking
- design methodology
- flight control
- software requirements
- fuzzy cognitive maps
- control method
- controller design
- functional requirements
- control scheme
- real time
- optimal control
- closed loop
- neural network
- control law
- face verification
- dynamic model
- numerical simulations
- power system
- expert systems
- air traffic control
- multi agent systems