A Modular Approach to the Specification and Validation of an Electrical Flight Control System.
Marielle DocheIsabelle Vernier-MounierFabrice KordonPublished in: FME (2001)
Keyphrases
- control system
- fuzzy logic
- real time
- closed loop
- control algorithm
- control law
- dc motor
- power grid
- electro mechanical
- control scheme
- flight data
- high level
- physical characteristics
- transmission line
- control strategy
- modular structure
- specification language
- civil aviation
- highly modular
- controller design
- formal verification
- real environment
- model validation
- flight test
- modular neural networks