ABSTRACT
This study focuses on synthesizing controllers for unknown dynamics control-affine nonlinear systems, aiming to satisfy reach-avoid-stay (RAS) specifications within prescribed-time. The main objective is to derive a closed-form control law, incorporating a novel notion of spatiotemporal tubes, to guarantee that the system trajectories reach a designated target set while avoiding an unsafe set and adhering to state constraints. The efficacy of this approach is demonstrated through simulation.
- C. P. Bechlioulis and G. A. Rovithakis. 2008. Robust Adaptive Control of Feedback Linearizable MIMO Nonlinear Systems With Prescribed Performance. IEEE Trans. Automat. Control 53, 9 (2008), 2090–2099.Google ScholarCross Ref
- P. Jagtap and D. Dimarogonas. 2023. Controller Synthesis against Omega-Regular Specifications: A Funnel-based Control Approach. Authorea Preprints (2023).Google Scholar
- M. Kloetzer and C. Belta. 2008. A Fully Automated Framework for Control of Linear Systems from Temporal Logic Specifications. IEEE Trans. Automat. Control 53, 1 (2008), 287–297.Google ScholarCross Ref
- L. Lindemann and D. V. Dimarogonas. 2021. Funnel control for fully actuated systems under a fragment of signal temporal logic specifications. Nonlinear Analysis: Hybrid Systems 39 (2021), 100973.Google ScholarCross Ref
Recommendations
Indexing spatiotemporal archives
Spatiotemporal objects – that is, objects that evolve over time – appear in many applications. Due to the nature of such applications, storing the evolution of objects through time in order to answer historical queries (queries that refer to past states ...
Symbolic reach-avoid control of multi-agent systems
ICCPS '21: Proceedings of the ACM/IEEE 12th International Conference on Cyber-Physical SystemsWe consider the decentralized controller synthesis problem for multi-agent systems with global reach-avoid specifications. Each agent is modeled as a nonlinear dynamical system with disturbances. The objective is to synthesize local feedback controllers ...
Specifications for Efficient Indexing in Spatiotemporal Databases
SSDBM '98: Proceedings of the 10th International Conference on Scientific and Statistical Database ManagementA new issue that arises in modern applications involves the efficient manipulation of (static or moving) spatial objects, and the relationships among them. As a result, modern database systems should be able to efficiently support that type of data. ...
Comments