| | |
| | |
Stat |
Members: 3645 Articles: 2'504'928 Articles rated: 2609
26 April 2024 |
|
| | | |
|
Article overview
| |
|
Dynamic Quantization based Symbolic Abstractions for Nonlinear Control Systems | Wei Ren
; Dimos V. Dimarogonas
; | Date: |
25 Nov 2020 | Abstract: | This paper studies the construction of dynamic symbolic abstractions for
nonlinear control systems via dynamic quantization. Since computational
complexity is a fundamental problem in the use of discrete abstractions, a
dynamic quantizer with a time-varying quantization parameter is first applied
to deal with this problem. Due to the dynamic quantizer, a dynamic
approximation approach is proposed for the state and input sets. Based on the
dynamic approximation, dynamic symbolic abstractions are constructed for
nonlinear control systems, and an approximate bisimulation relation is
guaranteed for the original system and the constructed dynamic symbolic
abstraction. Finally, the obtained results are illustrated through a numerical
example from path planning of mobile robots. | Source: | arXiv, 2011.12816 | Services: | Forum | Review | PDF | Favorites |
|
|
No review found.
Did you like this article?
Note: answers to reviews or questions about the article must be posted in the forum section.
Authors are not allowed to review their own article. They can use the forum section.
browser Mozilla/5.0 AppleWebKit/537.36 (KHTML, like Gecko; compatible; ClaudeBot/1.0; +claudebot@anthropic.com)
|
| |
|
|
|
| News, job offers and information for researchers and scientists:
| |