Zobrazeno 1 - 10
of 31
pro vyhledávání: '"Lars Lindemann"'
Publikováno v:
IEEE Open Journal of Control Systems, Vol 3, Pp 158-172 (2024)
This paper addresses learning safe output feedback control laws from partial observations of expert demonstrations. We assume that a model of the system dynamics and a state estimator are available along with corresponding error bounds, e.g., estimat
Externí odkaz:
https://doaj.org/article/3c2fe38e54d74bdf8cb9d1e737ce7f38
Publikováno v:
IEEE Control Systems Letters. 7:619-624
Many modern autonomous systems, particularly multi-agent systems, are time-critical and need to be robust against timing uncertainties. Previous works have studied left and right time robustness of signal temporal logic specifications by considering
Publikováno v:
Proceedings of the ACM/IEEE 14th International Conference on Cyber-Physical Systems (with CPS-IoT Week 2023).
We are interested in predicting failures of cyber-physical systems during their operation. Particularly, we consider stochastic systems and signal temporal logic specifications, and we want to calculate the probability that the current system traject
The wide availability of data coupled with the computational advances in artificial intelligence and machine learning promise to enable many future technologies such as autonomous driving. While there has been a variety of successful demonstrations o
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::8d2d4fa2bdb50e0f9384b8e9df6dfbf0
http://arxiv.org/abs/2205.14523
http://arxiv.org/abs/2205.14523
Motivated by the recent interest in risk-aware control, we study a continuous-time control synthesis problem to bound the risk that a stochastic linear system violates a given specification. We use risk signal temporal logic as a specification formal
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::0ffbb9a7ef0e1fad103c3980f95a4e08
http://arxiv.org/abs/2204.04310
http://arxiv.org/abs/2204.04310
We study the temporal robustness of temporal logic specifications and show how to design temporally robust control laws for time-critical control systems. This topic is of particular interest in connected systems and interleaving processes such as mu
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::755ba66df283cb80ccf3fabb23def5c0
http://arxiv.org/abs/2203.15661
http://arxiv.org/abs/2203.15661
Motivated by the fragility of neural network (NN) controllers in safety-critical applications, we present a data-driven framework for verifying the risk of stochastic dynamical systems with NN controllers. Given a stochastic control system, an NN con
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::ab5d1358c198b721befef6b5c54c636e
The deployment of autonomous systems in uncertain and dynamic environments has raised fundamental questions. Addressing these is pivotal to build fully autonomous systems and requires a systematic integration of planning and control. We first propose
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::0e20f4ce362ab9113ce6f723e383ca58
http://arxiv.org/abs/2108.13490
http://arxiv.org/abs/2108.13490
Autor:
Dimos V. Dimarogonas, Lars Lindemann
Publikováno v:
IEEE Control Systems Letters
Motivated by the recent interest in cyber-physical and interconnected autonomous systems, we study the problem of dynamically coupled multi-agent systems under conflicting local signal temporal logic (STL) tasks. Each agent is assigned a local STL ta
Motion planning is a fundamental problem and focuses on finding control inputs that enable a robot to reach a goal region while safely avoiding obstacles. However, in many situations, the state of the system may not be known but only estimated using,
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::fc01a6f70ed47a78d6b4cd289eace0b3