0000000001220499

AUTHOR

M. Palmieri

showing 3 related works from this author

Co-simulation of bio-inspired multi-agent algorithms

2020

This paper reports on the co-simulation of a team of robots deployed in an exploration task, coordinated by a bio-inspired exploration algorithm. The co-simulation integrates the high-level exploration algorithm with detailed implementations of the robot controllers and kinematic models. Co-simulation results are used to find and correct mismatches between submodels.

Cyber-Physical SystemsMap explorationCo-simulationBio-inspired algorithms; Co-simulation; Cyber-Physical Systems; Map explorationBio-inspired algorithms
researchProduct

Block-Based Models and Theorem Proving in Model-Based Development

2021

This paper presents a methodology to integrate computer-assisted theorem proving into a standard workflow for model-based development that uses a block-based language as a modeling and simulation tool. The theorem prover provides confidence in the results of the analysis as it guides the developers towards a correct formalization of the system under development.

PVStheorem provingModel-based developmentMatlab; Model-based development; PVS; theorem provingMatlab
researchProduct

Erratum to: Guidelines for the use and interpretation of assays for monitoring autophagy (3rd edition) (Autophagy, 12, 1, 1-222, 10.1080/15548627.201…

2016

non presente

Molecular Biology; Cell BiologyCell BiologySettore BIO/06 - Anatomia Comparata E CitologiaMolecular Biology
researchProduct