Answers are grounded in this paper and cite their sources.
Motivated by the recent interest in formal methods-based control for dynamic robots, we discuss the applicability of prescribed performance control to nonlinear systems subject to signal temporal logic specifications. Prescribed performance control imposes a desired transient behavior on the system trajectories that is leveraged to satisfy atomic signal temporal logic specifications. A hybrid control strategy is then used to satisfy a finite set of these atomic specifications. Simulations of a multi-agent system, using consensus dynamics, show that a wide range of specifications, i.e., formation, sequencing, and dispersion, can be robustly satisfied.
No takes yet. Share an insight, caveat, or question.
Lindemann et al. (2017) studied this question.
Synapse has enriched 6 closely related papers on similar clinical questions. Consider them for comparative context: