Safe Flight Envelope Prediction and Experimental Validation of Multirotor UAV: An Analysis on the Effects of Longitudinal Center of Gravity Position and Actuator Dynamics on Quadcopter Flight Envelopes

Abstracting the Traffic of Nonlinear Event-Triggered Control Systems

Visualizing Quantum Circuit Probability: Estimating Quantum State Complexity for Quantum Program Synthesis

Trajectory Pruning with Neural Networks for Efficient Monte-Carlo based Quadrotor Flight Envelope Prediction

Model-based Control of Large-scale Baggage Handling Systems: Leveraging the Theory of Linear Positive Systems for Robust Scalable Control Design

Formal synthesis of closed-form sampled-data controllers for nonlinear continuous-time systems under STL specifications

Stochastic model predictive control for linear systems affected by correlated disturbances

Applying Koopman Methods for Nonlinear Reachability Analysis

Reachability-based Robustness of Controllability in Sparse Communication Networks

Formal synthesis of analytic controllers: An evolutionary approach

4th Harbour Scheveningen: Masterplan

Humanitarian access, interrupted: dynamic near real-time network analytics and mapping for reaching communities in disaster-affected countries

Linear positive systems may have a reachable subset from the origin that is either polyhedral or nonpolyhedral

Automatic robust controller synthesis: With application to a wet clutch system

Traffic models of periodic event-triggered control systems

Time-Varying Risk Measurement for Ship Collision Prevention

Envelope Estimation and Protection of Innovative Control Effectors (ICE) Aircraft: A Probabilistic Approach

Reachable set estimation for switched linear systems with dwell-time switching

Safe Flight Envelope Uncertainty Quantification using Probabilistic Reachability Analysis

Robot Placement for Mobile Manipulation in Domestic Environments