Zobrazeno 1 - 10
of 3 011
pro vyhledávání: '"Raphaël, M."'
We extend the notion of Cantor-Kantorovich distance between Markov chains introduced by (Banse et al., 2023) in the context of Markov Decision Processes (MDPs). The proposed metric is well-defined and can be efficiently approximated given a finite ho
Externí odkaz:
http://arxiv.org/abs/2407.08324
Autor:
Felix, Isaac M., Tromer, Raphael M., Machado, Leonardo D., Galvão, Douglas S., Ribeiro Jr, Luiz A., Pereira Jr, Marcelo L.
Recently, a new 2D carbon allotrope called Irida-Graphene (Irida-G) was proposed. Irida-G consists of a flat sheet topologically arranged into 3-6-8 carbon rings exhibiting metallic and non-magnetic properties. In this study, we investigated the ther
Externí odkaz:
http://arxiv.org/abs/2406.15855
Autor:
Félix, Isaac M., Pontes, Jessé M., Gomes, Djardiel S., Guerra, Thiago B. G., Azevedo, Sérgio A. F., Machado, Leonardo D., Gomes, Lídia C., Tromer, Raphael M.
The boron nitride (BN) analogue of 8-16-4 graphyne, termed SBNyne, is proposed for the first time. Its physical properties were explored using first-principles calculations and classical molecular dynamics (MD) simulations. Thermal stability assessme
Externí odkaz:
http://arxiv.org/abs/2406.13407
A recent breakthrough has been achieved by synthesizing monolayer amorphous carbon (MAC), which introduces a material with unique optoelectronic properties. Here, we used ab initio (DFT) molecular dynamics simulations to study silicon and germanium M
Externí odkaz:
http://arxiv.org/abs/2406.13769
Autor:
Andrade, Isaac M. Felix Fabiano M., Woellner, Cristiano F., Galvao, Douglas S., Tromer, Raphael M.
In the present work, we have carried out DFT simulations to investigate the electronic and optical properties of a porphyrin-based 2D crystal named 2D Diboron-Porphyrin (2DDP). We showed that it is possible to use strain to tune the 2DDP electronic p
Externí odkaz:
http://arxiv.org/abs/2405.16627
Abstractions of dynamical systems enable their verification and the design of feedback controllers using simpler, usually discrete, models. In this paper, we propose a data-driven abstraction mechanism based on a novel metric between Markov models. O
Externí odkaz:
http://arxiv.org/abs/2405.08353
This paper studies the controller synthesis problem for nonlinear control systems under linear temporal logic (LTL) specifications using zonotope techniques. A local-to-global control strategy is proposed for the desired specification expressed as an
Externí odkaz:
http://arxiv.org/abs/2405.00924
We introduce Dionysos.jl, a modular package for solving optimal control problems for complex dynamical systems using state-of-the-art and experimental techniques from symbolic control, optimization, and learning. More often than not with Cyber-Physic
Externí odkaz:
http://arxiv.org/abs/2404.14114
We introduce the concept of memoryless concretization relation (MCR) to describe abstraction within the context of controller synthesis. This relation is a specific instance of alternating simulation relation (ASR), where it is possible to simplify t
Externí odkaz:
http://arxiv.org/abs/2403.09556
We propose a multi-scale approach for computing abstractions of dynamical systems, that incorporates both local and global optimal control to construct a goal-specific abstraction. For a local optimal control problem, we not only design the controlle
Externí odkaz:
http://arxiv.org/abs/2403.02190