Conflict resolution for air traffic management: a study in multiagent hybrid systems
From MaRDI portal
Publication:4393077
DOI10.1109/9.664154zbMath0904.90113OpenAlexW2130519480WikidataQ57582200 ScholiaQ57582200MaRDI QIDQ4393077
Claire J. Tomlin, George J. Pappas, Shankar S. Sastry
Publication date: 19 January 1999
Published in: IEEE Transactions on Automatic Control (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1109/9.664154
Applications of game theory (91A80) Case-oriented studies in operations research (90B90) Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems) (93C30)
Related Items (only showing first 100 items - show all)
Differential Game Logic ⋮ Reliable \(L_1\) control of positive switched systems with time-varying delays ⋮ 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 ⋮ Stability and stabilization of continuous-time stochastic Markovian jump systems with random switching signals ⋮ Verification of cooperating traffic agents ⋮ Fuel optimal manoeuvres for multiple spacecraft formation reconfiguration using multi‐agent optimization ⋮ A stochastic games framework for verification and control of discrete time stochastic hybrid systems ⋮ Mixed-state models for nonstationary multiobject activities ⋮ Algorithmic analysis of polygonal hybrid systems. I: Reachability ⋮ Deadness and how to disprove liveness in hybrid dynamical systems ⋮ Border collision bifurcations in a one-dimensional piecewise smooth map for a PWM current-programmed H-bridge inverter ⋮ Superposition Modulo Non-linear Arithmetic ⋮ Finite-time asynchronously switched control of switched systems with sampled-data feedback ⋮ Verification of Hybrid Systems ⋮ Quantified Differential Temporal Dynamic Logic for Verifying Properties of Distributed Hybrid Systems ⋮ Finite-time passivity and passification for stochastic time-delayed Markovian switching systems with partly known transition rates ⋮ Distributed robust control of uncertain linear multi‐agent systems ⋮ Toward unified analysis and controller synthesis for a class of hybrid systems ⋮ On the expressiveness and decidability of o-minimal hybrid systems ⋮ Denotational semantics of hybrid automata ⋮ Trajectory-Based Theory for Hybrid Systems ⋮ 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 ⋮ The diagnostics of safety zones in motion planning ⋮ Robust reduced-order output feedback stabilization for uncertain switched systems ⋮ Autonomous collision avoidance for wheeled mobile robots using a differential game approach ⋮ 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 ⋮ Sum-of-squares methods for controlled invariant sets with applications to model-predictive control ⋮ A new protocol for finite-time consensus of detail-balanced multi-agent networks ⋮ Finite-time stability of a class of continuous-time non-homogeneous switched systems ⋮ Consensus in discrete-time one-sided Lipschitz nonlinear multi-agent systems with time-varying communication delay ⋮ Stabilization of switched delay systems with polytopic uncertainties under asynchronous switching ⋮ Synthesis of optimal bang-bang control for cooperative collision avoidance for aircraft (ships) with unequal linear speeds ⋮ Containment control of continuous-time linear multi-agent systems with aperiodic sampling ⋮ Controller design for time-delay system with stochastic disturbance and actuator saturation via a new criterion ⋮ Distributed consensus control of unicycle agents in the presence of external disturbances ⋮ Estimation for decentralized safety control under communication delay and measurement uncertainty ⋮ Distributed control of a network of single integrators with limited angular fields of view ⋮ Change-of-bases abstractions for non-linear hybrid systems ⋮ Computing Differential Invariants of Hybrid Systems as Fixedpoints ⋮ Stochastic stabilization of singular systems with Markovian switchings ⋮ Safety and Liveness in Intelligent Intersections ⋮ \(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 ⋮ Research on cooperative combat for integrated reconnaissance-attack-BDA of group LAVs ⋮ Specifications for decidable hybrid games ⋮ Consensus tracking control with transient performance improvement for a group of unmanned aerial vehicles subject to faults and parameter uncertainty ⋮ Finite-time distributed energy-to-peak control for uncertain multiagent systems ⋮ Zeno hybrid systems ⋮ KeYmaera: A Hybrid Theorem Prover for Hybrid Systems (System Description) ⋮ Continuous representation and control of hybrid systems ⋮ Energy analysis of a class of state-dependent switched systems with all unstable subsystems ⋮ Robust time-optimal guidance in a partially uncertain time-varying flow-field ⋮ On the regularization of Zeno hybrid automata ⋮ On Alternative Safety Metrics for the Probability of the Collision Between Aircraft ⋮ On the control of uncertain impulsive systems: approximate stabilization and controlled invariance ⋮ A distributed protocol for motion coordination in free-range vehicular systems ⋮ Switched seesaw control for the stabilization of underactuated vehicles ⋮ Synthesis of optimal control for cooperative collision avoidance for aircraft (ships) with unequal turn capabilities ⋮ On impulsive boundary value problems of fractional differential equations with irregular boundary conditions ⋮ Robust reliable control for uncertain switched nonlinear systems with time delay under asynchronous switching ⋮ Multiple-spacecraft reconfiguration through collision avoidance, bouncing, and stalemate ⋮ Robust \(L_{2}-L_{\infty }\) filtering for switched systems under asynchronous switching ⋮ Consensus of high-order nonlinear multiagent systems with constrained switching topologies ⋮ Retracted: ``Multi-agent systems in control engineering: a survey ⋮ Modal exact linearization of a class of second-order switched nonlinear systems ⋮ Fault tolerant control of switched nonlinear systems with time delay under asynchronous switching ⋮ Distributed contract networks of sensor agents with adaptive reconfiguration: Modelling, simulation, implementation and experiments. ⋮ Controllability of evolution inclusions with nonlocal conditions ⋮ Asynchronous \(H_\infty\) fixed-order filtering for LPV switched delay systems with mode-dependent average dwell time ⋮ Applications of stochastic modeling in air traffic management: methods, challenges and opportunities for solving air traffic problems under uncertainty ⋮ 3D navigation and collision avoidance for nonholonomic aircraft-like vehicles ⋮ Local analysis of hybrid systems on polyhedral sets with state-dependent switching ⋮ Adaptive tracking control for uncertain switched systems under asynchronous switching ⋮ Exponential stability of stochastic singular delay systems with general Markovian switchings ⋮ Mean-field and graph limits for collective dynamics models with time-varying weights ⋮ Trajectory Based Verification Using Local Finite-Time Invariance ⋮ Optimal cooperative collision avoidance strategy for coplanar encounter: Merz's solution revisited ⋮ Observer‐based adaptive optimal output containment control problem of linear heterogeneous Multiagent systems with relative output measurements ⋮ Finite-time quantised feedback asynchronously switched control of sampled-data switched linear systems ⋮ A receding horizon event-driven control strategy for intelligent traffic management ⋮ MULTIAGENT LEARNING FOR BLACK BOX SYSTEM REWARD FUNCTIONS ⋮ LEARNING INDIRECT ACTIONS IN COMPLEX DOMAINS: ACTION SUGGESTIONS FOR AIR TRAFFIC CONTROL ⋮ Hybrid systems: From verification to falsification by combining motion planning and discrete search ⋮ Computing differential invariants of hybrid systems as fixed points ⋮ Leader-following consensus of discrete-time multiagent systems with time-varying delay based on large delay theory ⋮ \(H_{\infty }\) control of networked multi-agent systems ⋮ Control of collective dynamics with time-varying weights ⋮ The role of systems biology, neuroscience, and thermodynamics in network control and learning ⋮ Linear quadratic regulator control of multi‐agent systems ⋮ Safe and stabilizing distributed multi-path cellular flows ⋮ Graph-theoretic characterisations of structural controllability for multi-agent system with switching topology ⋮ ℓ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 ⋮ Generating invariants for non-linear hybrid systems ⋮ Non-linear impulsive dynamical systems. Part I: Stability and dissipativity
This page was built for publication: Conflict resolution for air traffic management: a study in multiagent hybrid systems
