Collection of open chapters of books in transport research
Computing Differential Invariants of Hybrid Systems as Fixedpoints
Abstract
We introduce a fixedpoint algorithm for verifying safety properties of hybrid systems with differential equations whose right-hand sides are polynomials in the state variables. In order to verify nontrivial systems without solving their differential equations and without numerical [...]
1- read
Abstract
Stochastic hybrid systems arise in numerous applications of systems with multiple models; e.g., air traffc management, flexible manufacturing systems, fault tolerant control systems etc. In a typical hybrid system, the state space is hybrid in the sense that some components take values [...]- 1
- read
Collection of open chapters of books in transport research
Formal verification of curved flight collision avoidance maneuvers a case study
Abstract
Aircraft collision avoidance maneuvers are important and complex applications. Curved flight exhibits nontrivial continuous behavior. In combination with the control choices during air traffic maneuvers, this yields hybrid systems with challenging interactions of discrete and continuous [...]- 3
- read
Collection of open conferences in research transport
Online Learning for Ground Trajectory Prediction
Abstract
This paper presents a model based on an hybrid system to numerically simulate the climbing phase of an aircraft. This model is then used within a trajectory prediction tool. Finally, the Covariance Matrix Adaptation Evolution Strategy (CMA-ES) optimization algorithm is used to tune [...]- 0
- read