Zobrazeno 1 - 10
of 48
pro vyhledávání: '"Garoche, Pierre Loic"'
This paper introduces a generalized mean-based C^1-smooth robustness measure over discrete-time signals (D-GMSR) for signal temporal logic (STL) specifications. In conjunction with its C1-smoothness, D-GMSR is proven to be both sound and complete. Fu
Externí odkaz:
http://arxiv.org/abs/2405.10996
Publikováno v:
EPTCS 395, 2023, pp. 188-204
Signal Temporal Logic (STL) is a convenient formalism to express bounded horizon properties of autonomous critical systems. STL extends LTL to real-valued signals and associates a non-singleton bound interval to each temporal operators. In this work
Externí odkaz:
http://arxiv.org/abs/2311.09788
To minimize collision risks in the multi-agent path planning problem with stochastic transition dynamics, we formulate a Markov decision process congestion game with a multi-linear congestion cost. Players within the game complete individual tasks wh
Externí odkaz:
http://arxiv.org/abs/2212.04122
This paper analyzes finite state Markov Decision Processes (MDPs) with uncertain parameters in compact sets and re-examines results from robust MDP via set-based fixed point theory. To this end, we generalize the Bellman and policy evaluation operato
Externí odkaz:
http://arxiv.org/abs/2207.07271
Publikováno v:
Numerical Software Verification, Jul 2021, Los Angeles, United States. pp.165-181
Nowadays, parallel computing is ubiquitous in several application fields, both in engineering and science. The computations rely on the floating-point arithmetic specified by the IEEE754 Standard. In this context, an elementary brick of computation,
Externí odkaz:
http://arxiv.org/abs/2205.05339
Publikováno v:
Journal of Aerospace Information Systems, American Institute of Aeronautics and Astronautics, 2020, 17 (5), pp.257-270
Advanced embedded algorithms are growing in complexity and they are an essential contributor to the growth of autonomy in many areas. However, the promise held by these algorithms cannot be kept without proper attention to the considerably stronger d
Externí odkaz:
http://arxiv.org/abs/2005.12588
Motivated by uncertain parameters encountered in Markov decision processes (MDPs) and stochastic games, we study the effect of parameter uncertainty on Bellman operator-based algorithms under a set-based framework. Specifically, we first consider a f
Externí odkaz:
http://arxiv.org/abs/2001.07889
Motivated by uncertain parameters encountered in Markov decision processes (MDPs), we study the effect of parameter uncertainty on Bellman operator-based methods. Specifically, we consider a family of MDPs where the cost parameters are from a given c
Externí odkaz:
http://arxiv.org/abs/2001.04535
This work extends reachability analyses based on ellipsoidal techniques to Linear Time Invariant (LTI) systems subject to an integral quadratic constraint (IQC) between the past state and disturbance signals , interpreted as an input-output energetic
Externí odkaz:
http://arxiv.org/abs/1902.10982
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.