Zobrazeno 1 - 10
of 598
pro vyhledávání: '"Vasile, Cristian"'
This paper presents a novel framework for inferring timed temporal logic properties from data. The dataset comprises pairs of finite-time system traces and corresponding labels, denoting whether the traces demonstrate specific desired behaviors, e.g.
Externí odkaz:
http://arxiv.org/abs/2407.21090
Autor:
Kamale, Disha, Vasile, Cristian-Ioan
In this work, we address the problem of control synthesis for a homogeneous team of robots given a global temporal logic specification and formal user preferences for relaxation in case of infeasibility. The relaxation preferences are represented as
Externí odkaz:
http://arxiv.org/abs/2406.01848
There has been a growing interest in extracting formal descriptions of the system behaviors from data. Signal Temporal Logic (STL) is an expressive formal language used to describe spatial-temporal properties with interpretability. This paper introdu
Externí odkaz:
http://arxiv.org/abs/2405.06670
Autor:
Liang, Kaier, Vasile, Cristian-Ioan
In this paper, we consider fair assignment of complex requests for Mobility-On-Demand systems. We model the transportation requests as temporal logic formulas that must be satisfied by a fleet of vehicles. We require that the assignment of requests t
Externí odkaz:
http://arxiv.org/abs/2402.04972
Temporal logic is an important tool for specifying complex behaviors of systems. It can be used to define properties for verification and monitoring, as well as goals for synthesis tools, allowing users to specify rich missions and tasks. Some of the
Externí odkaz:
http://arxiv.org/abs/2310.08714
This paper considers the safety-critical navigation problem with Signal Temporal Logic (STL) tasks. We developed an explicit reference governor-guided control barrier function (ERG-guided CBF) method that enables the application of first-order CBFs t
Externí odkaz:
http://arxiv.org/abs/2309.08813
In this work, we consider the problem of autonomous exploration in search of targets while respecting a fixed energy budget. The robot is equipped with an incremental-resolution symbolic perception module wherein the perception of targets in the envi
Externí odkaz:
http://arxiv.org/abs/2309.07347
Temporal logics (TLs) have been widely used to formalize interpretable tasks for cyber-physical systems. Time Window Temporal Logic (TWTL) has been recently proposed as a specification language for dynamical systems. In particular, it can easily expr
Externí odkaz:
http://arxiv.org/abs/2304.06645
We develop a novel framework to assess the risk of misperception in a traffic sign classification task in the presence of exogenous noise. We consider the problem in an autonomous driving setting, where visual input quality gradually improves due to
Externí odkaz:
http://arxiv.org/abs/2303.09416
Publikováno v:
Sustainable Chemistry, Vol 5, Iss 3, Pp 215-228 (2024)
The plant-mediated synthesis of therapeutic metal nanoparticles is an intensively exploited field in the last decade. In particular, Salvia officinalis, considered one of these plants, was used in this work to synthesize silver particles. Here, we ha
Externí odkaz:
https://doaj.org/article/2306ce6dff7046499681ab35d845735f