Conflict resolution for air traffic management: a study in multiagent hybrid systems
From MaRDI portal
Publication:4393077
Recommendations
- scientific article; zbMATH DE number 1487525
- Modeling the invariant method of dynamic resolution of aircraft conflicts
- Monte Carlo optimisation for conflict resolution in air traffic control
- Efficient air traffic conflict resolution by minimizing the number of affected aircraft
- scientific article; zbMATH DE number 1342082
Cited in
(only showing first 100 items - show all)- Optimal cooperative collision avoidance strategy for coplanar encounter: Merz's solution revisited
- Hybrid systems: From verification to falsification by combining motion planning and discrete search
- Computing differential invariants of hybrid systems as fixed points
- \(H_{\infty }\) control of networked multi-agent systems
- Robust reduced-order output feedback stabilization for uncertain switched systems
- Autonomous collision avoidance for wheeled mobile robots using a differential game approach
- Strategic deconfliction of 4D trajectory and perturbation analysis for air traffic control and automation system
- Finite-time stability of a class of continuous-time non-homogeneous switched systems
- Research on arrival integration method for point merge system in tactical operation
- Research on cooperative combat for integrated reconnaissance-attack-BDA of group LAVs
- Finite-time distributed energy-to-peak control for uncertain multiagent systems
- Robust time-optimal guidance in a partially uncertain time-varying flow-field
- Synthesis of optimal bang-bang control for cooperative collision avoidance for aircraft (ships) with unequal linear speeds
- \(L_{\infty}\) control with finite-time stability for switched systems under asynchronous switching
- Stabilization of discrete-time planar switched linear systems with impulse
- Robust reliable stabilization of switched nonlinear systems with time-varying delays and delayed switching
- On the regularization of Zeno hybrid automata
- Consensus of high-order nonlinear multiagent systems with constrained switching topologies
- Applications of stochastic modeling in air traffic management: methods, challenges and opportunities for solving air traffic problems under uncertainty
- Mean-field and graph limits for collective dynamics models with time-varying weights
- A receding horizon event-driven control strategy for intelligent traffic management
- Control of collective dynamics with time-varying weights
- The role of systems biology, neuroscience, and thermodynamics in network control and learning
- Chaos explosion and topological horseshoe in three-dimensional impacting hybrid systems with a single impact surface
- Scalable distributed algorithms for multi-robot near-optimal motion planning
- A penalty function-based random search algorithm for optimal control of switched systems with stochastic constraints and its application in automobile test-driving with gear shifts
- Sum-of-squares methods for controlled invariant sets with applications to model-predictive control
- Energy analysis of a class of state-dependent switched systems with all unstable subsystems
- Asynchronous \(H_\infty\) fixed-order filtering for LPV switched delay systems with mode-dependent average dwell time
- Safe and stabilizing distributed multi-path cellular flows
- Generating invariants for non-linear hybrid systems
- Reliable \(L_1\) control of positive switched systems with time-varying delays
- Algorithmic analysis of polygonal hybrid systems. I: Reachability
- On the expressiveness and decidability of o-minimal hybrid systems
- Controller design for time-delay system with stochastic disturbance and actuator saturation via a new criterion
- Switched seesaw control for the stabilization of underactuated vehicles
- Local analysis of hybrid systems on polyhedral sets with state-dependent switching
- Airborne technology for distributed air traffic management
- A 4D-sequencing approach for air traffic management
- A stochastic games framework for verification and control of discrete time stochastic hybrid systems
- Deadness and how to disprove liveness in hybrid dynamical systems
- Denotational semantics of hybrid automata
- A foreseeable Lyapunov function approach for \(H_\infty\) asynchronous filtering of discrete-time switched systems
- State estimation for discrete-time switched positive T-S fuzzy systems under dwell time constraint
- Control barrier functions for stochastic systems
- Viability, viscosity, and storage functions in model-predictive control with terminal constraints
- Consensus in discrete-time one-sided Lipschitz nonlinear multi-agent systems with time-varying communication delay
- Zeno hybrid systems
- Adaptive tracking control for uncertain switched systems under asynchronous switching
- Exponential stability of stochastic singular delay systems with general Markovian switchings
- Novel conflict resolution model for multi-UAV based on CPN and 4D trajectories
- Finite-time quantised feedback asynchronously switched control of sampled-data switched linear systems
- Stability and stabilization of continuous-time stochastic Markovian jump systems with random switching signals
- Graph-theoretic characterisations of structural controllability for multi-agent system with switching topology
- A new protocol for finite-time consensus of detail-balanced multi-agent networks
- On Alternative Safety Metrics for the Probability of the Collision Between Aircraft
- Finite-time asynchronously switched control of switched systems with sampled-data feedback
- Fault tolerant control of switched nonlinear systems with time delay under asynchronous switching
- Efficient air traffic conflict resolution by minimizing the number of affected aircraft
- 3D navigation and collision avoidance for nonholonomic aircraft-like vehicles
- Non-linear impulsive dynamical systems. Part I: Stability and dissipativity
- Superposition modulo non-linear arithmetic
- Verification of Hybrid Systems
- Finite-time passivity and passification for stochastic time-delayed Markovian switching systems with partly known transition rates
- Monte Carlo optimisation for conflict resolution in air traffic control
- Verification of cooperating traffic agents
- Quantified differential temporal dynamic logic for verifying properties of distributed hybrid systems
- Distributed robust control of uncertain linear multi-agent systems
- Computing Differential Invariants of Hybrid Systems as Fixedpoints
- Safety and Liveness in Intelligent Intersections
- KeYmaera: A Hybrid Theorem Prover for Hybrid Systems (System Description)
- Continuous representation and control of hybrid systems
- Formal Verification of an Optimal Air Traffic Conflict Resolution and Recovery Algorithm
- A Hybrid Model for Subliminal Air Traffic Control
- Trajectory Based Verification Using Local Finite-Time Invariance
- MULTIAGENT LEARNING FOR BLACK BOX SYSTEM REWARD FUNCTIONS
- LEARNING INDIRECT ACTIONS IN COMPLEX DOMAINS: ACTION SUGGESTIONS FOR AIR TRAFFIC CONTROL
- Stabilization of switched delay systems with polytopic uncertainties under asynchronous switching
- scientific article; zbMATH DE number 1342082 (Why is no real title available?)
- Provably correct conflict prevention bands algorithms
- scientific article; zbMATH DE number 1487525 (Why is no real title available?)
- Fuel optimal manoeuvres for multiple spacecraft formation reconfiguration using multi‐agent optimization
- Trajectory-based theory for hybrid systems
- On the control of uncertain impulsive systems: approximate stabilization and controlled invariance
- scientific article; zbMATH DE number 1852171 (Why is no real title available?)
- Border collision bifurcations in a one-dimensional piecewise smooth map for a PWM current-programmed H-bridge inverter
- ℓ1-to-ℓ1 interval observation design for discrete-time switched linear systems under dwell time constraint
- Controller design for stochastic Markovian switching systems with time-varying delay and actuator saturation
- Control of aircraft trajectory and speed to avoid terrain and traffic conflicts during approach maneuvering
- Observer‐based adaptive optimal output containment control problem of linear heterogeneous Multiagent systems with relative output measurements
- A distributed protocol for motion coordination in free-range vehicular systems
- Linear quadratic regulator control of multi-agent systems
- Differential game logic
- The diagnostics of safety zones in motion planning
- Consensus tracking control with transient performance improvement for a group of unmanned aerial vehicles subject to faults and parameter uncertainty
- Robust \(L_{2}-L_{\infty }\) filtering for switched systems under asynchronous switching
- Hybrid Systems: Computation and Control
- Controllability of evolution inclusions with nonlocal conditions
- Distributed contract networks of sensor agents with adaptive reconfiguration: Modelling, simulation, implementation and experiments.
- Event-triggered boundary consensus control for multi-agent systems of fractional reaction-diffusion PDEs
This page was built for publication: Conflict resolution for air traffic management: a study in multiagent hybrid systems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4393077)
