Login / Signup
Optimization of Safety Critical IFR Helicopter Trajectories in Alpine Areas Using MILP.
Evelyn Weiss
Sébastien Guillaume
Alain Geiger
Roland Hohensinn
Heinz Wipf
Published in:
IEEE Trans. Aerosp. Electron. Syst. (2023)
Keyphrases
</>
safety critical
formal methods
fault tolerant
safety analysis
real time
support systems
nuclear power plant
embedded systems
expert systems
agent architecture
e learning
distributed systems
software systems
linear program