sisl / terminal-airspace-models
Repository for "Learning Probabilistic Trajectory Models of Aircraft in Terminal Airspace from Position Data"
☆16Updated 6 years ago
Related projects ⓘ
Alternatives and complementary repositories for terminal-airspace-models
- Official PyTorch implementation of "Deep State Space Models for Nonlinear System Identification", 2020.☆88Updated 2 years ago
- Formal Verification of Neural Feedback Loops (NFLs)☆77Updated last month
- Pytorch Implementation of Deep Kalman Filter☆8Updated last year
- Aircraft Trajectory Prediction Python 3☆10Updated 2 years ago
- ☆57Updated 6 years ago
- Python simulation and hardware library for learning and control☆20Updated last year
- Reinforcement learning for an air traffic control task. OpenAI gym based simulation.☆68Updated last year
- AI4Science: Efficient data-driven Online Model Learning (OML) / system identification and control☆29Updated 2 years ago
- project for my essay on how to use neural networks to linearise nonlinear dynamical systems☆9Updated 4 years ago
- AutoKoopman - automated Koopman operator methods for data-driven dynamical systems analysis and control.☆57Updated 6 months ago
- Toolbox for system identification of nonlinear state space grey-box models using CasADi☆23Updated last year
- Toolbox for Automated Controller Synthesis☆17Updated 9 months ago
- IIB Master's Project: Deep Learning for Koopman Optimal Predictive Control☆42Updated 3 years ago
- Data-driven Koopman control theory applied to reinforcement learning!☆29Updated last year
- Source code for the examples accompanying the paper "Learning convex optimization control policies."☆80Updated last year
- A Neural Network Approach for Real-Time High-Dimensional Optimal Control☆25Updated 2 years ago
- Implementation of robust adaptive control methods for the linear quadratic regulator☆35Updated 2 years ago
- Source code for "Deep Variational Koopman Models: Inferring Koopman Observations for Uncertainty-Aware Dynamics Modeling and Control" fro…☆37Updated 5 years ago
- Toolbox for Reachability Analysis☆108Updated this week
- Learning dynamical systems from data: Koopman☆15Updated 4 years ago
- A framework for neural network control of dynamical systems over graphs.☆54Updated 2 years ago
- Enforcing robust control guarantees within neural network policies☆52Updated 3 years ago
- ☆35Updated last year
- Safe learning of regions of attraction in uncertain, nonlinear systems with Gaussian processes☆38Updated 4 years ago
- Jax version of F16 dynamics☆17Updated 2 months ago
- ☆40Updated last year
- Gaussian Process Regression Techniques - The source code corresponding to the Ph.D. thesis.☆69Updated 7 years ago
- Codes for designing Neural Contraction Metrics (NCMs)☆32Updated 4 years ago
- Learning Lyapunov functions and control policies of nonlinear dynamical systems☆119Updated 3 years ago
- Python Version of F-16 Maneuver Verification Benchmark☆112Updated last month