Multi agent hybrid dynamical systems are a natural model for collaborative missions in which several steps and behaviors are required to achieve the goal of the mission. Missions are tasks featuring interacting subtasks, such as the decision of where to search, how to search, and when to transition from a search behavior to a rescue behavior. Control in hybrid systems is poorly understood. Theoretical results on state reachability rely on restrictive assumptions which hinder formal verification and optimization of such systems. Further difficulties arise if there are no a priori ordering or termination conditions on the intermediate steps and behaviors. We present a flexible framework to enable decentralized multi agent hybrid control and demonstrate its efficacy in a class of multi-region search and rescue scenarios. We also demonstrate the importance of dynamic target modeling at both levels of the hybrid state, i.e. estimating which region targets are in, how search behavior affects this estimate, and how the targets move between and within regions.
As warfare looks to the future and the need for the internet of military things (IoMT) grows, we discuss how autonomy fits into this paradigm. We define common terms relating to autonomy to promote common understanding between autonomy developers, and we analyze a variety of autonomy architectures, examining what they do correctly to support IoMT and where they fall short. We discuss our general philosophy concerning autonomy – that it must be multi-layered to be effective – and provide an overview for our Modular, Extensible, Interoperable Autonomy architecture that supports IoMT and the future of warfare.
Control in multi-agent hybrid dynamical systems – systems in which the state contains both discrete and continuous elements – is poorly understood. Theoretical results on state reachability and avoidablility typically rely on restrictive assumptions which do not hold in many important cases, hampering results in both trust and optimization of such systems. We introduce a flexible framework to enable control in multi-agent hybrid dynamical systems. We present an agent-based finite horizon temporal logic (FHTL) framework that enables mission monitoring and improves agent to agent collaboration in multi-agent hybrid systems under significantly lighter assumptions than required for similar infinite horizon temporal logic (IHTL) applications. We demonstrate our framework in an example scenario and provide both quantitative and qualitative analyses of the performance gains and mission trust monitoring enabled by our tools for this example.
Access to the requested content is limited to institutions that have purchased or subscribe to SPIE eBooks.
You are receiving this notice because your organization may not have SPIE eBooks access.*
*Shibboleth/Open Athens users─please
sign in
to access your institution's subscriptions.
To obtain this item, you may purchase the complete book in print or electronic format on
SPIE.org.
INSTITUTIONAL Select your institution to access the SPIE Digital Library.
PERSONAL Sign in with your SPIE account to access your personal subscriptions or to use specific features such as save to my library, sign up for alerts, save searches, etc.