Zobrazeno 1 - 10
of 6 860
pro vyhledávání: '"RAPHAEL, M"'
Abstraction-based control design is a promising approach for ensuring safety-critical control of complex cyber-physical systems. A key aspect of this methodology is the relation between the original and abstract systems, which ensures that the abstra
Externí odkaz:
http://arxiv.org/abs/2410.06083
Autor:
Dias, Alexandre C., Tromer, Raphael M., Gutiérrez, Humberto R., Galvão, Douglas S., Moujaes, Elie A.
We have investigated the Raman spectrum and excitonic effects of the novel two-dimensional Ta$_2$Ni$_3$Te$_5$ structure. The monolayer is an indirect band gap semiconductor with an electronic band gap value of 0.09 eV and 0.38 eV, determined using GG
Externí odkaz:
http://arxiv.org/abs/2409.16170
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