TOPOLOGICAL METHODS FOR ASSURED TRANSITIONS IN HYBRID SYSTEMS.
Abstract
Modern autonomous systems are required to execute complex control decisions in real time, often in the presence of conditions that can affect the reliability and availability of sensory feedback. Accommodating for abrupt changes in the quality and availability of feedback is facilitated by hybrid systems formulations capturing the mix of continuoustime (flow) and discrete (jump) evolution of the system state. More generally, hyrbid systems formulations are used to facilitate control in many other instances requiring switching between distinct continuous modes of operation. In such settings, high-level tasks are often presented as symbolic constraints, expressed, for example, as temporal logic (TL) formulae over the set of continuous-time modes.
Document Details
- Document Type
- DoD Grant Award
- Publication Date
- Apr 20, 2023
- Source ID
- FA95502210429
Entities
People
- Dan P. Guralnik
Organizations
- Air Force Office of Scientific Research
- United States Air Force
- University of Florida