Search papers, labs, and topics across Lattice.
This paper introduces a Spatiotemporal Tube (STT)-based control framework designed for unknown nonlinear Euler-Lagrange systems, aiming to satisfy Signal Temporal Logic (STL) specifications under input constraints. By employing a physics-informed neural network (PINN) to parameterize the STT as a time-varying ball, the framework ensures that system trajectories remain within the tube, thus guaranteeing STL task satisfaction. The approach is validated through multiple case studies, demonstrating its effectiveness in both single and multi-agent scenarios while addressing input constraints and collision avoidance.
Ensuring that system trajectories satisfy complex temporal logic specifications while navigating input constraints could revolutionize control strategies for unknown nonlinear systems.
This paper presents a Spatiotemporal Tube (STT)-based control framework for general unknown nonlinear Euler-Lagrange (EL) systems subject to input constraints, with the objective of satisfying Signal Temporal Logic (STL) specifications, where confinement of the system trajectory within the STT guarantees the satisfaction of the corresponding STL task. For both single and multi-agent scenarios, the STT corresponding to each agent is modeled as a time-varying ball, whose center and radius are jointly parameterized using a physics-informed neural network (PINN). The robustness metric associated with the STL specification corresponding to the agents is incorporated into the training process as a loss function, enabling the learned tube to encode task-level temporal requirements. For a multi-agent scenario, we introduce an additional robustness metric corresponding to the global task, which, when satisfied, ensures the tubes do not collide with each other. To ensure that the system trajectory remains within the learned STT and thereby satisfies the local and global STL specifications, we propose a control strategy that explicitly accounts for input constraints. In particular, a closed-form control law is developed to keep the trajectory inside the tube while regulating the motion of the tube by enforcing bounds on its evolution depending on the input constraints of the system. The proposed approach has been validated over several case studies.
