Zobrazeno 1 - 10
of 255
pro vyhledávání: '"Martini, Simone"'
This research presents a novel, analytical, Koopman Operator based formulation for position and attitude dynamics which can be used to derive control strategies for underactuated systems. Compared to data driven Koopman based techniques, the analytic
Externí odkaz:
http://arxiv.org/abs/2407.16100
Autor:
Martini, Simone, Valavanis, Kimon P., Stefanovic, Margareta, Rutherford, Matthew J., Rizzo, Alessandro
This technical note proves analytically how the exact equivalence of the Newton-Euler and Euler-Lagrange modeling formulations as applied to multirotor UAVs is achieved. This is done by deriving a revised Euler-Lagrange multirotor attitude dynamics m
Externí odkaz:
http://arxiv.org/abs/2310.09306
We report our experience of an extracurricular online intervention on cryptography principles in 10th grade. This paper's first goal is to present the learning path we designed, influenced by cryptography core ideas rather than technical knowledge. W
Externí odkaz:
http://arxiv.org/abs/2112.10437
We extend to natural deduction the approach of Linear Nested Sequents and of 2-sequents. Formulas are decorated with a spatial coordinate, which allows a formulation of formal systems in the original spirit of natural deduction -- only one introducti
Externí odkaz:
http://arxiv.org/abs/2007.11875
Extending and generalizing the approach of 2-sequents (Masini, 1992), we present sequent calculi for the classical modal logics in the K, D, T, S4 spectrum. The systems are presented in a uniform way-different logics are obtained by tuning a single p
Externí odkaz:
http://arxiv.org/abs/2001.02029
Autor:
Martini, Simone1 simone.martini@unibo.it, Masini, Andrea2 andrea.masini@univr.it, Zorzi, Margherita2 margherita.zorzi@univr.it
Publikováno v:
Bulletin of the Section of Logic. Dec2023, Vol. 52 Issue 4, p459-495. 37p.
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.