-
Model Free Barrier Functions via Implicit Evading Maneuvers
Authors:
Eric Squires,
Rohit Konda,
Samuel Coogan,
Magnus Egerstedt
Abstract:
This paper demonstrates that the safety override arising from the use of a barrier function can in some cases be needlessly restrictive. In particular, we examine the case of fixed-wing collision avoidance and show that when using a barrier function, there are cases where two fixed-wing aircraft can come closer to colliding than if there were no barrier function at all. In addition, we construct c…
▽ More
This paper demonstrates that the safety override arising from the use of a barrier function can in some cases be needlessly restrictive. In particular, we examine the case of fixed-wing collision avoidance and show that when using a barrier function, there are cases where two fixed-wing aircraft can come closer to colliding than if there were no barrier function at all. In addition, we construct cases where the barrier function labels the system as unsafe even when the vehicles start arbitrarily far apart. In other words, the barrier function ensures safety but with unnecessary costs to performance. We therefore introduce model-free barrier functions which take a data driven approach to creating a barrier function. We demonstrate the effectiveness of model-free barrier functions in a collision avoidance simulation of two fixed-wing aircraft.
△ Less
Submitted 23 September, 2022; v1 submitted 27 July, 2021;
originally announced July 2021.
-
Safety With Limited Range Sensing Constraints For Fixed Wing Aircraft
Authors:
Eric Squires,
Rohit Konda,
Pietro Pierpaoli,
Samuel Coogan,
Magnus Egerstedt
Abstract:
In this paper we discuss how to use a barrier function that is subject to kinematic constraints and limited sensing in order to guarantee that fixed wing unmanned aerial vehicles (UAVs) will maintain safe distances from each other at all times despite being subject to limited range sensing constraints. Prior work has shown that a barrier function can be used to guarantee safe system operation when…
▽ More
In this paper we discuss how to use a barrier function that is subject to kinematic constraints and limited sensing in order to guarantee that fixed wing unmanned aerial vehicles (UAVs) will maintain safe distances from each other at all times despite being subject to limited range sensing constraints. Prior work has shown that a barrier function can be used to guarantee safe system operation when the state can be sensed at all times. However, in this paper we show that this construction does not guarantee safety when the UAVs are subject to limited range sensing. To resolve this issue, we introduce a method for constructing a new barrier function that accommodates limited sensing range from a previously existing barrier function that may not necessarily accommodate limited range sensing. We show that, under appropriate conditions, the newly constructed barrier function ensures system safety even in the presence of limited range sensing. We demonstrate the contribution of this paper in a scenario of 20 fixed wing aircraft, where because of the proposed algorithm, the vehicles are able to maintain safe distances from each other even though the vehicles are subject to limited range sensing.
△ Less
Submitted 9 March, 2021; v1 submitted 21 October, 2020;
originally announced October 2020.
-
Composition of Safety Constraints For Fixed-Wing Collision Avoidance Amidst Limited Communications
Authors:
Eric Squires,
Pietro Pierpaoli,
Rohit Konda,
Samuel Coogan,
Magnus Egerstedt
Abstract:
This paper considers how to ensure that a system of fixed wing Unmanned Aerial Vehicles (UAVs) can avoid collisions. To do so we develop a novel method for creating a barrier function, which is similar to a Lyapunov function and can be used to ensure that a system can stay safe for all future times. After introducing the general approach, it is shown how to ensure that collision avoidance for two…
▽ More
This paper considers how to ensure that a system of fixed wing Unmanned Aerial Vehicles (UAVs) can avoid collisions. To do so we develop a novel method for creating a barrier function, which is similar to a Lyapunov function and can be used to ensure that a system can stay safe for all future times. After introducing the general approach, it is shown how to ensure that collision avoidance for two vehicles can be guaranteed for all future times. The construction is then extended to the case of arbitrarily many vehicles by addressing how to satisfy multiple safety objectives simultaneously. We do this while ensuring output actuator commands are within specified limits. Because this formulation requires communication of control values and may therefore reduce throughput of other important messages, we then show how to reformulate the solution without this significant communication overhead while still ensuring safety is maintained and actuator limits are respected. We validate the theoretical developments of this paper in the simulator SCRIMMAGE with a simulation of 20 UAVs that maintain safe distances from each other even though their nominal paths would otherwise cause a collision.
△ Less
Submitted 21 July, 2021; v1 submitted 9 June, 2019;
originally announced June 2019.
-
A Local Model of Explicit Wavefunction Collapse
Authors:
Chris Dove,
Euan J. Squires
Abstract:
A model of spontaneous wavefunction collapse, which is explicitly local and Lorentz-invariant, is defined. Some of the predictions of the model for specific experimental situations are derived. It is shown that, although incompatible collapses, e.g. on opposite sides of an EPR-type of experiment, can occur, they will not persist in time and that eventually only compatible results will be obtaine…
▽ More
A model of spontaneous wavefunction collapse, which is explicitly local and Lorentz-invariant, is defined. Some of the predictions of the model for specific experimental situations are derived. It is shown that, although incompatible collapses, e.g. on opposite sides of an EPR-type of experiment, can occur, they will not persist in time and that eventually only compatible results will be obtained. The probabilities of particular results, however, will in general not agree with the predictions of quantum theory. We argue that it is unlikely that the deviations would have been seen in any experiment yet performed.
△ Less
Submitted 31 May, 1996;
originally announced May 1996.
-
What are quantum theorists doing at a conference on consciousness?
Authors:
Euan Squires
Abstract:
The reason why orthodox quantum theory necessarily invokes consciousness is explained. Several procedures whereby the Born probability rule can be introduced are discussed, and reasons are given for prefering one in which consciousness selects a unique realised world. Consciousness is something outside of the laws of physics (quantum mechanics), but it has a real effect upon the experienced worl…
▽ More
The reason why orthodox quantum theory necessarily invokes consciousness is explained. Several procedures whereby the Born probability rule can be introduced are discussed, and reasons are given for prefering one in which consciousness selects a unique realised world. Consciousness is something outside of the laws of physics (quantum mechanics), but it has a real effect upon the experienced world. Finally, orthodox quantum theory is shown to require that consciousness acts non-locally.
△ Less
Submitted 9 February, 1996;
originally announced February 1996.
-
Lorentz-invariant Bohmian Mechanics
Authors:
Euan J. Squires
Abstract:
A derivation of the Bohm model, and some general comments about it, are given. A modification of the model which is formally local and Lorentz-invariant is introduced, and its properties studied for a simple experiment.
A derivation of the Bohm model, and some general comments about it, are given. A modification of the model which is formally local and Lorentz-invariant is introduced, and its properties studied for a simple experiment.
△ Less
Submitted 21 August, 1995; v1 submitted 18 August, 1995;
originally announced August 1995.
-
Gravity, energy conservation and parameter values in collapse models
Authors:
Philip Pearle,
Euan Squires
Abstract:
We interpret the probability rule of the CSL collapse theory to mean that the scalar field which causes collapse is the grvitational curvature scalar with two sources, the expectation value of the mass density and a white noise fluctuating source. We examine two models of the fluctuating source, monopole fluctuations and dipole fluctuations, and show that these correspond to two well known colla…
▽ More
We interpret the probability rule of the CSL collapse theory to mean that the scalar field which causes collapse is the grvitational curvature scalar with two sources, the expectation value of the mass density and a white noise fluctuating source. We examine two models of the fluctuating source, monopole fluctuations and dipole fluctuations, and show that these correspond to two well known collapse models. We relate the two GRW parameters of CSL to fundamental constants, and explain the energy increase as arising from the loss of vacuum gravitational energy. It is shown how a problem with semi-classical grvity may be cured when it is combined with a CSL collapse model.
△ Less
Submitted 27 March, 1995;
originally announced March 1995.